Enhanced Maintenance and Explanation of Expert Systems Through Explicit Models of Their Development
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Artificial Intelligence
Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
An exploratory contingency model of user participation and MIS use
Information and Management
A comparative analysis of methodologies for database schema integration
ACM Computing Surveys (CSUR)
Software processes are software too
ICSE '87 Proceedings of the 9th international conference on Software Engineering
PARIS: a system for reusing partially interpreted schemas
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Tolerant planning and negotiation in generating coordinated movement plans in an automated factory
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Information systems failures—a survey and classification of the empirical literature
Oxford Surveys in Information Technology
Recording the reasons for design decisions
ICSE '88 Proceedings of the 10th international conference on Software engineering
Constructing Specifications by Combining Parallel Elaborations
IEEE Transactions on Software Engineering
Principles of software engineering management
Principles of software engineering management
Multistage negotiation in distributed planning
Distributed Artificial Intelligence
Integrating noninterfering versions of programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
CASE productivity perceptions of software engineering professionals
Communications of the ACM - Special issue: multiprocessing
Theory-W Software Project Management Principles and Examples
IEEE Transactions on Software Engineering
Rethinking the concept of user involvement
MIS Quarterly
Group process and conflict in system development
Management Science
Work structures and shifts: an empirical analysis of software specification teamwork
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
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
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Distributed artificial intelligence: vol. 2
Distributed artificial intelligence: vol. 2
Design and validation of computer protocols
Design and validation of computer protocols
Programming from specifications
Programming from specifications
Negotiation behavior during requirements specification
ICSE '90 Proceedings of the 12th international conference on Software engineering
The Requirements Apprentice: Automated Assistance for Requirements Acquisition
IEEE Transactions on Software Engineering
Software requirements: objects, functions, and states
Software requirements: objects, functions, and states
Teamwork Support in a Knowledge-Based Information Systems Environment
IEEE Transactions on Software Engineering
Problem restructuring in negotiation
Management Science
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
Supporting Systems Development by Capturing Deliberations During Requirements Engineering
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
A program integration algorithm that accommodates semantics-preserving transformations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Methodology EngineeringR: a proposal for situation-specific methodology construction
Challenges and strategies for research in systems development
Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Symbolic model checking: an approach to the state explosion problem
Symbolic model checking: an approach to the state explosion problem
Specifying multiple-viewed software requirements with conceptual graphs
Journal of Systems and Software
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
A theoretical perspective of negotiation support systems
Journal of Management Information Systems - Special issue: Collaboration technology, modeling, and end-user computing for the 1990s
ACM Transactions on Software Engineering and Methodology (TOSEM)
An actor dependency model of organizational work: with application to business process reengineering
COCS '93 Proceedings of the conference on Organizational computing systems
The interdisciplinary study of coordination
ACM Computing Surveys (CSUR)
Inquiry-Based Requirements Analysis
IEEE Software
The changing roles of the systems analyst
Information Resources Management Journal
Aslantest: a symbolic execution tool for testing Aslan formal specifications
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
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
The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software process modelling and technology
Software process modelling and technology
Safeware: system safety and computers
Safeware: system safety and computers
ConceptBase—a deductive object base for meta data management
Journal of Intelligent Information Systems - Special issue: deductive and object-oriented databases
CASE tools as collaborative support technologies
Communications of the ACM
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
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
Functional documents for computer systems
Science of Computer Programming
Computer related risks
Interconnecting formalisms: supporting modularity, reuse and incrementality
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Using schematic scenarios to understand user needs
Proceedings of the 1st conference on Designing interactive systems: processes, practices, methods, & techniques
An analytic framework for specifying and analyzing imprecise requirements
Proceedings of the 18th international conference on Software engineering
Computers in Industry - Special double issue: WET ICE '95
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 framework for formalizing inconsistencies and deviations in human-centered systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
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
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
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
An approach to conceptual feedback in multiple viewed software requirements modeling
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
A meta-model for restructuring stakeholder requirements
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
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Reduction and slicing of hierarchical state machines
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Supporting the negotiation life cycle
Communications of the ACM
Database design with common sense business reasoning and learning
ACM Transactions on Database Systems (TODS)
Automatic generation of state invariants from requirements specifications
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
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 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
Applying the SCR requirements method to a weapons control panel: an experience report
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Repository support for multi-perspective requirements engineering
Information Systems - Special issue on meta-modelling and methodology 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
Managing Requirements Inconsistency with Development Goal Monitors
IEEE Transactions on Software Engineering
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
Software Engineering Standards
Software Engineering Standards
Symbolic Model Checking
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Concurrent Engineering: Automation, Tools, and Techniques
Concurrent Engineering: Automation, Tools, and Techniques
Coordinating Plans of Autonomous Agents
Coordinating Plans of Autonomous Agents
Coordination of Distributed Problem Solvers
Coordination of Distributed Problem Solvers
Software Engineering Economics
Software Engineering Economics
Formal Methods for Real-Time Computing
Formal Methods for Real-Time Computing
Software Prototyping, Formal Methods, and VDM
Software Prototyping, Formal Methods, and VDM
Understanding Computers and Cognition: A New Foundation for Design
Understanding Computers and Cognition: A New Foundation for Design
Viewpoints: principles, problems and a practical approach to requirements engineering
Annals of Software Engineering
Reconciling requirements: a method for managing interference, inconsistency and conflict
Annals of Software Engineering
Representing Software Engineering Knowledge
Automated Software Engineering
Requirements and Specification Exemplars
Automated Software Engineering
CREWS-SAVRE: Scenarios for Acquiring and Validating Requirements
Automated Software Engineering
Behavioural Conflicts in a Causal Specification
Automated Software Engineering
Computer
CASE: Reliability Engineering for Information Systems
IEEE Software
Process Integration in CASE Environments
IEEE Software
Identifying Quality-Requirement Conflicts
IEEE Software
A Cost-Value Approach for Prioritizing Requirements
IEEE Software
View Integration: A Step Forward in Solving Structural Conflicts
IEEE Transactions on Knowledge and Data Engineering
Negoplan: An Expert System Shell for Negotiation Support
IEEE Expert: Intelligent Systems and Their Applications
Generating, integrating, and activating thesauri for concept-based document retrieval
IEEE Expert: Intelligent Systems and Their Applications
Distributed Intelligent Agents
IEEE Expert: Intelligent Systems and Their Applications
IEEE Intelligent Systems
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
State-Based Model Checking of Event-Driven System Requirements
IEEE Transactions on Software Engineering
Automatically Generating Test Data from a Boolean Specification
IEEE Transactions on Software Engineering
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
A Blackboard-Based Cooperative System for Schema Integration
IEEE Expert: Intelligent Systems and Their Applications
A Pluralistic Knowledge-Based Approach to Software Specification
ESEC '89 Proceedings of the 2nd European Software Engineering Conference
Surfacing Root Requirements Interactions from Inquiry Cycle Requirements Documents
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Validating Requirements for Fault Tolerant Systems using Model Checking
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
O-O Requirements Analysis: an Agent Perspective
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Static Analysis to Identify Invariants in RSML Specifications
FTRTFT '98 Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Specification and verification of concurrent systems in CESAR
Proceedings of the 5th Colloquium on International Symposium on Programming
An Executable Meta Model for Re-Engineering of Database Schemas
ER '94 Proceedings of the13th International Conference on the Entity-Relationship Approach
STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Powerful Techniques for the Automatic Generation of Invariants
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
Intelligent Clearinghouse: Electronic Marketplace with Computer-mediated Negotiation Supports
HICSS '96 Proceedings of the 29th Hawaii International Conference on System Sciences Volume 3: Collaboration Systems and Technology
On Artificial Agents for Negotiation in Electronic Commerce
HICSS '96 Proceedings of the 29th Hawaii International Conference on System Sciences Volume 4: Organizational Systems and Technology
CORE - a method for controlled requirement specification
ICSE '79 Proceedings of the 4th international conference on Software engineering
Monitoring Software Requirements Using Instrumented Code
HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9
Requirements monitoring in dynamic environments
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Contribution structures [Requirements artifacts]
RE '95 Proceedings of the Second IEEE International Symposium on Requirements 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
Using non-functional requirements to systematically support change
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
A Systematic Tradeoff Analysis for Conflicting Imprecise Requirements
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
Design and Development Assessment
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
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
Reconciling System Requirements and Runtime Behavior
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Electronic Brokering for Assisted Contracting of Software Applets
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Information Systems Track—Internet and the Digital Economy - Volume 4
Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley series in artificial intelligence)
Successful strategies for user participation in systems development
Journal of Management Information Systems - Special section: Strategic and competitive information systems
Seven basic principles of software engineering
Journal of Systems and Software
Elaborating Security Requirements by Construction of Intentional Anti-Models
Proceedings of the 26th International Conference on Software Engineering
Requirements interaction management in an eXtreme programming environment: a case study
Proceedings of the 27th international conference on Software engineering
Effects of changing requirements: a tracking mechanism for the analysis workflow
Proceedings of the 2006 ACM symposium on Applied computing
Policies and conflicts in call control
Computer Networks: The International Journal of Computer and Telecommunications Networking
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Bi-objective release planning for evolving software systems
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Requirements Analysis Tool: A Tool for Automatically Analyzing Software Requirements Documents
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Engineering of Software-Intensive Systems: State of the Art and Research Challenges
Software-Intensive Systems and New Computing Paradigms
Early Identification of Problem Interactions: A Tool-Supported Approach
REFSQ '09 Proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality
Approximation space-based socio-technical conflict model
RSKT'07 Proceedings of the 2nd international conference on Rough sets and knowledge technology
Proceedings of the FSE/SDP workshop on Future of software engineering research
Semantics of trace relations in requirements models for consistency checking and inferencing
Software and Systems Modeling (SoSyM)
The brave new world of design requirements
Information Systems
Uncertainty handling in tabular-based requirements using rough sets
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part II
An approach to test-driven development of conceptual schemas
Data & Knowledge Engineering
Analysis of techniques for documenting user requirements
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part IV
Agile requirements evolution via paraconsistent reasoning
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Empirical evaluation of search based requirements interaction management
Information and Software Technology
Survey and analysis on Security Requirements Engineering
Computers and Electrical Engineering
Applying ontology-based blog to detect information system post-development change requests conflicts
Information Systems Frontiers
A collaborative user-centered approach to fine-tune geospatial database design
ER'12 Proceedings of the 2012 international conference on Advances in Conceptual Modeling
Investigating dependencies in software requirements for change propagation analysis
Information and Software Technology
Hi-index | 0.00 |
Requirements interaction management (RIM) is the set of activities directed toward the discovery, management, and disposition of critical relationships among sets of requirements, which has become a critical area of requirements engineering. This survey looks at the evolution of supporting concepts and their related literature, presents an issues-based framework for reviewing processes and products, and applies the framework in a review of RIM state-of-the-art. Finally, it presents seven research projects that exemplify this emerging discipline.