Formal specification of information systems is an active research area. Information system specification differs from software engineering specification both in the intention of the modeller and in the nature of components being modelled. This paper outlines an approach to the specification of information systems which uses a functional language to model the dynamic aspects of system. It is argued that such a specification is readily understandable and preserves the transformational nature of the processes being modelled. A case study is included which demonstrates the application of the approach. 1 Introduction Traditionally formal specification schemes, such as Z [22], have been used for the specification of software systems, ranging fro...
Although the need for formalisation of modelling techniques is generally recognised, not much litera...
We have considered a task on improving the base method for scenario analysis of the functional requi...
During the last years, a number of formal specification languages for knowledge-based systems have b...
Formal methods are mathematically-based techniques which can be used for rigorous mode lling, analys...
This paper reports experience gained in applying formal specification techniques to an existing tran...
The formal specification of information management systems provide long term advantages in terms of ...
AbstractOne of the goals of software engineering is to provide what is necessary to write relevant, ...
. In our sub-project we are concerned with techniques for the development of reliable information sy...
One of the goals of software engineering is to provide what is necessary to write relevant, legible,...
. This paper reports on successful application of algebraic ideas to the formal development of softw...
ion of domain-specific concepts 1. Mechanics of specification c. Modularization a. Specification tea...
The research presented in this thesis is aimed at developing reliable information systems through th...
The challenge to overcome the software crisis more than five decades ago and, although has been sign...
This paper extends the study of ontologies in Part I of this study (Volume 14, Article 8 [Kishore et...
Traditional infonnation modelling methods and techniques have mainly been concerned with promoting v...
Although the need for formalisation of modelling techniques is generally recognised, not much litera...
We have considered a task on improving the base method for scenario analysis of the functional requi...
During the last years, a number of formal specification languages for knowledge-based systems have b...
Formal methods are mathematically-based techniques which can be used for rigorous mode lling, analys...
This paper reports experience gained in applying formal specification techniques to an existing tran...
The formal specification of information management systems provide long term advantages in terms of ...
AbstractOne of the goals of software engineering is to provide what is necessary to write relevant, ...
. In our sub-project we are concerned with techniques for the development of reliable information sy...
One of the goals of software engineering is to provide what is necessary to write relevant, legible,...
. This paper reports on successful application of algebraic ideas to the formal development of softw...
ion of domain-specific concepts 1. Mechanics of specification c. Modularization a. Specification tea...
The research presented in this thesis is aimed at developing reliable information systems through th...
The challenge to overcome the software crisis more than five decades ago and, although has been sign...
This paper extends the study of ontologies in Part I of this study (Volume 14, Article 8 [Kishore et...
Traditional infonnation modelling methods and techniques have mainly been concerned with promoting v...
Although the need for formalisation of modelling techniques is generally recognised, not much litera...
We have considered a task on improving the base method for scenario analysis of the functional requi...
During the last years, a number of formal specification languages for knowledge-based systems have b...