scientific article; zbMATH DE number 1952057

MaRDI QIDQ4413952zbMATH OpenFDO

Authors Ross McKegney, Terry Shepard

Publication date 22 July 2003

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

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2163031
• Specifying, relating and composing object oriented interfaces, components and architectures
• An Algebraic Semantics for Contract-Based Software Components
• scientific article; zbMATH DE number 2079812
• scientific article; zbMATH DE number 2088931

Cited in

(5)

• scientific article; zbMATH DE number 2088931 (Why is no real title available?)
• scientific article; zbMATH DE number 2163031 (Why is no real title available?)
• Specifying the Semantics of Operation Contracts in Conceptual Modeling
• Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study
• The use of contract specifications for representing requirements and for functional testing of hardware models

Describes a project that uses

Uses Software

• jContractor

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