Sciweavers

Share
RE
2001
Springer
9 years 3 months ago
Requirements for Evolving Systems: A Telecommunications Perspective
In many software application domains, constant evolution is the dominant problem, shaping both software design and the software process. Telecommunication software is the prototyp...
Pamela Zave
RE
2001
Springer
9 years 3 months ago
Virtual Environment Modeling for Requirements Validation of High Consequence Systems
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
Victor L. Winter, Dejan Desovski, Bojan Cukic
RE
2001
Springer
9 years 3 months ago
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
Margaret H. Smith, Gerard J. Holzmann, Kousha Etes...
RE
2001
Springer
9 years 3 months ago
Domain Independent Regularities in Scenarios
Scenario is a description technique which has attracted much attention not only from practitioners but also from researchers. Literature on this topic shows the possibilities that...
Marcela Ridao, Jorge Horacio Doorn, Julio Cesar Sa...
RE
2001
Springer
9 years 3 months ago
The Single Model Principle
at different levels of abstraction. There are two very different ways of using such languages. One approach is based on the manifestation of a single model, with construction of di...
Richard F. Paige, Jonathan S. Ostroff
RE
2001
Springer
9 years 3 months ago
Goal-Oriented Requirements Engineering: A Guided Tour
pture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use o...
Axel van Lamsweerde
RE
2001
Springer
9 years 3 months ago
XML-Based Method and Tool for Handling Variant Requirements in Domain Models
A domain model describes common and variant requirements for a system family. UML notations used in requirements analysis and software modeling can be extended with “variation p...
Stan Jarzabek, Hongyu Zhang
RE
2001
Springer
9 years 3 months ago
A Requirements Negotiation Model Based on Multi-Criteria Analysis
Many software projects have failed because their requirements were poorly negotiated among stakeholders. Requirements negotiation is more critical than other factors such as tools...
Hoh In, David Olson, Tom Rodgers
RE
2001
Springer
9 years 3 months ago
Will It Work?
Jonathan Hammond, Rosamund Rawlings, Anthony Hall
RE
2001
Springer
9 years 3 months ago
Reconciling Software Requirements and Architectures: The CBSP Approach
Little guidance and few methods are available to refine a set of software requirements into an architecture satisfying those requirements. Part of the challenge stems from the fac...
Paul Grünbacher, Alexander Egyed, Nenad Medvi...
books