Formal model for software systems composition
From MaRDI portal
Recommendations
- A Software Component Model and Its Preliminary Formalisation
- On formal specification of software components and systems
- A form-based meta-model for software composition
- Compositional comparison of formal software specifications using transformation systems.
- A formal abstract framework for modelling and testing complex software systems
Cited in
(8)- On formal specification of software components and systems
- A Software Component Model and Its Preliminary Formalisation
- Toward formal model for COM
- An interface model for service-oriented software architecture
- Computational Science – ICCS 2005
- Service-oriented systems engineering: modeling services and layered architectures
- Multifunctional software systems: Structured modeling and specification of functional requirements
- A formal abstract framework for modelling and testing complex software systems
This page was built for publication: Formal model for software systems composition
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5309375)
