Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
Computer related risks
Deriving specifications from requirements: an example
Proceedings of the 17th international conference on Software engineering
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
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
Managing inconsistencies in an evolving specification
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
ECSCW'91 Proceedings of the second conference on European Conference on Computer-Supported Cooperative Work
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Overlaps in Requirements Engineering
Automated Software Engineering
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
"What is a method?": an essay on some aspects of domain engineering
Programming methodology
Building problem domain ontology from security requirements in regulatory documents
Proceedings of the 2006 international workshop on Software engineering for secure systems
Towards automatic problem decomposition: an ontology-based approach
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Common criteria requirements modeling and its uses for quality of information assurance (QoIA)
Proceedings of the 43rd annual Southeast regional conference - Volume 2
Semantic parameterization: A process for modeling domain descriptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Managing Agent Interactions with Context-Driven Dynamic Organizations
Engineering Environment-Mediated Multi-Agent Systems
Management of requirements in ERP development: a comparison between proprietary and open source ERP
Proceedings of the 2009 ACM symposium on Applied Computing
The agent environment in multi-agent systems: A middleware perspective
Multiagent and Grid Systems - Engineering Environments in Multiagent Systems
Proceedings of the 4th International Conference on Design Science Research in Information Systems and Technology
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Software Engineering for Self-Adaptive Systems
Editorial: A roadmap of problem frames research
Information and Software Technology
Requirements for a nutrition education demonstrator
REFSQ'11 Proceedings of the 17th international working conference on Requirements engineering: foundation for software quality
The brave new world of design requirements
Information Systems
FECT: a modelling framework for automatically composing web services
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Ontology-Based inconsistency management of software requirements specifications
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
Proof-based system engineering using a virtual system model
ISAS'05 Proceedings of the Second international conference on Service Availability
On constructing software environment ontology for time-continuous environment
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
A systematic elaboration of safety requirements in the avionic domain
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
Hi-index | 0.00 |
We use the term requirements to denote what are often called functional requirements. Requirements are located in the environment, which is distinguished from the machine to be built. A requirement is a condition over phenomena of the environment. A specification is a restricted form of requirement, providing enough information for the implementer to build the machine (by programming it) without further environment knowledge. To describe requirements appropriately we must fit our descriptions into an appropriate structure. This structure must respect the distinction between the machine and the environment, and the distinction between those environment properties that are given (indicative descriptions) and those that must be achieved by the machine (optative descriptions). Formalisation is a fundamental problem of requirements engineering. Since most environments are parts of the physical world, and therefore informal, the formalisation task is inescapable. Some techniques are discussed for tackling this task. In particular, the use of designations is explained, and the distinction between definition and assertion. By using the smallest possible set of designated terms, augmented by appropriate definitions, the developer can create a narrow bridge between the environment and its descriptions in the requirements. In this way a sufficiently faithful approximation to the informal reality can be obtained.