scientific article; zbMATH DE number 1519981

MaRDI QIDQ4509996zbMATH OpenFDO

Authors Clemens Fischer

Publication date 19 October 2000

zbMATH Keywords

formal languagesspecification of data

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Specification and inheritance in CSP-OZ.
• scientific article; zbMATH DE number 1487740
• Data abstraction techniques in the validation of CSP-OZ specifications
• Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)
• scientific article; zbMATH DE number 1487741

Cited in

(11)

• Specification and (property) inheritance in CSP-OZ
• Model transformations across views
• Efficient symbolic computation of process expressions
• Integrating a formal method into a software engineering process with UML and Java
• rCOS: defining meanings of component-based software architectures
• Refactoring Object-Oriented Specifications with Data and Processes
• Specification and inheritance in CSP-OZ.
• Data abstraction techniques in the validation of CSP-OZ specifications
• From control law diagrams to Ada via \textsf{Circus}
• Testing for refinement in \textsf{Circus}
• A process algebraic framework for specification and validation of real-time systems

Describes a project that uses

Uses Software

• LOTOS
• LOTOSphere
• Eiffel

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