Three-tiered specification of micro-architectures

DOI10.1007/3-540-36103-0_11MaRDI QIDQ4412480zbMATH OpenFDO

Authors Ralf Lämmel, Vangalur S. Alagar

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/24950092.htm

zbMATH Keywords

design patternsevolutionformal methodsframeworksinteractionmicro-architecturesobject-oriented designreuseUML

Mathematics Subject Classification ID

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

Recommendations

• Specifying distributed computer architectures in AADL
• Specifying, relating and composing object oriented interfaces, components and architectures
• Model-based specification
• Verifying architectural specifications
• Architectural specifications in CASL

This page was built for publication: Three-tiered specification of micro-architectures

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