Sciweavers

5180 search results - page 55 / 1036
» Requirements Engineering
Sort
View
ICSE
1994
IEEE-ACM
14 years 1 months ago
On Formal Requirements Modeling Languages: RML Revisited
act Research issues related to requirements modeling are introduced and discussed through a review of the requirements modeling language RML, its peers and its successors from the ...
Sol J. Greenspan, John Mylopoulos, Alexander Borgi...
ASM
2010
ASM
14 years 6 months ago
Towards Validation of Requirements Models
Abstract. The aim of this paper is to gradually introduce formalism in the requirement engineering phase in order to facilitate its validation. We analyze and elicit our requiremen...
Atif Mashkoor, Abderrahman Matoussi
ICSE
2003
IEEE-ACM
14 years 9 months ago
Mapping Requirements to Software Architecture by Feature-Orientation
Requirements engineering and software architecting are two key activities in software life cycle. Researchers have paid much attention to mapping and transformation from requireme...
Dongyun Liu, Hong Mei
RE
2008
Springer
13 years 9 months ago
"Fairness Analysis" in Requirements Assignments
Requirements engineering for multiple customers, each of whom have competing and often conflicting priorities, raises issues of negotiation, mediation and conflict resolution. Thi...
Anthony Finkelstein, Mark Harman, S. Afshin Mansou...
ITRUST
2005
Springer
14 years 3 months ago
ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements
ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers ...
Paolo Giorgini, Fabio Massacci, John Mylopoulos, A...