Keywords:
Logic design
;
Computer science
;
Software engineering
;
Computer Science
;
Logics and Meanings of Programs
;
Software Engineering
;
Konferenzschrift
;
VDM
;
Z
;
VDM
Description / Table of Contents:
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.
Type of Medium:
Online Resource
Pages:
Online-Ressource (XVII, 579 S.)
Edition:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540470069
Series Statement:
Lecture notes in computer science 428
URL:
http://www.springerlink.com/content/j703p43x3550
URL:
http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-52513-4
URL:
http://dx.doi.org/10.1007/3-540-52513-0
URL:
https://doi.org/10.1007/3-540-52513-0
URL:
https://zbmath.org/?q=an:0746.68006
URL:
https://external.dandelon.com/download/attachments/dandelon/ids/DE004BEE082CD58F77787C12579BF004CBD25.pdf
DOI:
10.1007/3-540-52513-0
Language:
English
Note:
Literaturangaben
Permalink