VDM '90 VDM and Z - formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 : proceedings
The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematician whose name is associated with set theory. Many computing science, programming and software engineering procee...
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | , , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
428 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • VDM '90, VDM and Z, formal methods in software development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings, D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.), Berlin, Springer-Verlag, 1990, 1 vol. (XVII-579 p.), Lecture notes in computer science, 0-387-52513-0 • VDM '90. VDM and Z - Formal Methods in Software Development, Texte imprimé, 9783662186312 |
Table des matières:
- Object orientation and formal techniques
- An algebraic approach to refinement
- Modal logic programming
- Z specification of an object manager
- Correctness in the small
- A formal approach to hypertext using post-prototype formal specification
- Programming with VDM domains
- A buffering system implementation using VDM
- Formal specifications as reusable frameworks
- Z and the refinement calculus
- Modularizing the formal description of a database system
- Modular extensions to Z
- Adding abstract datatypes to Meta-IV
- Towards a semantics for object-Z
- HOOD and Z for the development of complex software systems
- Using Z as a specification calculus for object-oriented systems
- Specifying open distributed systems with Z
- Refinement of state-based concurrent systems
- Refining data to processes
- Two approaches towards the formalisation of VDM
- Type checking BSI/VDM-SL
- Type inference in Z
- Recursive definitions revisited
- Towards the semantics of the definitional language of MetaSoft
- On conservative extensions of syntax in the process of system development
- A formal semantics for Z and the link between Z and the relational algebra
- A naive domain universe for VDM.