scientific article; zbMATH DE number 1304374

MaRDI QIDQ4251109zbMATH OpenFDO

Authors John Derrick, Howard Bowman

Publication date 17 June 1999

zbMATH Keywords

behavioural specificationstate based specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2143091
• scientific article; zbMATH DE number 1304371
• Foundations for structuring behavioural specifications
• scientific article; zbMATH DE number 4056977
• scientific article; zbMATH DE number 1314230
• Part-whole statecharts for precise behavioral semantics
• Specifying modules to satisfy interfaces: A state transition system approach

Cited in

(7)

• Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
• On testing UML statecharts
• State-bases approaches: from Z to Object-Z
• State inference for dynamically changing interfaces
• scientific article; zbMATH DE number 2143091 (Why is no real title available?)
• Algebraic Methodology and Software Technology
• Formal Approaches to Software Testing

Describes a project that uses

Uses Software

• LOTOS

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