VDM '88 : VDM - the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September 11 16, 1988 : proceedings
This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, September 12-16, 1988. VDM, the Vienna Development Method, is a formal method for software engineering. It is being applied to an increasing number of projects by companies throughout Europe and there is an...
Enregistré dans:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | , , |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
328 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
VDM : Vienna Development Method Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • VDM '88, VDM, the way ahead, 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988, proceedings, R. Bloomfield, L. Marshall, R. Jones (eds.), Berlin, Springer-Verlag, 1988, 1 vol. (IX-499 p.), Lecture notes in computer science, 3-540-50214-9 • VDM '88. VDM - The Way Ahead, Texte imprimé, 9783662183168 |
Indholdsfortegnelse:
- Computing is a physical science
- Structuring for the VDM specification language
- Correctness for beginners
- Understanding an informal description: Office documents architecture, an ISO standard
- Towards a formal definition of GKS and other graphics standards
- Report from the BSI panel for the standardisation of VDM (IST/5/50)
- Formal methods in standards A report from the BCS working group
- The B tool (Abstract)
- Specification of an operating system kernel forest and VDM compared
- Compiler prototyping with VDM and standard ML
- VDM development with Ada as the target language
- NUSL: An executable specification language based on data abstraction
- A support system for formal reasoning: Requirements and status
- The use of VDM within the Alvey Flagship project
- The formal definition of modula-2 and its associated interpreter
- Test case selection using VDM
- The VIP VDM Specification Language
- Sample A functional language
- A three-valued logic for software specification and validation
- Three-valued predicates for software specification and validation
- A set-theoretic model for a typed polymorphic lambda calculus a contribution to MetaSoft
- Mutually recursive algebraic domain equations
- Proof rules for VDM statements
- Muffin: A user interface design experiment for a Theorem Proving Assistant
- The RAISE language, method and tools
- Correctness proofs for META IV written code generator specifications using term rewriting
- Using VDM with rely and guarantee-conditions
- Software support for the refinement of VDM specifications
- The use of VDM in the specification of Chinese characters.