Aspect-oriented development of trustworthy component-based systems

DOI10.1007/978-3-319-25150-9_25MaRDI QIDQ2787440zbMATH OpenOpenAlexFDO

Authors José Dihego, Augusto Sampaio

Publication date 25 February 2016

Published in Theoretical Aspects of Computing - ICTAC 2015 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-25150-9_25

zbMATH Keywords

behavioural convergencecomponent-based aspect-oriented designcorrectness by constructionCSP

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 5932254
• Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework
• scientific article; zbMATH DE number 2163031
• scientific article; zbMATH DE number 2089396
• Mathematical Frameworks for Component Software

Cited in

(2)

• Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework
• Towards designing application specific trust treated model

This page was built for publication: Aspect-oriented development of trustworthy component-based systems

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