Identifying pre-conditions with the Z/EVES theorem prover

Proceedings - 13th IEEE International Conference on Automated Software Engineering, ASE 1998

Volumn 1998-October, Issue , 1998, Pages 32-41

  Ledru, Yves ^a  

^a ZIRST   (France)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING;

GRAPHICAL DATA; OBJECT MODEL; THEOREM PROVERS;

THEOREM PROVING;

EID: 84948168588     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.1998.732566     Document Type: Conference Paper

References (22)

1. J. Abrial. The B-Book. Cambridge University Press, 1996.
2. D. Craigen, S. Gerhart, and T. Ralston. An international survey of industrial applications of formal methods. Technical Report NISTGCR 93/626, U.S. National Institute of Standards and Technology, 1993.
3. R. Duke, P. Kin, G. Rose, and G. Smith. The Object-Z Specification Langage: Version 1. Technical Report 91-1, Departement of Computer Science, University of Que ensland, Australia, Software Verification Research Centre, April 1991.
4. S. Dupuy, Y. Ledru, and M. Chabre-Peccoud. Integrating OMT and Object-Z. In K. L. e. A. Evans, editor, Proceedings of BCS FACS/EROS ROOMWorkshop, technical report GR/K67311-2, Dept. of Computing, Imperial College, 180 Queens Gate, London, UK, June 1997.
5. P. Facon, R. Laleau, and H. Nguyen. Mapping Object Diagrams into B Specifications. In A. Bryant and L. Semmens, editors, Method Integration Workshop, Electronic Workshop in Computing, Leeds, England,March 1996. Springer-Verlag.
6. J. Fitzgerald, T. Brookes, M. Green, and P. Larsen. Formal and informal specifications of a secure system component: First results in a comparative study. In M. Naftalin, T. Denvir, and M. Bertran, editors, FME'94: Industrial Benefit of FormalMethods, volume 873 of Lecture Notes in Computer Science. Springer-Verlag, 1994.
7. R. France and J.-M. Bruel. Using Formal Techniques to Strengthen Informal Object-Oriented Modeling Techniques: The FuZE Experience. Technical report, Florida Atlantic University, Boca Raton, USA, Departement of Computer Science and Engineering, 1997.
8. R. France, J.-M. Bruel, M. Larrondo-Petrie, and M. Shroff. Exploring the Semantics of UML type structures with Z. In H. Bowman and J. Derrick, editors, Proc. 2nd IFIP Conf. on FormalMethods for Open Object-Based Distributed Systems (FMOODS), pages 247-260, Canterbury, UK, 1997. Chapman and Hall, London.
9. D. Gries. The science of programming. Springer-Verlag, 1981.
10. T. U. Group. UML notation guide version 1.1. Technical report, Rational Software Corporation, September 1997. http://www.rational.com/uml/documentation.html.
11. C. B. Jones. Systematic Software Development Using VDM (Second Edition). Prentice-Hall, London, 1990.
12. R. B. Jones. ICL ProofPower. BCS-FACS FACTS, Series III, 1(1):10-13,Winter 1992.
13. R. Laleau and N. Hadj-Rabia. Génération automatique de spécificationsVDM à partir d'un schéma conceptuel de donn ées. In Actes du XIIIe congrès INFORSID, 1995.
14. K. Lano and S. Goldsack. Intregrated Formal and Object-Oriented Methods: The VDM++ Approach. In A. Bryant and L. Semmens, editors, Method Integration Workshop, ElectronicWorkshop in Computing, Leeds, England,March 1996. Springer-Verlag.
15. P. G. Larsen, N. Plat, and H. Toetenel. A Formal Semantics of Data Flow Diagrams. Formal Aspects of Computing, 6(6), Dec. 1994.
16. Y. Ledru. Complementing semi-formal specifications with Z. In Proceedings of the 11th Knowledge-Based Software Engineering Conference. IEEE Computer Society Press, September 1996.
17. F. Polack,M.Whiston, and K. C. Mander. The SAZ project: Integrating SSADM and Z. In J. C. P. Woodcock and P. G. Larsen, editors, FME'93: Industrial-Strength Formal Methods, volume 670 of Lecture Notes in Computer Science, pages 541-557. Springer-Verlag, 1993.
18. G. P. Randell. Translating data flow diagrams into Z (and vice versa). Report no. 90019, RSRE, Ministry of Defence, Malvern, Worcestershire, UK, Oct. 1990.
19. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliffs, 1991.
20. M. Saaltink. The Z/EVES system. In J. Bowen,M. Hinchey, and D. Till, editors, Proc. 10th Int. Conf. on the Z Formal Method (ZUM), volume 1212 of Lecture Notes in Computer Science, pages 72-88, Reading, UK, Apr. 1997. Springer-Verlag, Berlin.
21. SLIGOS. Delphia Object Modeler-Software production by object modeling. SLIGOS, Agence Delphia, Seyssinet, France, 1995.
22. J. Spivey. The Z notation-A Reference Manual (Second Edition). Prentice Hall, 1992.