Reuse, system integration, and interoperability create a growing need for capturing, representing, and using application-level information about software-intensive systems and their evolution. In ESPRIT Basic Research Project NATURE, we are developing an integrative approach to requirements management based on a threedimensional framework which addresses formalism as well as cognitive and socia...

In requirement analysis, goal models play an important role in assessing alternative design options of a software system. Many qualitative and quantitative goal reasoning approaches have been proposed for goal models such as Knowledge Acquisition in Automated Space (KAOS), NonFunctional Requirements (NFR), and Goal Oriented Requirement Language (GRL). However, for i* goal model only qualitative...

Security of intelligent software systems is an important area of research. Although security is traditionally considered a technical issue; security is in fact a two dimensional problem, which involves technical as well as social challenges. Goal-Driven Requirements Engineering (GDRE) has been proposed in the literature as a suitable paradigm for the analysis of security issues and elicitation ...

INTRODUCTION An enterprise resource planning (ERP) system can be considered as a solution for enterprises to standardize their business processes. Many organizations invest in ERP under the assumption that the implemented ERP system will deal with their interrelated business goals, such as achieving their financial targets quicker, managing and streamlining their operational processes, and impr...

Case study in section 6 was removed because it is confidential 2 Case study in section 6 was removed because it is confidential Case study in section 6 was removed because it is confidential 4 Case study in section 6 was removed because it is confidential Abstract: The research project SIKOSA is funded by the Ministery for Science, Research and Art of Baden-Württemberg, Germany (Ministerium für...

In the last decade it became a common practice to formalise software requirements to improve the clarity of users’ expectations. In this work we build on the fact that functional requirements can be expressed in temporal logic and we propose new sanity checking techniques that automatically detect flaws and suggest improvements of given requirements. Specifically, we describe and experimentally...

Scenarios are often constructed for illustrating example runs through reactive system. Scenarios that describe possible interactions between a system and its environment are widely used in requirement engineering, as a means for users to communicate their functional requirements. Various software development methods use scenarios to define user requirements, but often lack tool support. Existin...

This paper concerns new techniques for making requirements specifications precise, concise, unambiguous, and easy to check for completeness and consistency. The techniques are well-suited for complex real-time software systems; they were developed to document the requirements of existing flight software for the Navy's A-7 aircraft. The paper outlines the information that belongs in a requiremen...

System architectures (SysArch), usually developed during the requirements analysis phase of the information system development process, consider different ways of allocating the system requirements between hardware, software and the network. The requirements pertaining to software are then used to design the software subsystem and very often the first step in the design happens to be the develo...

This paper addresses the problem of managing requirements evolution in situations where functional and nonfunctional requirements interact and often contradict each other. It de nes a requirements representation scheme that captures the critical interplay between functional and non-functional requirements and makes explicit the trade-o between them. It then de nes a model of requirements evolut...