A requirements modeling language and its logic
Information Systems
Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Integrating multiple specifications using domain goals
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Software engineering with abstractions
Software engineering with abstractions
The Requirements Apprentice: Automated Assistance for Requirements Acquisition
IEEE Transactions on Software Engineering
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Exploiting reusable specifications through analogy
Communications of the ACM
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
Representing and using nonfunctional requirements: a process-oriented approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Object-oriented modeling and design
Object-oriented modeling and design
An introduction to formal specification and Z
An introduction to formal specification and Z
Communications of the ACM - Special issue on analysis and modeling in software development
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
ACM Transactions on Software Engineering and Methodology (TOSEM)
Inquiry-Based Requirements Analysis
IEEE Software
Formal Approach to Scenario Analysis
IEEE Software
Requirements engineering: social and technical issues
Requirements engineering: social and technical issues
Fundamentals of computer security technology
Fundamentals of computer security technology
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Resolving requirements conflicts with computer-supported negotiation
Requirements engineering
Safeware: system safety and computers
Safeware: system safety and computers
Correct Architecture Refinement
IEEE Transactions on Software Engineering - Special issue on software architecture
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
On the characterization of law and computer systems: the normative systems perspective
Deontic logic in computer science
Functional documents for computer systems
Science of Computer Programming
Software requirements negotiation and renegotiation aids
Proceedings of the 17th international conference on Software engineering
Using schematic scenarios to understand user needs
Proceedings of the 1st conference on Designing interactive systems: processes, practices, methods, & techniques
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
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)
A Component- and Message-Based Architectural Style for GUI Software
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)
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Where Do Operations Come From? A Multiparadigm Specification Technique
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
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
Understanding “why” in software process modelling, analysis, and design
ICSE '94 Proceedings of the 16th 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)
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
IEEE Transactions on Software Engineering
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
From object-oriented to goal-oriented requirements analysis
Communications of the ACM
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Information modeling in the time of the revolution
Information Systems - Special issue: selected papers from the 9th International Conference on advanced information systems engineering (CA ISE '97)
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
Specification-based prototyping for embedded systems
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
Model checking
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Symbolic Model Checking
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Software Engineering Economics
Software Engineering Economics
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Readings in Knowledge Representation
Readings in Knowledge Representation
System Development Methodol-OP
System Development Methodol-OP
Requirements and Specification Exemplars
Automated Software Engineering
The Core Method for Real-Time Requirements
IEEE Software
Scenarios in System Development: Current Practice
IEEE Software
An Event-Based Architecture Definition Language
IEEE Transactions on Software Engineering
Model Checking Large Software Specifications
IEEE Transactions on Software Engineering
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
A Pluralistic Knowledge-Based Approach to Software Specification
ESEC '89 Proceedings of the 2nd European Software Engineering Conference
O-O Requirements Analysis: an Agent Perspective
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Checking the Correctness of Architectural Transformation Steps via Proof-Carrying Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Utilizing Scenarios in the Software Development Process
Proceedings of the IFIP WG8.1 Working Conference on Information System Development Process
SCR*: A Toolset for Specifying and Analyzing Software Requirements
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Acme: an architecture description interchange language
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
Information systems: Modelling, sequencing and transformations
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Software requirements: Are they really a problem?
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Capturing more world knowledge in the requirements specification
ICSE '82 Proceedings of the 6th international conference on Software engineering
Contribution structures [Requirements artifacts]
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
A Technique Combination Approach to Requirements Engineering
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Analogical Reuse of Requirements Frameworks
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-directed concept acquisition in requirements elicitation
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Object-Oriented Software Engineering: A Use Case Driven Approach
Object-Oriented Software Engineering: A Use Case Driven Approach
Operational specification as the basis for rapid prototyping
Proceedings of the workshop on Rapid prototyping
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
Structured Analysis and System Specification
Structured Analysis and System Specification
From software requirements to architectures
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
From software requirements to architectures (STRAW01)
ACM SIGSOFT Software Engineering Notes
Modeling of software concerns in Cosmos
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Agent-based tactics for goal-oriented requirements elaboration
Proceedings of the 24th International Conference on Software 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
Enterprise Modeling and Decision-Support for Automating the Business Rules Lifecycle
Automated Software Engineering
Deriving operational software specifications from system goals
ACM SIGSOFT Software Engineering Notes
Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Scenario-Based Generation and Evaluation of Software Architectures
GCSE '01 Proceedings of the Third International Conference on Generative and Component-Based Software Engineering
The Role of Emotion, Values, and Beliefs in the Construction of Innovative Work Realities
Soft-Ware 2002 Proceedings of the First International Conference on Computing in an Imperfect World
Designing Web-Based Systems in Social Context: A Goal and Scenario Based Approach
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Building Formal Requirements Models for Reliable Software
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Goal-Oriented Requirements Specification for Digital Libraries
ECDL '02 Proceedings of the 6th European Conference on Research and Advanced Technology for Digital Libraries
Requirements Evolution from Process to Product Oriented Management
PROFES '01 Proceedings of the Third International Conference on Product Focused Software Process Improvement
Modelling Strategic Actor Relationships to Support Intellectual Property Management
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Agent-Oriented Modelling: Software versus the World
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Modeling Early Requirements in Tropos: A Transformation Based Approach
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Proceedings of the 25th International Conference on Software Engineering
The Complexity of TRMCS-like Spiral Specification
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Quality-driven software architecture composition
Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
An Analysis-Revision Cycle to Evolve Requirements Specifications
Proceedings of the 16th IEEE international conference on Automated software engineering
Eliciting coordination policies from requirements
Proceedings of the 2003 ACM symposium on Applied computing
Introducing non-functional requirements in UML
UML and the unified process
Modeling organizational goals: analysis of current methods
Proceedings of the 2004 ACM symposium on Applied computing
Agent orientation in software engineering
The Knowledge Engineering Review
Designing information systems in social context: a goal and scenario modelling approach
Information Systems - Special issue: The 14th international conference on advanced information systems engineering (CAiSE*02)
A study to investigate the impact of requirements instability on software defects
ACM SIGSOFT Software Engineering Notes
Elaborating Security Requirements by Construction of Intentional Anti-Models
Proceedings of the 26th International Conference on Software Engineering
Finding Reusable UML Sequence Diagrams Automatically
IEEE Software
Situated Modelling of Scenarios
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Monitoring and control in scenario-based requirements analysis
Proceedings of the 27th international conference on Software engineering
Specifying process and measuring progress in terms of information state
Journal of Systems and Software
Exploiting architectural prescriptions for self-managing, self-adaptive systems: a position paper
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Fluent temporal logic for discrete-time event-based models
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT 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
On the Systematic Analysis of Natural Language Requirements with CIRCE
Automated Software Engineering
On relating functional specifications to architectural specifications: a case study
Science of Computer Programming
Inferring operational requirements from scenarios and goal models using inductive learning
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Finding and documenting the specialization interface of an application framework
Software—Practice & Experience
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component 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
Requirements-driven design of autonomic application software
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
Practical experience of eliciting classes from use case descriptions
Journal of Systems and Software
dg.o '07 Proceedings of the 8th annual international conference on Digital government research: bridging disciplines & domains
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Reconciling requirement-driven data warehouses with data sources via multidimensional normal forms
Data & Knowledge Engineering
How knowledge representation meets software engineering (and often databases)
Automated Software Engineering
e-Business cases assessment: from business value to system feasibility
International Journal of Web Engineering and Technology
Integrating B-SCP and MAP to manage the evolution of strategic IT requirements
Information and Software Technology
Implementable requirements in problem orientation
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Deriving event-based transition systems from goal-oriented requirements models
Automated Software Engineering
A survey of agent-oriented software engineering for service-oriented computing
International Journal of Web Engineering and Technology
Semantic parameterization: A process for modeling domain descriptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards an Ontological Account of Agent-Oriented Goals
Software Engineering for Multi-Agent Systems V
Adaptive Agent Model: Software Adaptivity using an Agent-oriented Model-Driven Architecture
Information and Software Technology
Fine-Grained Continuous Usage Control of Service Based Grids --- The GridTrust Approach
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
Mapping semantically enriched Formal Tropos to business process models
Proceedings of the 2009 ACM symposium on Applied Computing
C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
The How? When? and What? for the Process of Re-planning for Product Releases
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
Reasoning About Alternative Requirements Options
Conceptual Modeling: Foundations and Applications
Conceptual Modeling: Foundations and Applications
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering 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
Early Verification and Validation of Mission Critical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Goal-oriented requirements analysis and reasoning in the Tropos methodology
Engineering Applications of Artificial Intelligence
Requirements engineering for organizational transformation
Information and Software Technology
A goal-oriented requirements modelling language for enterprise architecture
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
Towards a methodology for coordination mechanism selection in open systems
ESAW'02 Proceedings of the 3rd international conference on Engineering societies in the agents world III
Goal-oriented requirements engineering: a case study in E-government
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Towards normal design for safety-critical systems
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Coloured Petri nets in development of a pervasive health care system
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
URN: towards a new standard for the visual description of requirements
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
An empirical study of requirements model understanding: Use Case vs. Tropos models
Proceedings of the 2010 ACM Symposium on Applied Computing
Exploiting assumption-based verification for the adaptation of service-based applications
Proceedings of the 2010 ACM Symposium on Applied Computing
Requirements-driven design and configuration management of business processes
BPM'07 Proceedings of the 5th international conference on Business process management
Requirements Engineering Visualization: A Survey on the State-of-the-Art
REV '09 Proceedings of the 2009 Fourth International Workshop on Requirements Engineering Visualization
The brave new world of design requirements: four key principles
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Application of re-estimation in re-planning of software product releases
ICSP'10 Proceedings of the 2010 international conference on New modeling concepts for today's software processes: software process
Towards interoperability of i* models using iStarML
Computer Standards & Interfaces
A human-centric perspective on ubiquitous knowledge discovery
Ubiquitous knowledge discovery
Analyzing value co-creation in service systems: contribution from GORE
Proceedings of the 2011 ACM Symposium on Applied Computing
IMPULSE: a design framework for multi-agent systems based on model transformation
Proceedings of the 2011 ACM Symposium on Applied Computing
A human-centric perspective on ubiquitous knowledge discovery
Ubiquitous knowledge discovery
The brave new world of design requirements
Information Systems
Utility-based self-adaption with environment specific quality models
ICAIS'11 Proceedings of the Second international conference on Adaptive and intelligent systems
Requirements engineering processes improvement: a systematic view
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Interaction transformation patterns based on semantic roles
NLDB'05 Proceedings of the 10th international conference on Natural Language Processing and Information Systems
An ontological approach for eliciting and understanding needs in e-services
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Assessing project effort in requirements engineering: a report on design research in progress
DESRIST'10 Proceedings of the 5th international conference on Global Perspectives on Design Science Research
Tracing integration analysis in component-based formal specifications
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
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
An instrument for measuring the maturity of requirements engineering process
PROFES'05 Proceedings of the 6th international conference on Product Focused Software Process Improvement
Traceability and evaluation in scenario analysis by use case maps
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Conceptual modeling based on transformation linguistic patterns
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Analysis and verification of time requirements applied to the web services composition
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Systematic integration between requirements and architecture
Software Engineering for Multi-Agent Systems III
Requirements elicitation for agent-based applications
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
ICSE'05 Proceedings of the 2005 international conference on Software Engineering Education in the Modern Age
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
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
Safety process improvement with POSE and alloy
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Information systems for marine protected areas: How do users interpret desirable data attributes?
Environmental Modelling & Software
Autonomy requirements engineering: a case study on the BepiColombo mission
Proceedings of the International C* Conference on Computer Science and Software Engineering
Investigating Goal-Oriented Requirements Engineering for Business Processes
Journal of Database Management
KBRE: a framework for knowledge-based requirements engineering
Software Quality Control
Hi-index | 0.00 |
Requirements engineering (RE) is concerned with the identification of the goals to be achieved by the envisioned system, the operationalization of such goals into services and constraints, and the assignment of responsibilities for the resulting requirements to agents such as humans, devices, and software. The processes involved in RE include domain analysis, elicitation, specification, assessment, negotiation, documentation, and evolution. Getting high-quality requirements is difficult and critical. Recent surveys have confirmed the growing recognition of RE as an area of utmost importance in software engineering research and practice.The paper presents a brief history of the main concepts and techniques developed to date to support the RE task, with a special focus on modeling as a common denominator to all RE processes. The initial description of a complex safety-critical system is used to illustrate a number of current research trends in RE-specific areas such as goal-oriented requirements elaboration, conflict management, and the handling of abnormal agent behaviors. Opportunities for goal-based architecture derivation are also discussed together with research directions to let the field move towards more disciplined habits.