scientific article; zbMATH DE number 1949594

MaRDI QIDQ4412488zbMATH OpenFDO

Authors Zhiqing Shao, David R. Musser

Publication date 15 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2495/24950132.htm

zbMATH Keywords

formal semanticsspecification evolution and refinementSpecification techniques and languages

Mathematics Subject Classification ID

Theory of software (68N99) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1156716
• Architectural specifications in CASL
• scientific article; zbMATH DE number 3936498
• scientific article; zbMATH DE number 2013574
• scientific article; zbMATH DE number 860050

Cited in

(1)

• Concept management: identification and storage of concepts in the focus of formal Z specifications

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