CIP Language Group. The Munich Project CIP (vol. 1), volume 183 of Lecture Notes in Computer Science. Springer Verlag, Berlin, 1985. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The Progres Approach: Language And Environment - A. Schürr, A. J. Winter, A.. (12 citations) (Correct)
....and semantics. They are very useful for describing the requirements and the architecture of a software system on a semiformal level. But these descriptions cannot be used for verifying certain properties of the system under construction. Formal specification languages as for example CIP L [21], Larch [22] or Z [12] on the other hand possess a rigorously defined syntax and semantics. They support the verification of modeled system properties or rely on property preserving refinement of abstract specifications into concrete implementations. But their underlying formalisms of ....
CIP Language Group. The Munich Project CIP (vol. 1), volume 183 of Lecture Notes in Computer Science. Springer Verlag, Berlin, 1985.
The Progres Approach: Language And Environment - Andy Schürr, Andreas J.. (12 citations) (Correct)
....and semantics. They are very useful for describing the requirements and the architecture of a software system on a semiformal level. But these descriptions cannot be used for verifying certain properties of the system under construction. Formal specification languages as for example CIP L [20], Larch [21] or Z [22] on the other hand possess a rigorously defined syntax and semantics. They support the verification of modeled system properties or rely on property perserving refinement of abstract specifications into concrete implementations. But their underlying formalisms of ....
CIP Language Group. The Munich Project CIP (vol. 1), volume 183 of Lecture Notes in Computer Science. Springer Verlag, Berlin, 1985.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC