Abstract
Three concepts related to definition and analysis of information processing systems are discussed: development of a specification model, consistency and completeness analysis, and the use of two different languages for definition of the different levels of logic operating in a system.
Original language | English (US) |
---|---|
Pages (from-to) | 109-111 |
Number of pages | 3 |
Journal | Proceedings of the Hawaii International Conference on System Sciences |
State | Published - 1977 |
Event | Proc Hawaii Int Conf Syst Sci 10th - Honolulu, HI, Can Duration: Jan 6 1977 → Jan 7 1977 |
ASJC Scopus subject areas
- Computer Science(all)