Communicating sequential processes
Communicating sequential processes
A rational design process: How and why to fake it
IEEE Transactions on Software Engineering
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
A field study of the software design process for large systems
Communications of the ACM
Deriving specifications from requirements
ICSE '88 Proceedings of the 10th international conference on Software engineering
A simple approach to specifying concurrent systems
Communications of the ACM
Readings in object-oriented database systems
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
The Z notation: a reference manual
The Z notation: a reference manual
ACM Transactions on Programming Languages and Systems (TOPLAS)
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
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)
A logical approach to discrete math
A logical approach to discrete math
The ORDIT approach to organisational requirements
Requirements engineering
Requirements Specification for Process-Control Systems
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
Functional documents for computer systems
Science of Computer Programming
Deriving specifications from requirements: an example
Proceedings of the 17th international conference on Software engineering
Structuring Z specifications with views
ACM Transactions on Software Engineering and Methodology (TOSEM)
Domain modeling for software engineering
ICSE '91 Proceedings of the 13th international conference on Software engineering
On the inevitable intertwining of specification and implementation
Communications of the ACM
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering
IEEE Software
O-O Requirements Analysis: an Agent Perspective
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Information systems: Modelling, sequencing and transformations
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Consistency checking of SCR-style requirements specifications
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Eliciting software process models with the E3 language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Requirements Development in Scenario-Based Design
IEEE Transactions on Software Engineering
Toward safe reuse of product family specifications
SSR '99 Proceedings of the 1999 symposium on Software reusability
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
Requirements engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
ACM SIGSOFT Software Engineering Notes
Requirements-based monitors for real-time systems
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Automated deductive requirements analysis of critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Requirements-Based Monitors for Real-Time Systems
IEEE Transactions on Software Engineering
Agent-based tactics for goal-oriented requirements elaboration
Proceedings of the 24th International Conference on Software Engineering
Requirements, domain and specifications: a viewpoint-based approach to requirements 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
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Deriving operational software specifications from system goals
ACM SIGSOFT Software Engineering Notes
A Reference Model for Requirements and Specifications
IEEE Software
A Framework for Scenario Evolution
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Systems Engineering Foundations of Software Systems Integration
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Systematising Reactive System Design
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Domain Engineering: A Software Engineering Discipline in Need of Research
SOFSEM '00 Proceedings of the 27th Conference on Current Trends in Theory and Practice of Informatics
Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
A Method for Requirements Elicitation and Formal Specification
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
"What is a method?": an essay on some aspects of domain engineering
Programming methodology
Requirements interaction management
ACM Computing Surveys (CSUR)
The Declarative Problem Frame: Designing Systems that Create and Use Norms
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Methodological Support for Requirements Elicitation and Formal Specification
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Deriving security requirements from crosscutting threat descriptions
Proceedings of the 3rd international conference on Aspect-oriented software development
Address translation in telecommunication features
ACM Transactions on Software Engineering and Methodology (TOSEM)
A semantic and methodological essence of message sequence charts
Science of Computer Programming
Where do you go when you're through the turnstile?
Proceedings of the 27th international conference on Software engineering
Monitoring and control in scenario-based requirements analysis
Proceedings of the 27th international conference on Software engineering
Reasoning about inconsistencies in natural language requirements
ACM Transactions on Software Engineering and Methodology (TOSEM)
Eliciting confidentiality requirements in practice
CASCON '05 Proceedings of the 2005 conference of the Centre for Advanced Studies on Collaborative research
Telecommunications Systems - Modeling, analysis, design and management
Modular hierarchies of models for embedded systems
Formal methods and models for system design
Problem frames approach to web services requirements
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Towards automatic problem decomposition: an ontology-based approach
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Addressing problem frame concerns via coloured petri nets and graphical animation
Proceedings of the 2006 international workshop on Advances and applications of problem frames
From requirements to specifications: a formal approach
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Problem frame transformations: deriving specifications from requirements
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Journal of Systems and Software
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
Web Intelligence and Agent Systems
A Graphical Language for Specifying and Analyzing Real-Time Systems
Integrated Computer-Aided Engineering
Preservation of probabilistic information flow under refinement
Information and Computation
Component engineering for adaptive ad-hoc systems
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Implementable requirements in problem orientation
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Using the event calculus to reason about problem diagrams
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Classifying Assumptions Made during Requirements Verification of Embedded Systems
REFSQ '08 Proceedings of the 14th international conference on Requirements Engineering: Foundation for Software Quality
Business Process Modelling and Purpose Analysis for Requirements Analysis of Information Systems
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Multi-fidelity User Interface Specifications
Interactive Systems. Design, Specification, and Verification
Requirements and compliance in legal systems: a logic approach
RELAW '08 Proceedings of the 2008 Requirements Engineering and Law
Journal of Systems and Software
Management of requirements in ERP development: a comparison between proprietary and open source ERP
Proceedings of the 2009 ACM symposium on Applied Computing
Proceedings of the 4th International Conference on Design Science Research in Information Systems and Technology
Validating Documentation with Domain Ontologies
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
BPMN-Based Specification of Task Descriptions: Approach and Lessons Learnt
REFSQ '09 Proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality
Requirements elicitation and analysis of multiagent systems using activity theory
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
A core ontology for requirements
Applied Ontology
Finding robust solutions in requirements models
Automated Software Engineering
Designing Law-Compliant Software Requirements
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Editorial: A roadmap of problem frames research
Information and Software Technology
XML-based requirements engineering for an electronic clearinghouse
Information and Software Technology
Knowledge and Information Systems
Transforming use case models to class models and OCL-specifications
International Journal of Computers and Applications
Diagnosis and semi-automatic correction of detected design inconsistencies in source code
IWST '09 Proceedings of the International Workshop on Smalltalk Technologies
Relating requirements and feature configurations: a systematic approach
Proceedings of the 13th International Software Product Line Conference
Towards normal design for safety-critical systems
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Extending argumentation to goal-oriented requirements engineering
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
What's in a feature: a requirements engineering perspective
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
From "formal methods" to system modeling
Formal methods and hybrid real-time systems
Analyzing Email Archives to Better Understand Legal Requirements
RELAW '09 Proceedings of the 2009 Second International Workshop on Requirements Engineering and Law
Analysis of early aspects in requirements goal models: a concept-driven approach
Transactions on aspect-oriented software development III
A meta-model for usable secure requirements engineering
Proceedings of the 2010 ICSE Workshop on Software Engineering for Secure Systems
Ontological product modeling for collaborative design
Advanced Engineering Informatics
A property based specification formalism classification
Journal of Systems and Software
Application patterns for computer-based systems design reuse
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Multifunctional software systems: Structured modeling and specification of functional requirements
Science of Computer Programming
The disappearing boundary between development-time and run-time
Proceedings of the FSE/SDP workshop on Future of software engineering research
Requirements modeling for embedded realtime systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Employing use-cases for piecewise evaluation of requirements and claims
Proceedings of the 28th Annual European Conference on Cognitive Ergonomics
Information and Software Technology
Diagnosing and correcting design inconsistencies in source code with logical abduction
Science of Computer Programming
Requirements evolution drives software evolution
Proceedings of the 12th International Workshop on Principles of Software Evolution and the 7th annual ERCIM Workshop on Software Evolution
Requirements engineering for self-adaptive systems: core ontology and problem statement
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Dealing with known unknowns: towards a game-theoretic foundation for software requirement evolution
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Environment ontology-based capability specification for web service discovery
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Natural language processing: mature enough for requirements documents analysis?
NLDB'05 Proceedings of the 10th international conference on Natural Language Processing and Information Systems
Proof-based system engineering using a virtual system model
ISAS'05 Proceedings of the Second international conference on Service Availability
The epistemology of validation and verification testing
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
A formal framework for confidentiality-preserving refinement
ESORICS'06 Proceedings of the 11th European conference on Research in Computer Security
A more expressive softgoal conceptualization for quality requirements analysis
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
On constructing software environment ontology for time-continuous environment
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
Self-adaptive software needs quantitative verification at runtime
Communications of the ACM
On the evolution of component-based software
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
Integrating organisational design with IT design
DESRIST'12 Proceedings of the 7th international conference on Design Science Research in Information Systems: advances in theory and practice
REInDetector: a framework for knowledge-based requirements engineering
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Agile requirements evolution via paraconsistent reasoning
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Analysing monitoring and switching problems for adaptive systems
Journal of Systems and Software
Safety process improvement with POSE and alloy
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
The quest for runware: on compositional, executable and intuitive models
Software and Systems Modeling (SoSyM)
A systematic elaboration of safety requirements in the avionic domain
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
An ontological pivot model to interoperate heterogeneous user requirements
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Requirements, intentions, goals and applicable norms
ER'12 Proceedings of the 2012 international conference on Advances in Conceptual Modeling
Evolution, adaptation, and the quest for incrementality
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Synthesizing nonanomalous event-based controllers for liveness goals
ACM Transactions on Software Engineering and Methodology (TOSEM)
Threat and Risk-Driven Security Requirements Engineering
International Journal of Mobile Computing and Multimedia Communications
Regulatory requirements traceability and analysis using semi-formal specifications
REFSQ'13 Proceedings of the 19th international conference on Requirements Engineering: Foundation for Software Quality
Choosing compliance solutions through stakeholder preferences
REFSQ'13 Proceedings of the 19th international conference on Requirements Engineering: Foundation for Software Quality
Requirements modelling by synthesis of deontic input-output automata
Proceedings of the 2013 International Conference on Software Engineering
Mitigating the obsolescence of specification models of service-based systems
Proceedings of the 2013 International Conference on Software Engineering
Incrementally synthesizing controllers from scenario-based product line specifications
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Separation of concerns in feature diagram languages: A systematic survey
ACM Computing Surveys (CSUR)
Specifying software features for composition: A tool-supported approach
Computer Networks: The International Journal of Computer and Telecommunications Networking
A journey through SMScom: self-managing situational computing
Computer Science - Research and Development
Guiding requirements engineering for software-intensive embedded systems in the automotive industry
Computer Science - Research and Development
KBRE: a framework for knowledge-based requirements engineering
Software Quality Control
Hi-index | 0.02 |
Research in requirements engineering has produced an extensive body of knowledge, but there are four areas in which the foundation of the discipline seems weak or obscure. This article shines some light in the “four dark corners,” exposing problems and proposing solutions. We show that all descriptions involved in requirements engineering should be descriptions of the environment. We show that certain control information is necessary for sound requirements engineering, and we explain the close association between domain knowledge and refinement of requirements. Together these conclusions explain the precise nature of requirements, specifications, and domain knowledge, as well as the precise nature of the relationships among them. They establish minimum standards for what information should be represented in a requirements language. They also make it possible to determine exactly what it means for requirements and engineering to be successfully completed.