VDM '88. VDM - The Way Ahead
Springer Berlin (Verlag)
978-3-540-50214-2 (ISBN)
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.
Erscheint lt. Verlag | 30.8.1988 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | XII, 504 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 835 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Schlagworte | ADA • Design • operating system • Software engineering • Software Engineering / Softwareentwicklung • Softwareentwicklung • Testing • Validation • verification |
ISBN-10 | 3-540-50214-9 / 3540502149 |
ISBN-13 | 978-3-540-50214-2 / 9783540502142 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich