Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Documentation for safety critical software
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Deriving operational software specifications from system goals
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
An Abductive Approach for Analysing Event-Based Requirements Specifications
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Some Alternative Formulations of the Event Calculus
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Fluent model checking for event-based systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Generating Annotated Behavior Models from End-User Scenarios
IEEE Transactions on Software Engineering
Scenarios, goals, and state machines: a win-win partnership for model synthesis
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Deriving event-based transition systems from goal-oriented requirements models
Automated Software Engineering
Deriving non-zeno behavior models from goal models using ILP
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Synthesizing partial component-level behavior models from system specifications
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Synthesizing and utilizing partial behavior models during requirements elicitation
Proceedings of the doctoral symposium for ESEC/FSE on Doctoral symposium
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Integrating model verification and self-adaptation
Proceedings of the IEEE/ACM international conference on Automated software engineering
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Towards behavior elaboration and synthesis using modes
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Process-based derivation of requirements for medical devices
Proceedings of the 1st ACM International Health Informatics Symposium
Interface decomposition for service compositions
Proceedings of the 33rd International Conference on Software Engineering
Learning to adapt requirements specifications of evolving systems (NIER track)
Proceedings of the 33rd International Conference on Software Engineering
Norm refinement and design through inductive learning
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Leveraging existing instrumentation to automatically infer invariant-constrained models
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
ProbPoly: a probabilistic inductive logic programming framework with application in model checking
Proceedings of the International Workshop on Machine Learning Technologies in Software Engineering
Use cases for context aware model-checking
MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
Learning from vacuously satisfiable scenario-based specifications
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Simulation-based abstractions for software product-line model checking
Proceedings of the 34th International Conference on Software Engineering
Generating obstacle conditions for requirements completeness
Proceedings of the 34th International Conference on Software Engineering
Satisfying requirements for pervasive service compositions
Proceedings of the 7th Workshop on Models@run.time
Learning revised models for planning in adaptive systems
Proceedings of the 2013 International Conference on Software Engineering
Requirements modelling by synthesis of deontic input-output automata
Proceedings of the 2013 International Conference on Software Engineering
Specifying software features for composition: A tool-supported approach
Computer Networks: The International Journal of Computer and Telecommunications Networking
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
| Hi-index | 0.00 |
Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these approaches is the elaboration of a correct and complete set of opertional requirements, in the form of pre- and trigger-conditions, that guarantee the system goals. Few existing approaches provide support for this crucial task and mainly rely on significant effort and expertise of the engineer. In this paper we propose a tool-based framework that combines model checking, inductive learning and scenarios for elaborating operational requirements from goal models. This is an iterative process that requires the engineer to identify positive and negative scenarios from counterexamples to the goals, generated using model checking, and to select operational requirements from suggestions computed by inductive learning.