-
Published in 1993.
-
...and logical foundation for writing formal specifications; it is not a specification language. the method determines what a specification must say; a language determines in detail how it is said...separately? there is a single formalism that underlies a transition axiom specification, so there is no formal separation between the specification of safety and liveness properties...
-
...implemented.covers the role of formal specification in software engineering, and presents an...notation relations, functions, schemas and specifications structure. presents a completed specification in z notation, and shows how that specification can be transformed into a...
Published in 1996.
-
...this paper surveys specification techniques that can be applied to human-computer interfaces, provides examples of specifications, and presents some conclusions drawn...
-
...are exploring an approach to formally specifying and analyzing software architectures that is based on viewing software systems as chemicals...and boudol (1992). the cham formalism provides a framework for developing operational specifications that does not bias the...
-
formal specification and verification techniques are now apused to increase the reliability of software systems. however, these proaches sometimes result in specifying systems that cannot be...requirement with respect to a formal specification tion are also introduced. finally, the design of two tools for testing formal specifications is discussed....
-
formal specification techniques are valuable in software development because they permit...into two categories: those based on state transition diagrams and those based on bnf. examples of both types of specifications are given. specification notations based on state transition diagrams are preferable...
-
...framework desire, originally designed for formal specification of complex reasoning systems,is...real-world ,multi-agent application on a,conceptual level. some extensions to desire are introduced ,to obtain ,a useful ,formal specification framework,for multi-agent systems...
-
...but which differ from it in many important respects. our aim in this paper is to rectify this omission. we provide an abstract formal model of an idealised dmars...nipulate these structures. we focus in particular on dmars plans, since these are the key tool for programming dmars agents. the specification we present will enable other...
-
Published in 1982.