On formal specification of software components and systems

zbMATH Open1276.68057MaRDI QIDQ2863885FDOQ2863885

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

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

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)

Cited In (14)

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

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)