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
- General Computer Science