Negotiation behavior during requirements specification
ICSE '90 Proceedings of the 12th international conference on Software engineering
Safeware: system safety and computers
Safeware: system safety and computers
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Experience with performing architecture tradeoff analysis
Proceedings of the 21st international conference on Software engineering
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Mastering the requirements process
Mastering the requirements process
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Applying WinWin to quality requirements: a case study
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Probability and statistics with reliability, queuing and computer science applications
Probability and statistics with reliability, queuing and computer science applications
Agent-based tactics for goal-oriented requirements elaboration
Proceedings of the 24th International Conference on Software Engineering
A Cost-Value Approach for Prioritizing Requirements
IEEE Software
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Branching vs. Linear Time: Final Showdown
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Modeling and Quantification of Security Attributes of Software Systems
DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
A Systematic Tradeoff Analysis for Conflicting Imprecise Requirements
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Reconciling System Requirements and Runtime Behavior
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
FAUST: Formal Analysis Using Specification Tools
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
Software architecture at a large financial firm
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
SHARK-ADI '07 Proceedings of the Second Workshop on SHAring and Reusing architectural Knowledge Architecture, Rationale, and Design Intent
Goal models as architectural knowledge
Proceedings of the 3rd international workshop on Sharing and reusing architectural knowledge
Deriving event-based transition systems from goal-oriented requirements models
Automated Software Engineering
Dynamic Requirements Specification for Adaptable and Open Service-Oriented Systems
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Transparent Complexity by Goals
EGOV '08 Proceedings of the 7th international conference on Electronic Government
Requirements engineering: from craft to discipline
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Early phase requirements assessment of a teletreatment trial
Proceedings of the 2009 ACM symposium on Applied Computing
Decision making in large-scale domains: a case study
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Reasoning About Alternative Requirements Options
Conceptual Modeling: Foundations and Applications
A core ontology for requirements
Applied Ontology
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Modeling organizational performance indicators
Information Systems
Allocating goals to agent roles during MAS requirements engineering
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
Achieving, satisficing, and excelling
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
From early to late requirements: a goal-based approach
AOIS'06 Proceedings of the 8th international Bi conference on Agent-oriented information systems IV
A roadmap towards sustainable self-aware service systems
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
On the role of the user in monitoring the environment in self-adaptive systems: a position paper
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Requirements reflection: requirements as runtime entities
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Applying the UFO ontology to design an agent-oriented engineering language
ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
Finding solutions in goal models: an interactive backward reasoning approach
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Reasoning with optional and preferred requirements
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Formal modelling of organisational goals based on performance indicators
Data & Knowledge Engineering
Requirements trade-offs analysis in the absence of quantitative measures: a heuristic method
Proceedings of the 2011 ACM Symposium on Applied Computing
Analyzing goal models: different approaches and how to choose among them
Proceedings of the 2011 ACM Symposium on Applied Computing
Awareness requirements for adaptive systems
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
A fuzzy service adaptation based on QoS satisfaction
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Utility-based self-adaption with environment specific quality models
ICAIS'11 Proceedings of the Second international conference on Adaptive and intelligent systems
Automatic derivation of utility functions for monitoring software requirements
Proceedings of the 14th international conference on Model driven engineering languages and systems
System identification for adaptive software systems: a requirements engineering perspective
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Objective accessibility assessment of public infrastructures
ICCHP'06 Proceedings of the 10th international conference on Computers Helping People with Special Needs
Designing security requirements models through planning
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Designing cooperative IS: exploring and evaluating alternatives
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Comparing alternatives for analyzing requirements trade-offs - In the absence of numerical data
Information and Software Technology
A more expressive softgoal conceptualization for quality requirements analysis
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Building business process description and reasoning meta-model Mbp in a-prolog
SPW/ProSim'06 Proceedings of the 2006 international conference on Software Process Simulation and Modeling
Towards requirements aware systems: Run-time resolution of design-time assumptions
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
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
Engineering and verifying requirements for programmable self-assembling nanomachines
Proceedings of the 34th International Conference on Software Engineering
Proceedings of the 16th International Software Product Line Conference - Volume 2
Journal of Systems and Software
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
Interactive Analysis of Agent-Goal Models in Enterprise Modeling
International Journal of Information System Modeling and Design
Supporting decision-making for self-adaptive systems: from goal models to dynamic decision networks
REFSQ'13 Proceedings of the 19th international conference on Requirements Engineering: Foundation for Software Quality
Dynamic decision networks for decision-making in self-adaptive systems: a case study
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Domain specific languages for the model driven organization
Proceedings of the First Workshop on the Globalization of Domain Specific Languages
Optimal selection of operationalizations for non-functional requirements
APCCM '13 Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143
Uncertainty handling in goal-driven self-optimization - Limiting the negative effect on adaptation
Journal of Systems and Software
Hi-index | 0.00 |
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goals about system safety, security, performance, usability, and so forth. Such goals in general cannot be satisfied in an absolute, clear-cut sense. Various qualitative and quantitative frameworks have been proposed to support the assessment of alternatives for design decision making. In general they lead to limited conclusions due to the lack of accuracy and measurability of goal formulations and the lack of impact propagation rules along goal contribution links. The paper presents techniques for specifying partial degrees of goal satisfaction and for quantifying the impact of alternative system designs on the degree of goal satisfaction. The approach consists in enriching goal refinement models with a probabilistic layer for reasoning about partial satisfaction. Within such models, non-functional goals are specified in a precise, probabilistic way; their specification is interpreted in terms of application-specific measures; impact of alternative goal refinements is evaluated in terms of refinement equations over random variables involved in the system's functional goals. A systematic method is presented for guiding the elaboration of such models. The latter can then be used to assess the impact of alternative decisions on the degree of goal satisfaction or to derive quantitative, fine-grained requirements on the software to achieve the higher-level goals.