On formal specification of software components and systems

MaRDI QIDQ2863885zbMATH OpenFDO

Authors Sharon Flynn, Dick Hamlet

Publication date 4 December 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106004026?np=y

zbMATH Keywords

compositionformal specificationsoftware component

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A compositional specification theory for component behaviours
• Formal model for software systems composition
• Specifying, relating and composing object oriented interfaces, components and architectures
• scientific article; zbMATH DE number 2163031
• CONCUR 2005 – Concurrency Theory

Cited in

(14)

• Formal stystems specification. The RPC-memory specification case study
• Discussion on: ``Formal specification method for systems automation
• Theoretical Aspects of Computing – ICTAC 2005
• scientific article; zbMATH DE number 1693512 (Why is no real title available?)
• scientific article; zbMATH DE number 1983047 (Why is no real title available?)
• scientific article; zbMATH DE number 1569134 (Why is no real title available?)
• CONCUR 2005 – Concurrency Theory
• Formal model for software systems composition
• Modeling and reasoning of the software component based system recovery based on survivability specification
• Pragmatic Formal Specification of System Properties by Tables
• Compositional comparison of formal software specifications using transformation systems.
• A system for predictable component-based software construction
• Tracing integration analysis in component-based formal specifications
• scientific article; zbMATH DE number 1481757 (Why is no real title available?)

This page was built for publication: On formal specification of software components and systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2863885)