scientific article; zbMATH DE number 1262881

MaRDI QIDQ4233991zbMATH OpenFDO

Authors Gillian Hill

Publication date 15 March 1999

zbMATH Keywords

formal specification of systems

Mathematics Subject Classification ID

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

Recommendations

• Formal Specification and Design
• Formal specification and verification
• scientific article; zbMATH DE number 1350767
• Formal specification with B
• Argumentation in Multi-Agent Systems
• scientific article; zbMATH DE number 1481757
• A formally grounded software specification method
• Formal verification of specification models

Cited in

(29)

• Adequate formalization
• An axiom system for sequence-based specification
• Defining relationships in ecology using object-oriented formal specifications
• A framework for system specification using chains on cell complexes.
• Introducing H, an institution-based formal specification and verification language
• Systems specification by basic protocols
• On the construction of a domain language for a class of reactive systems
• Formal specification with B
• scientific article; zbMATH DE number 1708121 (Why is no real title available?)
• Specification architectures
• Context machines as formalism for specification of dynamic systems
• scientific article; zbMATH DE number 3902006 (Why is no real title available?)
• Specification statements and refinement
• scientific article; zbMATH DE number 4029468 (Why is no real title available?)
• scientific article; zbMATH DE number 4084996 (Why is no real title available?)
• scientific article; zbMATH DE number 2013599 (Why is no real title available?)
• scientific article; zbMATH DE number 2064460 (Why is no real title available?)
• scientific article; zbMATH DE number 1543051 (Why is no real title available?)
• scientific article; zbMATH DE number 1543355 (Why is no real title available?)
• A note on the specification of assembly systems
• scientific article; zbMATH DE number 1931767 (Why is no real title available?)
• scientific article; zbMATH DE number 10084 (Why is no real title available?)
• scientific article; zbMATH DE number 784355 (Why is no real title available?)
• scientific article; zbMATH DE number 860044 (Why is no real title available?)
• scientific article; zbMATH DE number 864917 (Why is no real title available?)
• Methodology to evaluate the functionality of specification languages
• Recent Trends in Algebraic Development Techniques
• KnowLang -- a formal specification model for self-adaptive systems
• Operational ontological approach to formal programming language specification

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