Language features for flexible handling of exceptions in information systems
ACM Transactions on Database Systems (TODS)
Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Safety Analysis Using Petri Nets
IEEE Transactions on Software Engineering
ICSE '89 Proceedings of the 11th international conference on Software engineering
A proposed perspective shift: viewing specification design as a planning problem
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Integrating multiple specifications using domain goals
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Understanding fault-tolerant distributed systems
Communications of the ACM
Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Knowledge Representation and Reasoning in the Design of Composite Systems
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Communications of the ACM - Special issue on analysis and modeling in software development
From natural language processing to logic for expert systems
Towards a method of programming with assertions
ICSE '92 Proceedings of the 14th international conference on Software engineering
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Closure and Convergence: A Foundation of Fault-Tolerant Computing
IEEE Transactions on Software Engineering - Special issue on software reliability
Fundamentals of computer security technology
Fundamentals of computer security technology
Fault tolerance in distributed systems
Fault tolerance in distributed systems
Resolving requirements conflicts with computer-supported negotiation
Requirements engineering
Goal decomposition and scenario analysis in business process reengineering
CAiSE '94 Proceedings of the 6th international conference on Advanced information systems engineering
Safeware: system safety and computers
Safeware: system safety and computers
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
Temporal reasoning over deontic specifications
Deontic logic in computer science
Functional documents for computer systems
Science of Computer Programming
Using schematic scenarios to understand user needs
Proceedings of the 1st conference on Designing interactive systems: processes, practices, methods, & techniques
Elements of style: analyzing a software design feature with a counterexample detector
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
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)
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
A meta-model for restructuring stakeholder requirements
ICSE '97 Proceedings of the 19th international conference on Software engineering
ICSE '97 Proceedings of the 19th international conference on Software engineering
GRAIL/KAOS: an environment for goal-driven requirements engineering
ICSE '97 Proceedings of the 19th international conference on Software engineering
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Classification of research efforts in requirements engineering
ACM Computing Surveys (CSUR)
Component Based Design of Multitolerant Systems
IEEE Transactions on Software Engineering
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
From object-oriented to goal-oriented requirements analysis
Communications of the ACM
The Feature and Service Interaction Problem in Telecommunications Systems: A Survey
IEEE Transactions on Software Engineering
Supporting Scenario-Based Requirements Engineering
IEEE Transactions on Software Engineering
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Integrating obstacles in goal-driven requirements engineering
Proceedings of the 20th international conference on Software engineering
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Fundamentals of fault-tolerant distributed computing in asynchronous environments
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Symbolic Model Checking
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Specifying Message Passing and Time-Critical Systems with Temporal Logic
The Science of Programming
Real-Time Systems: Specification, Verification, and Analysis
Real-Time Systems: Specification, Verification, and Analysis
An Introduction to Formal Specification and Z
An Introduction to Formal Specification and Z
Requirements Engineering: A Good Practice Guide
Requirements Engineering: A Good Practice Guide
Fault Tolerance: Principles and Practice
Fault Tolerance: Principles and Practice
Requirements and Specification Exemplars
Automated 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
STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Explanation-based Scenario Generation for Reactive System Models
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Analogical Reuse of Requirements Frameworks
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Integrated Safety Analysis of Requirements Specifications
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
To Be and Not to Be: On Managing Inconsistency in Software Development
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
A comedy of errors: the London Ambulance Service case study
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Reconciling System Requirements and Runtime Behavior
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
The Safety Requirements Engineering Dilemma
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Goal-directed concept acquisition in requirements elicitation
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
A knowledge-based COTS-aware requirements engineering approach
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Agent-based tactics for goal-oriented requirements elaboration
Proceedings of the 24th International Conference on Software Engineering
Requirements, domain and specifications: a viewpoint-based approach to requirements engineering
Proceedings of the 24th International Conference on Software Engineering
Deriving operational software specifications from system goals
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Deriving operational software specifications from system goals
ACM SIGSOFT Software Engineering Notes
Advances in exception handling techniques
Building Formal Requirements Models for Reliable Software
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
An approach to engineer and enforce context constraints in an RBAC environment
Proceedings of the eighth ACM symposium on Access control models and technologies
Proceedings of the 25th International Conference on Software Engineering
Requirements interaction management
ACM Computing Surveys (CSUR)
Knowledge Base Approach to Consistency Management of UML Specifications
Proceedings of the 16th IEEE international conference on Automated software engineering
Deriving security requirements from crosscutting threat descriptions
Proceedings of the 3rd international conference on Aspect-oriented software development
Elaborating Security Requirements by Construction of Intentional Anti-Models
Proceedings of the 26th International Conference on Software Engineering
An integrated approach to engineer and enforce context constraints in RBAC environments
ACM Transactions on Information and System Security (TISSEC)
Reasoning about partial goal satisfaction for requirements and design engineering
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Scenario-Based Assessment of Nonfunctional Requirements
IEEE Transactions on Software Engineering
Reasoning about confidentiality at requirements engineering time
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Proceedings of the 28th international conference on Software engineering
Goal-oriented specification of adaptation requirements engineering in adaptive systems
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Comparing requirements analysis methods for developing reusable component libraries
Journal of Systems and Software
Integrating visual goal models into the Rational Unified Process
Journal of Visual Languages and Computing
Requirements change: Fears dictate the must haves; desires the won't haves
Journal of Systems and Software
Security risk mitigation for information systems
BT Technology Journal
Behaviour Model Synthesis from Properties and Scenarios
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Computer-aided Support for Secure Tropos
Automated Software Engineering
An automated approach to monitoring and diagnosing requirements
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Secure information systems engineering: a manifesto
International Journal of Electronic Security and Digital Forensics
Towards goal-oriented development of self-adaptive systems
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Correct analysis for embedded system modeling: an outcome of east-west scientific cooperation
Proceedings of the 2008 international workshop on Software Engineering in east and south europe
Introducing privacy in a hospital information system
Proceedings of the fourth international workshop on Software engineering for secure systems
Journal of Systems and Software
Deriving event-based transition systems from goal-oriented requirements models
Automated Software Engineering
Formal derivation of security design specifications from security requirements
Proceedings of the 4th annual workshop on Cyber security and information intelligence research: developing strategies to meet the cyber security and information intelligence challenges ahead
Dynamic Requirements Specification for Adaptable and Open Service-Oriented Systems
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Towards Engineering Purposeful Systems: A Requirements Engineering Perspective
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
Requirements engineering: from craft to discipline
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Analyzing Business Continuity through a Multi-layers Model
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Model-Driven Prototyping Based Requirements Elicitation
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Monitoring and diagnosing software requirements
Automated Software Engineering
DREP: A Requirements Engineering Process for Dependable Reactive Systems
Methods, Models and Tools for Fault Tolerance
Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process
Methods, Models and Tools for Fault Tolerance
Analyzing critical process models through behavior model synthesis
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
A Method for Extracting Unexpected Scenarios of Embedded Systems
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
A Conceptual Model for Analysis Method of Extracting Unexpected Obstacles of Embedded Systems
Proceedings of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering
Exception Handling in Goal-Oriented Multi-Agent Systems
Engineering Societies in the Agents World IX
Reasoning About Alternative Requirements Options
Conceptual Modeling: Foundations and Applications
Supporting Requirements Elicitation through Goal/Scenario Coupling
Conceptual Modeling: Foundations and Applications
A conceptual model for privacy policies
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Astrolabe: a collaborative multiperspective goal-oriented risk analysis methodology
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special section: Best papers from the 2007 biometrics: Theory, applications, and systems (BTAS 07) conference
Designing Law-Compliant Software Requirements
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Early Verification and Validation of Mission Critical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Process-oriented complete requirement engineering cycle for generic projects
Proceedings of the International Conference and Workshop on Emerging Trends in Technology
Allocating goals to agent roles during MAS requirements engineering
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
Using antimodels to define agents' strategy
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
A suggestion for analysis of unexpected obstacles in embedded system
Proceedings of the 2007 conference on Human interface: Part I
Goal-aligned requirements generation
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
A Meta-Model for Modelling Law-Compliant Requirements
RELAW '09 Proceedings of the 2009 Second International Workshop on Requirements Engineering and Law
A meta-model for usable secure requirements engineering
Proceedings of the 2010 ICSE Workshop on Software Engineering for Secure Systems
Proceedings of the Sixth Annual Workshop on Cyber Security and Information Intelligence Research
Synthesis of live behaviour models
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
O-MaSE: a customisable approach to designing and building complex, adaptive multi-agent systems
International Journal of Agent-Oriented Software Engineering
Reasoning with optional and preferred requirements
ER'10 Proceedings of the 29th international conference on Conceptual modeling
HCSE'10 Proceedings of the Third international conference on Human-centred software engineering
Using special use cases for security in the software development life cycle
WISA'10 Proceedings of the 11th international conference on Information security applications
Synthesizing a specification-based monitor for safety requirements
Iranian Journal of Science and Technology, Transaction B: Engineering
Requirements trade-offs analysis in the absence of quantitative measures: a heuristic method
Proceedings of the 2011 ACM Symposium on Applied Computing
Cloud adoption: a goal-oriented requirements engineering approach
Proceedings of the 2nd International Workshop on Software Engineering for Cloud Computing
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
A framework to support alignment of secure software engineering with legal regulations
Software and Systems Modeling (SoSyM)
Appraisal and reporting of security assurance at operational systems level
Journal of Systems and Software
Modelling risk and identifying countermeasure in organizations
CRITIS'06 Proceedings of the First international conference on Critical Information Infrastructures Security
Use case and actor driven requirements engineering: an evaluation of modifications to prometheus
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Weak Alphabet Merging of Partial Behavior Models
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards a requirements-driven framework for detecting malicious behavior against software systems
Proceedings of the 2011 Conference of the Center for Advanced Studies on Collaborative Research
Towards a systematic conflict resolution policy in multi-agent system: a conceptual framework
CSCWD'05 Proceedings of the 9th international conference on Computer Supported Cooperative Work in Design II
Objective accessibility assessment of public infrastructures
ICCHP'06 Proceedings of the 10th international conference on Computers Helping People with Special Needs
Inconsistency-based strategy for clarifying vague software requirements
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Domain requirements elicitation and analysis - an ontology-based approach
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Towards a comprehensive framework for secure systems development
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Security and trust requirements engineering
Foundations of Security Analysis and Design III
Barry is not the weakest link: eliciting secure system requirements with personas
BCS '10 Proceedings of the 24th BCS Interaction Specialist Group Conference
The epistemology of validation and verification testing
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Comparing alternatives for analyzing requirements trade-offs - In the absence of numerical data
Information and Software Technology
From conceptual modeling to requirements engineering
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Relating business process models to goal-oriented requirements models in KAOS
PKAW'06 Proceedings of the 9th Pacific Rim Knowledge Acquisition international conference on Advances in Knowledge Acquisition and Management
Goal-Oriented design of domain control panels
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
A formal security requirements model for a grid-based operating system
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
Generating obstacle conditions for requirements completeness
Proceedings of the 34th International Conference on Software Engineering
Synthesis of event-based controllers: a software engineering challenge
Proceedings of the 34th International Conference on Software Engineering
Relaxing claims: coping with uncertainty while evaluating assumptions at run time
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Automatically RELAXing a goal model to cope with uncertainty
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Synthesizing nonanomalous event-based controllers for liveness goals
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards Tool-Support for Usable Secure Requirements Engineering with CAIRIS
International Journal of Secure Software Engineering
Secure by Design: Developing Secure Software Systems from the Ground Up
International Journal of Secure Software Engineering
Eliciting Policy Requirements for Critical National Infrastructure Using the IRIS Framework
International Journal of Secure Software Engineering
Model Based Process to Support Security and Privacy Requirements Engineering
International Journal of Secure Software Engineering
Comparing risk identification techniques for safety and security requirements
Journal of Systems and Software
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 proposal for consolidated intentional modeling language
Proceedings of the Second Workshop on Graphical Modeling Language Development
Runtime verification of service-oriented systems: a well-rounded survey
International Journal of Web and Grid Services
A framework to support selection of cloud providers based on security and privacy requirements
Journal of Systems and Software
Countermeasure graphs for software security risk assessment: An action research
Journal of Systems and Software
Modeling personalized adaptive systems
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
A framework to evaluate complexity and completeness of KAOS goal models
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Optimal selection of operationalizations for non-functional requirements
APCCM '13 Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Hi-index | 0.00 |
Requirements engineering is concerned with the elicitation of high-level goals to be achieved by the envisioned system, the refinement of such goals and their operationalization into specifications of services and constraints and the assignment of responsibilities for the resulting requirements to agents such as humans, devices, and software. Requirements engineering processes often result in goals, requirements, and assumptions about agent behavior that are too ideal; some of them are likely not to be satisfied from time to time in the running system due to unexpected agent behavior. The lack of anticipation of exceptional behaviors results in unrealistic, unachievable, and/or incomplete requirements. As a consequence, the software developed from those requirements will not be robust enough and will inevitably result in poor performance or failures, sometimes with critical consequences on the environment. This paper presents formal techniques for reasoning about obstacles to the satisfaction of goals, requirements, and assumptions elaborated in the requirements engineering process. A first set of techniques allows obstacles to be generated systematically from goal formulations and domain properties. A second set of techniques allows resolutions to be generated once the obstacles have been identified thereby. Our techniques are based on a temporal logic formalization of goals and domain properties; they are integrated into an existing method for goal-oriented requirements elaboration with the aim of deriving more realistic, complete, and robust requirements specifications. A key principle in this paper is to handle exceptions at requirements engineering time and at the goal level, so that more freedom is left for resolving them in a satisfactory way. The various techniques proposed are illustrated and assessed in the context of a real safety-critical system.