Constructing Standards For Cross-Platform Operation

被引:0
作者
M. A. Heather
B N. Rossiter
机构
[1] University of Northumbria at Newcastle,Sutherland Building
[2] Newcastle University,Computing Science
来源
Software Quality Journal | 1998年 / 7卷
关键词
Standards; Reference models; category theory;
D O I
暂无
中图分类号
学科分类号
摘要
A universal representation is developed, based on the ISO standards for Information Resource Dictionary System (IRDS), with the aim of providing a complete definition of an information system from the physical data values held to the concepts employed for data and function description and real-world abstractions. It is discussed how such a multi-level model can provide quality software for the evolution of information systems by creating an environment where heterogeneous systems can be compared. Current trends towards more structured programming techniques and more disciplined software engineering environments lead to the potential for considerable benefits from using an IRDS approach. This potential, however, will only be realized if a formal underpinning of the IRDS standard is achieved and then only reliably if the formal is constructive and the underpinning is enabling not just supporting.
引用
收藏
页码:131 / 140
页数:9
相关论文
共 8 条
[1]  
Gries D.(1996)The need for education in useful formal logic IEEE Computer 29 29-30
[2]  
Holloway C.M.(1996)Impediments to industrial use of formal methods IEEE Computer 29 25-26
[3]  
Butler R.W.(1996)Mathematical methods: what we need and don't need IEEE Computer 29 28-29
[4]  
Parnas D.L.(1992)Database meta-translation technology: integration, status and application Database Technology 4 259-263
[5]  
Fiddian N.J.(undefined)undefined undefined undefined undefined-undefined
[6]  
Gray W.A.(undefined)undefined undefined undefined undefined-undefined
[7]  
Ramfos A.(undefined)undefined undefined undefined undefined-undefined
[8]  
Cooke A.(undefined)undefined undefined undefined undefined-undefined