Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
ISORC '01 Proceedings of the Fourth International Symposium on Object-Oriented Real-Time Distributed Computing
Model-Driven assessment of use cases for dependable systems
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Exception-Aware requirements elicitation with use cases
Advanced Topics in Exception Handling Techniques
The fault-tolerant insulin pump therapy
Rigorous Development of Complex Fault-Tolerant Systems
Addressing degraded service outcomes and exceptional modes of operation in behavioural models
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Model transformation of dependability-focused requirements models
MISE '09 Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering
Hi-index | 0.00 |
Contemporary software systems are usually complex and prone to errors due to their complexity. If dependability attributes are defined, some strategies should be adopted. The CORRECT methodology is a semi-formal approach that allows engineering of systems with abnormal behavior fully specified. The paper consists of two parts: the first part presents the work context as an outcome of east-west cooperation, while the second presents the scientific results of CORRECT Analysis (CORA) phase for modeling an embedded system and shows how typical properties for these systems can be precisely specified. For this purpose, CORA models are informally introduced using analysis models applied to a running example of an alarm system.