Tse T.H. and Pong L. "An Examination of Requirements Specification Languages ". The Computer Journal, vol. 34, no.2, pp. 143--152, 1991. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Formal Specification in Z of the Relational Data Model, Version .. - Baluta (1995) (Correct)
....frame or writing formal specifications: we need also a language as a vehicle. In order for a requirement specification to be useful in systems development, the specification language must exhibit various features which contribute to the ease and user friendliness of the specification process [Tse91]. 2.2 Common Families of Formal Specification Languages The most commonly encountered families of formal specification languages are modeloriented and property oriented techniques [Wi90] Using a model oriented method, a specifier defines a system s behavior directly by constructing a model of ....
Tse T.H. and Pong L. "An Examination of Requirements Specification Languages ". The Computer Journal, vol. 34, no.2, pp. 143--152, 1991.
PICSIL: Integrating graphic system design and automatic synthesis - Murray Pearson (Correct)
....devices, their hierarchy of responsibility, and the communication paths between them. We believe that abstract architectures are best represented by a two dimensional graphical notation, whereas detailed functional specifications are more appropriately represented by textual notations (see also [25]) The PICSIL IC design environment has been developed in accordance with this philosophy. It has a graphical editor for directly capturing a design s abstract architecture. The graphical information never needs to be regenerated as text by the designer. Instead, other software in the PICSIL suite ....
Tse, T.H. and Pong, L., "An Examination of Requirements Specification Languages," The Computer Journal, vol. 34, no. 2, 143 - 152, 1991.
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