A rational design process: How and why to fake it
IEEE Transactions on Software Engineering
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Safeware: system safety and computers
Safeware: system safety and computers
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
ML for the working programmer (2nd ed.)
ML for the working programmer (2nd ed.)
Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Applied software architecture
The 4+1 View Model of Architecture
IEEE Software
A survey on software architecture analysis methods
IEEE Transactions on Software Engineering
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Quality Attribute Design Primitives and the Attribute Driven Design Method
PFE '01 Revised Papers from the 4th International Workshop on Software Product-Family Engineering
Software Architecture in Practice
Software Architecture in Practice
Architectural Prototyping: An Approach for Grounding Architectural Design and Learning
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
AspectAda: aspect oriented programming for ada95
Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies
Exploring quality attributes using architectural prototyping
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Hi-index | 0.01 |
The software architecture of a computing system is an abstracted structure of the system in terms of elements and relationships. Such structures may be viewed from a number of viewpoints including static/module, dynamic/execution, and deployment viewpoints. Software architecture fundamentally influences systems from all of these viewpoints and designing and implementing proper software architectures is thus critical in many problem domain areas, including the ones that pertain to safety-critical systems. With respect to safety-critical systems, a particular problem with focusing on software architecture is that there may be a large abstraction gap between an architectural description and an executing system or a formal model thereof thus potentially leading to inconsistencies between models and implementation. Addressing this problem, this paper presents tools and techniques for specifying executable software architectures and for validating these with formal models such as statecharts and Petri nets.