The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The following topics are dealt with: requirements engineering; change management; social system; formal specification; formal verification; embedded system; requirements elicitation and software life cycle.
Soft issues, such as politics and people's feelings, are often cited as problems in the RE process. A method aimed at improving elicitation and analysis of such 'soft' issues is described. The method consists of a taxonomy of users' values, motivations and emotions, with process guidance for eliciting and analysing these issues for the RE process.
Electronic service bundles such as Internet access and voice over IP become increasingly important for the economy. The requirements engineering problem is how to compose an e-service bundle such that consumer needs are met optimally, and the suppliers provide the services economically sustainable. We propose a technique to match a consumer need with a multi-supplier bundle of commercial e-services,...
This paper points to problems in the joint use of the use case model and the domain model in the system requirements definition phase. It proposes a specialization of use cases called info cases, from which a domain model can be derived. Semi-formal rules are presented for the derivation, showing evidence of the integration between these models.
We introduce an extractive approach to building a product line's requirements assets. We define the functional requirements profiles (FRPs) according to the linguistic characterization of a domain's action-oriented concerns, and show that FRPs can be extracted from a document based on domain-aware lexical affinities that bear a 'verb - direct object' relation. The validated FRPs are then amenable...
Requirements related problems, especially those originating from inadequacies in the human-intensive task of eliciting stakeholderspsila needs and desires, have contributed to many failed and challenged software projects. This is especially true for large and complex projects in which requirements knowledge is distributed across thousands of stakeholders. This short paper introduces a new process...
Over the last few years a large number of security patterns have been proposed. However, this large number of patterns has created a problem in selecting patterns that are appropriate for different security requirements. In this paper, we present a selection approach for security patterns, which allows us to understand in depth the trade-offs involved in the patterns and the implications of a pattern...
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on software comes the risk that bugs can lead to the loss of a mission. At NASApsilas Jet Propulsion Laboratory new tools are being developed to address this problem. Logic model checking and runtime verification can increase...
Successful and convincing operation of a prototype, deployed in a real setting, is a key step in advancement of many a new technology from research laboratory to real-world use. Often, however, such a deployment must be interjected into a pre-existing context of ongoing activities, established designs and standard practices. That context can pose a number of obstacles, which if unaddressed can preclude...
This mini-tutorial introduces Web services and service-centric systems, identifies their impact on requirements engineering, and introduces new tools and techniques for engineer requirements for service-centric systems.
Today, outsourcing and globally distributed development are common in software engineering industry. This situation raises demands for new forms of stakeholder participation and interaction in requirements elicitation. This poster describes an approach that enables stakeholders to collaboratively participate in requirements elicitation by providing web-based tool support. It combines approaches from...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.