scientific article; zbMATH DE number 977451

MaRDI QIDQ4331845zbMATH OpenFDO

Authors Ben Potter, J. E. Sinclair, David Till

Publication date 12 February 1997

zbMATH Keywords

formal specification

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Abstract data types; algebraic specification (68Q65)

Cited in

(9)

• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• A blocking model for reactive objects
• scientific article; zbMATH DE number 795671 (Why is no real title available?)
• Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
• An automatically verified prototype of the Tokeneer ID station specification
• Selected MRP II standard system requirements presented in Z-notation
• Abstract interface behavior of object-oriented languages with monitors
• A case study using lightweight formalism to review an information system specification
• Composition mechanisms for retrenchment

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 Q4331845)