mural -- A Formal Development Support System (2004)

by C. B. Jones , K. D. Jones , P. A. Lindsay , R. Moore , J. Bicarregui , M. Elvang-Gøransson , R. E. Fields , R. Kneuper , B. Ritchie , A. C. Wills
Citations:84 - 24 self

Documents Related by Co-Citation

638 Systematic Software Development using VDM – C B Jones - 1986
1404 A Discipline of Programming – E W Dijkstra - 1976
477 Programming from Specifications – C C Morgan - 1998
48 The IFAD VDM-SL Toolbox: A Practical Approach to Formal Specifications – René Elmstrøm, Peter Gorm Larsen, Poul Bøgh Lassen - 1994
58 A logic covering undefinedness in program proofs – H Barringer, J H Cheng, C B Jones - 1984
1098 The Z Notation: a reference manual – J Michael Spivey - 1992
240 KIDS: A Semi-Automatic Program Development System – Douglas R. Smith - 1990
469 The Science of Programming – D Gries - 1981
199 hol: A proof generating system for higher-order logic – M J C Gordon
17 Cogito: Methodology and system for formal software development – A Bloesch, E Kazmierczak, P Kearney, O Traynor - 1995
26 Ergo User Manual – Mark Utting, Mark Utting, Keith Whitwell, Keith Whitwell - 1993
131 Specification Case Studies – I Hayes - 1987
16 Formal Languages: Automata and Structures – E Engeler - 1968
14 Formal Construction by Transformation—Computer Aided Intuition Guided Programming – F L Bauer, B Moller, H Partsch, P Pepper - 1989
19 Derivation of a Sorting Algorithm – Martin Ward, South Rd, Then P S - 1999
17 An alternative to current looping syntax – ACL David Taylor - 1984
19 Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations – Juan Bicarregui, Brian Ritchie
19 Computer aided transformation of Z into Prolog – AJJ Dick, PJ Krause, J Cozens - 1989
137 Z: an Introduction to Formal Methods – A Diller - 1992