hrcak mascot   Srce   HID

Izvorni znanstveni članak

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.

Puni tekst: engleski, pdf (8 MB) str. 277-290 preuzimanja: 67* citiraj
APA 6th Edition
Saiedian, H. (1994). Information Systems and the Engineering Paradigm: Integrating the Formal Methods into the Development Process. Journal of computing and information technology, 2 (4), 277-290. Preuzeto s https://hrcak.srce.hr/150445
MLA 8th Edition
Saiedian, Hossein. "Information Systems and the Engineering Paradigm: Integrating the Formal Methods into the Development Process." Journal of computing and information technology, vol. 2, br. 4, 1994, str. 277-290. https://hrcak.srce.hr/150445. Citirano 19.02.2020.
Chicago 17th Edition
Saiedian, Hossein. "Information Systems and the Engineering Paradigm: Integrating the Formal Methods into the Development Process." Journal of computing and information technology 2, br. 4 (1994): 277-290. https://hrcak.srce.hr/150445
Harvard
Saiedian, H. (1994). 'Information Systems and the Engineering Paradigm: Integrating the Formal Methods into the Development Process', Journal of computing and information technology, 2(4), str. 277-290. Preuzeto s: https://hrcak.srce.hr/150445 (Datum pristupa: 19.02.2020.)
Vancouver
Saiedian H. Information Systems and the Engineering Paradigm: Integrating the Formal Methods into the Development Process. Journal of computing and information technology [Internet]. 1994 [pristupljeno 19.02.2020.];2(4):277-290. Dostupno na: https://hrcak.srce.hr/150445
IEEE
H. Saiedian, "Information Systems and the Engineering Paradigm: Integrating the Formal Methods into the Development Process", Journal of computing and information technology, vol.2, br. 4, str. 277-290, 1994. [Online]. Dostupno na: https://hrcak.srce.hr/150445. [Citirano: 19.02.2020.]

Sažetak
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.

Ključne riječi
Formal Methods; Engineering Paradigm; Software Development; Language Z

Hrčak ID: 150445

URI
https://hrcak.srce.hr/150445

Posjeta: 108 *