scientific article; zbMATH DE number 1395608

zbMATH Open0941.68029MaRDI QIDQ4935249FDOQ4935249

Authors:

Publication date: 31 January 2000

Title of this publication is not available (Why is that?)

Recommendations

• Specification of software systems.
• scientific article; zbMATH DE number 578247
• VDM '90. VDM and Z - formal methods in software development. 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings
• scientific article; zbMATH DE number 194535
• scientific article; zbMATH DE number 194792

zbMATH Keywords

software designHigh-integrity system(system) specification

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (3)

• Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis
• Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
• Title not available (Why is that?)

Uses Software

• PVS
• OBJ3

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4935249)