A system for predictable component-based software construction

MaRDI QIDQ2751752zbMATH OpenFDO

Authors M. Aronszajn, M. Sitaraman, S. Atkinson, G. Kulczycki

Publication date 21 October 2001

zbMATH Keywords

component-based construction

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• On formal specification of software components and systems
• Building reliable component-based software systems
• Automata-based component composition analysis
• scientific article; zbMATH DE number 2089410
• scientific article; zbMATH DE number 2201909

Cited in

(2)

• Component-based software development for integrated construction mangement software applications
• Theoretical Aspects of Computing – ICTAC 2005

Describes a project that uses

Uses Software

• LARCH
• PVS

This page was built for publication: A system for predictable component-based software construction

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