Requirements engineering: from craft to discipline
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Reasoning About Alternative Requirements Options
Conceptual Modeling: Foundations and Applications
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Strategic alignment of business processes
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Position paper: towards a requirements-driven design of ensemble-based component systems
Proceedings of the 2013 international workshop on Hot topics in cloud services
A decision framework for optimisation of business processes aligned with business goals
International Journal of Business Information Systems
| Hi-index | 0.00 |
Complex software and systems are pervasive in today's world. In a growing number of fields they come to play a critical role. In order to provide a high assurance level, verification and validation (V&V) should be considered early in the development process. This paper shows how this can be achieved based on a goal-oriented requirements engineering framework which combines complementary semi-formal and formal notations. This allows the analyst to formalize only when and where needed and also preserves optimal communication with stakeholders and developers.For the industrial application of the methodology, a supporting toolbox was developed. It consist of a number of tightly integrated tools for performing V&V tasks at requirements level. This is achieved through the use of (1) a roundtrip mapping between the requirements language and the specific formal languages used in the underlying formal tools (such as SAT or constraint solvers) and (2) graphical views using domain-based representations. This paper will focus on two major and representative tools: the Refinement Checker (about verification) and the Animator (about validation).