Toward a formal model of software components

DOI10.1007/3-540-36103-0_8MaRDI QIDQ4412476zbMATH OpenFDO

Authors Maritta Heisel, Thomas Santen, Jeanine Souquieres

Publication date 15 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of software (68N99) Computing methodologies and applications (68U99)

Recommendations

• Towards a foundation of component-oriented software reference models
• Mathematical Frameworks for Component Software
• A Software Component Model and Its Preliminary Formalisation
• scientific article; zbMATH DE number 2163031
• Behavioural analysis of the enterprise \texttt{JavaBeans}\(^{TM}\) component architecture

Cited in

(13)

• A data binding model between Java Beans and GUI components
• A Software Component Model and Its Preliminary Formalisation
• scientific article; zbMATH DE number 5623975 (Why is no real title available?)
• Behavior Modeling During Software Design
• The specification of UML collaborations as interaction components
• Specification of business components
• A notation for component-based design of Java applications
• Towards a foundation of component-oriented software reference models
• A specification model for interface suites
• scientific article; zbMATH DE number 2050833 (Why is no real title available?)
• Behavioural analysis of the enterprise \texttt{JavaBeans}\(^{TM}\) component architecture
• scientific article; zbMATH DE number 2087510 (Why is no real title available?)
• Toward formal model for COM

This page was built for publication: Toward a formal model of software components

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