scientific article; zbMATH DE number 1395608

MaRDI QIDQ4935249zbMATH OpenFDO

Authors

Publication date 31 January 2000

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)

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

Cited in

(3)

• Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
• Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis
• scientific article; zbMATH DE number 4219110 (Why is no real title available?)

Describes a project that uses

Uses Software

• OBJ3
• PVS

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)