Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Intention is choice with commitment
Artificial Intelligence
Cyc: toward programs with common sense
Communications of the ACM
A mathematical treatment of defeasible reasoning and its implementation
Artificial Intelligence
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
A Model for Software Product Quality
IEEE Transactions on Software Engineering
The capability maturity model: guidelines for improving the software process
The capability maturity model: guidelines for improving the software process
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
The quality approach: is it delivering?
Communications of the ACM
Classification of research efforts in requirements engineering
ACM Computing Surveys (CSUR)
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
Program development by stepwise refinement
Communications of the ACM
ACM Computing Surveys (CSUR)
A logic-based theory of deductive arguments
Artificial Intelligence
Towards a standard upper ontology
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Requirements Engineering: Processes and Techniques
Requirements Engineering: Processes and Techniques
Guide to the Software Engineering Body of Knowledge - SWEBOK
Guide to the Software Engineering Body of Knowledge - SWEBOK
E-Commerce User Experience
Software Quality: The Elusive Target
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
Towards requirements-driven information systems engineering: the Tropos project
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Quantitative evaluation of software quality
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Goal-Based Requirements Analysis
ICRE '96 Proceedings of the 2nd International Conference on Requirements Engineering (ICRE '96)
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Mood and modality: out of theory and into the fray
Natural Language Engineering
A goal-driven and agent-based requirements engineering framework
Requirements Engineering
Reasoning about partial goal satisfaction for requirements and design engineering
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Tractatus Logico Philosophicus (Routledge Classics) (Routledge Classics)
Tractatus Logico Philosophicus (Routledge Classics) (Routledge Classics)
Where do Goals Come from: the Underlying Principles of Goal-Oriented Requirements Engineering
RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
Semantic Management of Middleware (Semantic Web and Beyond: Computing for Human Experience)
Semantic Management of Middleware (Semantic Web and Beyond: Computing for Human Experience)
Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Chapter I: Notes on structured programming
Structured programming
DOLCE ergo SUMO: On foundational and domain models in the SmartWeb Integrated Ontology (SWIntO)
Web Semantics: Science, Services and Agents on the World Wide Web
Structured Analysis for Requirements Definition
IEEE Transactions on Software Engineering
Revisiting the Core Ontology and Problem in Requirements Engineering
RE '08 Proceedings of the 2008 16th IEEE International Requirements Engineering Conference
Semantic foundations of medical information systems based on top-level ontologies
Knowledge-Based Systems
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Achieving, satisficing, and excelling
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
A more expressive softgoal conceptualization for quality requirements analysis
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Requirements engineering for services: an ontological framework
Proceedings of the 2011 ACM Symposium on Applied Computing
On the evolution of quality conceptualization techniques
The evolution of conceptual modeling
Advocacy for external quality in GIS
GeoS'11 Proceedings of the 4th international conference on GeoSpatial semantics
Domain model-driven software engineering: A method for discovery of dependency links
Information and Software Technology
Analysing monitoring and switching problems for adaptive systems
Journal of Systems and Software
ONSET: automated foundational ontology selection and explanation
EKAW'12 Proceedings of the 18th international conference on Knowledge Engineering and Knowledge Management
Toward semantic interoperability with linked foundationalontologies in ROMULUS
Proceedings of the seventh international conference on Knowledge capture
Hi-index | 0.00 |
In their seminal paper (ACM T. Softw. Eng. Methodol., 6(1) (1997), 1-30), Zave and Jackson established a core ontology for Requirements Engineering (RE) and used it to formulate the “requirements problem”, thereby defining what it means to successfully complete RE. Starting from the premise that the stakeholders of the system-to-be communicate to the software engineer the information needed to perform RE, Zave and Jackson's ontology is shown to be incomplete, in that it does not cover all classes of basic concerns - namely, the beliefs, desires, intentions, and evaluations - that the stakeholders communicate. In response, we provide a new core ontology for requirements that covers these classes of basic stakeholder concerns. The proposed new core ontology leads to a new formulation of the requirements problem. We thereby establish a new framework for the information that needs to be elicited over the course of RE and new criteria for determining whether an RE problem has been successfully addressed.