Slicing for model reduction in adaptive embedded systems development
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Control Dependence for Extended Finite State Machines
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Identifying properties of UML state machine diagrams that affect data and control dependence
Proceedings of the 2011 ACM Symposium on Applied Computing
Interface decomposition for service compositions
Proceedings of the 33rd International Conference on Software Engineering
B model slicing and predicate abstraction to generate tests
Software Quality Control
Analysis and testing of matlab simulink models: a systematic mapping study
Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation
State-based model slicing: A survey
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |
Quality requirements of software systems typically affect large portions of the system, and should be taken into account early in the design process. Patterns have become a mainstream technique to associate frequent quality-related design problems with ...