Monahan, B. and Shaw, R. (1991). Model-based specifications. In McDermid, J., editor, Software Engineer's Reference Book, chapter 21. Butterworth Heinemann.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....on the cleverness of the interpreter compiler) In general, executable specifications will contain details that are redundant from a pure specification point of view. Model Oriented vs. Property Oriented Languages There are two types of declarative languages: model oriented and property oriented (Monahan Shaw 1991, Barwise 1989) In a model oriented language objects are defined as structures built from a number of given basic mathematical structures (such as sets, tuples, and sequences) and the result (and non functional features) of operations are explicitly defined in terms of these structures. In a ....

Monahan, B. & Shaw, R. (1991). Model-based specifications, in J. A. McDermid (ed.), Software Engineer's Reference Book, Butterworth Heinemann, Oxford.

....required to test software without imposing too much of a burden on the developers by having to write a specification of the problem in a somewhat unusual format, we reduce our search for a suitable specification language to model based languages and will try to overcome the problem of the oracle. [106] describes the fundamentals of model based specifications as well as introduces its two main representative notations VDM SL and Z. Briefly, model based 36 specification languages concentrate on the specification of abstract machines by specifying their states and the operations which can ....

....specification language used in VDM. Further, we shall not discuss the differences at the verification level between Z and VDM, instead we shall concentrate on the syntactic and expressibility differences of the two notations. Verification comparisons can be found in [109] As reported elsewhere [106, 109, 110, 111] most of Z and VDM SL differences are superficial. However we can note that VDM SL is a strictly typed language when compared with Z, and that Z schemas are an elegant way of constructing large specifications with maximum reuse of components. From a test case generation point of view it is very ....

B. Monahan and R. Shaw, "Model-based specifications," in Software Engineer 's Reference Book (J. McDermid, ed.), ch. 21, London: ButterworthHeinemann, 1991.

....Jonathan Bowen PRG TR 10 92 Delta Oxford University Computing Laboratory 11 Keble Road, Oxford OX1 3QD Select Z Bibliography Jonathan Bowen Abstract This document gives an up to date list of Z references. A version of this bibliography is due appear in the Proceedings of the Z User Workshop, York 1991, edited by John Nicholls, in the Springer Verlag Workshops in Computing series. Further copies of this Technical Report may be obtained from the Librarian, Oxford University Computing Laboratory, Programming Research Group, 11 Keble Road, Oxford OX1 3QD, England (Telephone: 44 865 273837, ....

Brian Q. Monahan and Roger C. Shaw. Model-based specifications. In John A. McDermid, editor, Software Engineer's Reference Book, chapter 21. Butterworth-Heinemann, Oxford, UK, 1991. Contains a case study in Z, followed by a discussion of the respective trade-offs in specification between Z and VDM.

....the VDM and Z specification languages, together with some of the history of their development. It is written in a lively, readable form and is well recommended to readers. However, it restricts itself to expressibility of specifications and only lightly touches on verification. Earlier comparisons [5, 11] similarly focus mainly on notational or structural differences between the two methods. The work described in this paper centres around experience using the mural environment [9] for verifying specifications written in the VDM specification language (VDM SL) The proof theory supported by mural ....

B. Monahan and R. Shaw. Model-based specifications. In J.A. McDermid, editor, Software Engineer's Reference Book, chapter 21. Butterworth-Heinemann, London, 1991.

....required to test software without imposing too much of a burden on the developers by having to write a specification of the problem in a somewhat unusual format, we reduce our search for a suitable specification language to model based languages and will try to overcome the problem of the oracle. [95] describes the fundamentals of model based specifications as well as introduces its two main representatives notations VDM SL and Z. Briefly, model32 based specification languages concentrate on the specification of abstract machines by specifying their states and the operations which can ....

....the specification language used in VDM. Further, we shall not discuss the differences at the verification level between Z and VDM, instead we shall concentrate on the syntactic and expressibility differences of the two notations. Verification comparisons can be found in [98] As reported elsewhere [95, 98, 99, 100] most of Z and VDM SL differences are superficial. However we can note that VDM SL is a strictly typed language when compared with Z, and that Z schemas are an elegant way of constructing large specification with maximum reuse of components. From a test case generation point of view it is very ....

B. Monahan and R. Shaw, "Model-based specifications," in Software Engineer 's Reference Book (J. McDermid, ed.), ch. 21, London: ButterworthHeinemann, 1991.

....an understanding of the interesting differences between the VDM and Z specification languages in a lively, readable form and is well recommended to readers; however, it restricts itself to expressibility of specifications and only lightly touches on verification. Earlier comparisons of VDM and Z [MS91, Hay92] similarly focus mainly on notational or structural differences between the two methods. This report however focuses on verification techniques for specifications. 1.2 Motivation This Technical Report presents a series of case studies in the mathematical verification of formal specifications of ....

B. Monahan and R. Shaw. Model-based specifications. In J.A. McDermid, editor, Software Engineer's Reference Book, chapter 21. Butterworth-Heinemann, London, 1991.

....development. It is written in a lively, readable form and is well recommended to readers; however, it restricts itself to expressibility of specifications and only lightly touches on verification. The response by Hall [7] presents a specifier s perspective on the comparison. Earlier comparisons [8, 16] similarly focus mainly on notational or structural differences between the two methods. An SVRC technical report [15] compares Z and VDM verification techniques on five specification case studies, and explores the use of some other possible analysis techniques. 2 Comparison of mathematical ....

B. Monahan and R. Shaw. Model-based specifications. In J.A. McDermid, editor, Software Engineer's Reference Book, chapter 21. Butterworth-Heinemann, London, 1991.

.... modelling the state of the system in an abstract manner and then relating before and after states for different operations using the schema box notation for structuring the underlying mathematics [5] The nearest equivalent is VDM (Vienna Development Method) which has often been compared with Z [17, 11], although VDM is aimed at development as well is specification, whereas Z is mainly aimed at specification. The B Method [1] shares some aspects of Z too. Z s great strength is the ability to produce elegant specifications; other approaches, including VDM and B, may be better if formal ....

B. Q. Monahan and R. C. Shaw. Model-based specifications. In J. A. McDermid, editor, Software Engineer's Reference Book, chapter 21. Butterworth-Heinemann, Oxford, UK, 1991.

No context found.

Monahan, B. and Shaw, R. (1991). Model-based specifications. In McDermid, J., editor, Software Engineer's Reference Book, chapter 21. Butterworth Heinemann.

No context found.

B. Q. Monahan and R. C. Shaw. Model-based specifications. In J. A. McDermid, editor, Software Engineer's Reference Book, chapter 21. Butterworth-Heinemann, Oxford, UK, 1991. This chapter contains a case study in Z, followed by a discussion of the respective trade-offs in specification between Z and VDM.

No context found.

B.Q. Monahan and R.C. Shaw. Model-based specifications. In J.A. McDermid, editor, Software Engineer's Reference Book, chapter 21. Butterworth-Heinemann, Oxford, UK, 1991. This chapter contains a case study in Z, followed by a discussion of the respective trade-offs in specification between Z and VDM.

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