Understanding Z—A specification language and its formal semantics
نویسندگان
چکیده
منابع مشابه
Understanding Z : A specification language and its formal semantics
Reading is a hobby to open the knowledge windows. Besides, it can provide the inspiration and spirit to face this life. By this way, concomitant with the technology development, many companies serve the e-book or book in soft file. The system of this book of course will be much easier. No worry to forget bringing the understanding z a specification language and its formal semantics book. You ca...
متن کاملDefining a Formal Coalgebraic Semantics for The Rosetta Specification Language
Rosetta is a systems level design language that allows algebraic specification of systems through facets. The usual approach to formally describe a specification is to define an algebra that satisfies the specification. Although it is possible to formally describe Rosetta facets with the use of algebras, we choose to use the dual of algebra, i.e. coalgebra, to do so. Coalgebras are particularly...
متن کاملTowards a Formal Semantics of the BS/VDM Specification Language
This paper gives a technical/scientiic survey of the mathematical semantics of the BSI/VDM Speciication Language, currently being standardised by the British Standards Institution. Following a background introduction , the notion of loose (nondeterministic and underdetermined) speciications and the implications for the underlying type (domain) universe is discussed. This is followed by technica...
متن کاملTowards a Formal Semantics of the TESL Specification Language
Most relevant industrial modeling problems depict heterogeneity issues when combining different paradigms. Designing such systems with discrete and continuous parts necessarily raises formal verification problems. We focus on a synchronous heterogeneous specification language, called TESL. In particular, it allows the expression of interrelations of clocks and — unlike other existing languages ...
متن کاملThe Specification Language KARL and Its Declarative Semantics
The Knowledge Acquisition and Representation Language (KARL) combines a description of a knowledge-based system (kbs) at the conceptual level (a so-called model of expertise ) with a description at a formal and executable level. It is a specification language which allows the precise and unique description of a kbs independently from implementational details. In the paper, KARL is mainly discus...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1988
ISSN: 0167-6423
DOI: 10.1016/0167-6423(88)90008-1