Synthesising structure from flat specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1393, Issue , 1998, Pages 148-161

  Matthews, Brian ^a   Ritchie, Brian ^a   Bicarregui, Juan ^a  

^a RUTHERFORD APPLETON LABORATORY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

B MACHINES; B METHOD; DESIGN PROCESS; HIGH LEVEL SPECIFICATION; REFINEMENT PROCESS; STRUCTURING MECHANISMS;

SPECIFICATIONS;

EID: 84949197843     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053359     Document Type: Conference Paper

References (9)

1. J-R. Abrial, The B-Book: Assigning Programs to Meaning, Cambridge University Press, 1996.
2. J.C. Bicarregui, and B. Ritchie, Invariants, frames and preconditions: a comparison of the VDM and B notations, in Proceedings of Formal Methods Europe’93, Lecture Notes in Computer Science, Vol. 670, ed. J. Woodcock and P G Larsen, Springer-Verlag 1993.
3. J.C. Bicarregui, A.J.J. Dick, B.M. Matthews, and E. Woods, Making the most of formal specification through Animation, Testing and Proof, Science of Computer Programming 29 (1-2) p.55-80 Elsevier-Science, (June 1997)
4. R.F. Docherty, Translation from Z to AMN, proceedings 7th International Conference on Putting into Practice Methods and Tools for Information System Design, ed. H. Habrias, ISBN 2-906082-19-8,1995.
5. J. Draper (ed), Industrial benefits of the SPECTRUM approach, SPECTRUM Project External Deliverable 1.3, 1997.
6. ISO, “ISO/IEC 13817-1 Information Technology-Programming Languages, their environments and system software interfaces-Vienna Development Method-Specification Language. Part 1:Base Language”, 1996.
7. C.B. Jones, Systematic Software Development Using VDM, 2nd Edition, Prentice-Hall, 1990.
8. K. Lano, The B Language and Method: a guide to practical formal development, Springer-Verlag 1996.
9. B. Ritchie, J.C. Bicarregui, and H. Haughton, Experiences in Using the Abstract Machine Notation in a GKS Case Study, Proceeding of Formal Methods Europe'94, Naftalin, Denvir, Bertran (Eds), LNCS 873, Springer-Verlag, 1994.