BASIS: A behavioral approach to the specification of information systems |
| |
| Authors: | Nancy G Leveson Anthony I Wasserman Daniel M Berry |
| |
| Affiliation: | Information and Computer Science, University of California, Irvine, Irvine, CA 92717, U.S.A.;Medical Information Science, University of California, San Francisco, San Francisco CA 94143, U.S.A.;Computer Science Department, University of California, Los Angeles, Los Angeles, CA 90024, U.S.A. |
| |
| Abstract: | This paper is an overview of BASIS (Behavioral Approach to the Specification of Information Systems), a multi-step formal method used for information systems design and development. The steps include information analysis, semantic specification, verification of the specification, concrete implementation, and verification of the implementation. In this way, BASIS can be used to provide a formal basis for information systems development. We provide an example showing how BASIS can be used in conjunction with implementation in the programming language PLAIN. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
