Skip to the main content

Original scientific paper

Information Systems and the Engineering Paradigm: Integrating the Formal Methods into the Development Process

Hossein Saiedian ; Department of Computer Science, University of Nebraska, Omaha, U.S.A.


Full text: english pdf 7.831 Kb

page 277-290

downloads: 217

cite


Abstract

Formal methods are mathematically-based techniques which can be used for rigorous mode lling, analysis, specification, and design of information systems. We discuss the role of formal methods in the context of an engineering paradigm and how it applies to information systems development. An introduction to precise, concise, and unambiguous description of information systems using a formal method is provided. An example is given to illustrate the effectiveness of formal methods in describing an informat ion system. The misconceptions about the use of formal methods are examined, and gu idelines for transferring formal methods technology into the actual workplace are presented. This discussion emphasizes automated tools to assist in developing systems specification, marketing of formal methods through additional industrial-strength case studies, and the need for a framework for reusable specifications. The overall aim of the paper is to narrow the gap between the results of academia and pragmatic concerns of the information systems industry, emphasizing the importance of formal methods in the development of information systems and encouraging further progress in information systems methodologies.

Keywords

Formal Methods; Engineering Paradigm; Software Development; Language Z

Hrčak ID:

150445

URI

https://hrcak.srce.hr/150445

Publication date:

30.12.1994.

Visits: 693 *