VDM '90. VDM and Z - Formal Methods in Software Development

Beschreibung

This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering. The proceedings published by VDM Europe have the distinguished mark that they are concerned with bringing real theory to apply to real programming.

Autor*in

Dines Bjørner

Themen in »VDM '90. VDM and Z - Formal Methods in Software Development«

Entwurfsmethodik Spezifikationsmethodik design distributed systems formal method formalisation programming software engineering specification methodology verteilte Systeme

Stimmen zu »VDM '90. VDM and Z - Formal Methods in Software Development«

Details

Link teilen