Vor Ort
Merkzettel Warenkorb
Produktbild: VDM '90. VDM and Z - Formal Methods in Software Development
Band 428

VDM '90. VDM and Z - Formal Methods in Software Development Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

04.04.1990

Herausgeber

Dines Bjørner + weitere

Verlag

Springer Berlin

Seitenzahl

588

Maße (L/B/H)

23,5/15,5/3,2 cm

Gewicht

1078 g

Auflage

1990

Sprache

Englisch

ISBN

978-3-540-52513-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

04.04.1990

Herausgeber

Verlag

Springer Berlin

Seitenzahl

588

Maße (L/B/H)

23,5/15,5/3,2 cm

Gewicht

1078 g

Auflage

1990

Sprache

Englisch

ISBN

978-3-540-52513-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: VDM '90. VDM and Z - Formal Methods in Software Development
  • 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.