Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
GPS, a program that simulates human thought
Computers & thought
Artificial Intelligence
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Semantic Models for Knowledge Management
WISE '01 Proceedings of the Second International Conference on Web Information Systems Engineering (WISE'01) Volume 1 - Volume 1
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Reasoning about partial goal satisfaction for requirements and design engineering
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Towards requirements-driven autonomic systems design
DEAS '05 Proceedings of the 2005 workshop on Design and evolution of autonomic application software
Formal goal generation for intelligent control systems
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
Requirements-driven design of autonomic application software
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
An automated approach to monitoring and diagnosing requirements
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Pragmatics of storyboarding for web information systems: usage analysis
International Journal of Web and Grid Services
Configuring features with stakeholder goals
Proceedings of the 2008 ACM symposium on Applied computing
Context analysis: toward pragmatics of web information systems design
APCCM '08 Proceedings of the fifth Asia-Pacific conference on Conceptual Modelling - Volume 79
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
Modeling and Analyzing Variability for Mobile Information Systems
ICCSA '08 Proceedings of the international conference on Computational Science and Its Applications, Part II
Location-Based Software Modeling and Analysis: Tropos-Based Approach
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Monitoring and diagnosing software requirements
Automated Software Engineering
Attributed Goal-Oriented Analysis Method for Selecting Alternatives of Software Requirements
IEICE - Transactions on Information and Systems
i*-prefer: optimizing requirements elicitation process based on actor preferences
Proceedings of the 2009 ACM symposium on Applied Computing
Semantic Interoperability between Functional Ontologies
Proceedings of the 2007 conference on Databases and Information Systems IV: Selected Papers from the Seventh International Baltic Conference DB&IS'2006
On Non-Functional Requirements in Software Engineering
Conceptual Modeling: Foundations and Applications
Supporting Requirements Elicitation through Goal/Scenario Coupling
Conceptual Modeling: Foundations and Applications
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
Monitoring and Diagnosing Malicious Attacks with Autonomic Software
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Modeling Domain Variability in Requirements Engineering with Contexts
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Goal-oriented requirements analysis and reasoning in the Tropos methodology
Engineering Applications of Artificial Intelligence
Integrating security and systems engineering: towards the modelling of secure information systems
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Organizational patterns for early requirements analysis
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Transparency versus security: early analysis of antagonistic requirements
Proceedings of the 2010 ACM Symposium on Applied Computing
From goals to high-variability software design
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Refining goal models by evaluating system behaviour
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
Finding solutions in goal models: an interactive backward reasoning approach
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Designing IT systems according to environmental settings: A strategic analysis framework
The Journal of Strategic Information Systems
Towards an interpretation framework for assessing interface uniformity in REST
Proceedings of the Second International Workshop on RESTful Design
Goal-driven software product line engineering
Proceedings of the 2011 ACM Symposium on Applied Computing
Analysing requirements in a case study of pairing
Proceedings of the 1st Workshop on Agile Requirements Engineering
Making explicit some impliciti* language decisions
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Composite indicators for business intelligence
ER'11 Proceedings of the 30th international conference on Conceptual modeling
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
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Minimal disclosure in hierarchical hippocratic databases with delegation
ESORICS'05 Proceedings of the 10th European conference on Research in Computer Security
A social-driven design of e-business system
Software Engineering for Multi-Agent Systems III
Requirements-Driven root cause analysis using markov logic networks
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Journal of Systems and Software
Reasoning with contextual requirements: Detecting inconsistency and conflicts
Information and Software Technology
A NFR-based framework for user-centered adaptation
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
A goal-oriented simulation approach for obtaining good private cloud-based system architectures
Journal of Systems and Software
A framework to support selection of cloud providers based on security and privacy requirements
Journal of Systems and Software
A goal driven framework for software project data analytics
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
A privacy framework for the personal web
The Personal Web
Requirements-driven deployment
Software and Systems Modeling (SoSyM)
Uncertainty handling in goal-driven self-optimization - Limiting the negative effect on adaptation
Journal of Systems and Software
Hi-index | 0.00 |
Over the past decade, goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. Such models extend traditional AI planning techniques for representing goals by allowing for partially defined and possibly inconsistent goals. This paper presents a formal framework for reasoning with such goal models. In particular, the paper proposes a qualitative and a numerical axiomatization for goal modeling primitives and introduces label propagation algorithms that are shown to be sound and complete with respect to their respective axiomatizations. In addition, the paper reports on preliminary experimental results on the propagation algorithms applied to a goal model for a US car manufacturer.