A notation for component-based design of Java applications

DOI10.1007/3-540-36520-6_14MaRDI QIDQ4413744zbMATH OpenFDO

Authors Catalin Gheorghe Amza, Gianna Reggio

Publication date 21 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/2604/26040155.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• Toward a formal model of software components
• On components with explicit protocols satisfying a notion of correctness by construction
• Toward formal model for COM
• Distributed systems: from models to components
• scientific article; zbMATH DE number 2163031

This page was built for publication: A notation for component-based design of Java applications

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