Events and constraints: a graphical editor for capturing logic
requirements of programs
Smith, M.H.; Holzmann, G.J.; Etessami, K.
Page(s): 14-22
Digital Object Identifier 10.1109/ISRE.2001.948539 Abstract
| Full Text: PDF (712 KB)
Rights and Permissions
Virtual environment modeling for requirements validation of high
consequence systems
Winter, V.; Desovski, D.; Cukic, B.
Page(s): 23-30
Digital Object Identifier 10.1109/ISRE.2001.948540 Abstract
| Full Text: PDF (720 KB)
Rights and Permissions
Consistency management of product line requirements
Savolainen, J.; Kuusela, J.
Page(s): 40-47
Digital Object Identifier 10.1109/ISRE.2001.948542 Abstract
| Full Text: PDF (688 KB)
Rights and Permissions
Product-line requirements specification (PRS): an approach and case
study
Extending the product family approach to support n-dimensional and
hierarchical product lines
Thompson, J.M.; Heimdahl, M.P.E.
Page(s): 56-64
Digital Object Identifier 10.1109/ISRE.2001.948544 Abstract
| Full Text: PDF (760 KB)
Rights and Permissions
Matching ERP system functionality to customer requirements
Rolland, C.; Prakash, N.
Page(s): 66-75
Digital Object Identifier 10.1109/ISRE.2001.948545 Abstract
| Full Text: PDF (848 KB)
Rights and Permissions
Software acquisition: a business strategy analysis
Farbey, B.; Finkelstein, A.
Page(s): 76-83
Digital Object Identifier 10.1109/ISRE.2001.948546 Abstract
| Full Text: PDF (656 KB)
Rights and Permissions
An industrial survey of requirements interdependencies in software
product release planning
Carlshamre, P.; Sandahl, K.; Lindvall, M.; Regnell, B.; Natt och Dag, J.
Page(s): 84-91
Digital Object Identifier 10.1109/ISRE.2001.948547 Abstract
| Full Text: PDF (784 KB)
Rights and Permissions
Evolving beyond requirements creep: a risk-based evolutionary
prototyping model
Carter, R.A.; Anton, A.I.; Dagnino, A.; Williams, L.
Page(s): 94-101
Digital Object Identifier 10.1109/ISRE.2001.948548 Abstract
| Full Text: PDF (736 KB)
Rights and Permissions
Will it work? [Requirements engineering]
Hammond, J.; Rawlings, R.; Hall, A.
Page(s): 102-109
Digital Object Identifier 10.1109/ISRE.2001.948549 Abstract
| Full Text: PDF (656 KB)
Rights and Permissions
Requirements engineering for complex collaborative systems
Sutcliffe, A.
Page(s): 110-117
Digital Object Identifier 10.1109/ISRE.2001.948550 Abstract
| Full Text: PDF (640 KB)
Rights and Permissions
Domain independent regularities in scenarios
Ridao, M.; Doorn, J.; Do Prado Leite, J.C.S.
Page(s): 120-127
Digital Object Identifier 10.1109/ISRE.2001.948551 Abstract
| Full Text: PDF (616 KB)
Rights and Permissions
An empirical study of facilitation of computer-mediated distributed
requirements negotiations
Damian, D.E.H.; Eberlein, A.; Woodward, B.; Shaw, M.L.G.; Gaines, B.R.
Page(s): 128-135
Digital Object Identifier 10.1109/ISRE.2001.948552 Abstract
| Full Text: PDF (1168 KB)
Rights and Permissions
The role of policy and stakeholder privacy values in requirements
engineering
Anton, A.I.; Earp, J.B.; Potts, C.; Alspaugh, T.A.
Page(s): 138-145
Digital Object Identifier 10.1109/ISRE.2001.948553 Abstract
| Full Text: PDF (824 KB)
Rights and Permissions
Integrating organizational requirements and object oriented
modeling
Castro, J.F.; Alencar, F.M.R.; Filhol, G.A.C.; Mylopoulos, J.
Page(s): 146-153
Digital Object Identifier 10.1109/ISRE.2001.948554 Abstract
| Full Text: PDF (736 KB)
Rights and Permissions
Requirements modeling for organization networks: a (dis)trust-based
approach
Gans, G.; Jarke, M.; Kethers, S.; Lakemeyer, G.; Ellrich, L.; Funken, C.; Meister, M.
Page(s): 154-163
Digital Object Identifier 10.1109/ISRE.2001.948555 Abstract
| Full Text: PDF (816 KB)
Rights and Permissions
XML-based method and tool for handling variant requirements in
domain models
Jarzabek, S.; Hongyu Zhang
Page(s): 166-173
Digital Object Identifier 10.1109/ISRE.2001.948556 Abstract
| Full Text: PDF (704 KB)
Rights and Permissions
Model checking early requirements specifications in Tropos
Fuxman, A.; Pistore, M.; Mylopoulos, J.; Traverso, P.
Page(s): 174-181
Digital Object Identifier 10.1109/ISRE.2001.948557 Abstract
| Full Text: PDF (728 KB)
Rights and Permissions
An algorithm for strengthening state invariants generated from
requirements specifications
Jeffords, R.D.; Heitmeyer, C.L.
Page(s): 182-191
Digital Object Identifier 10.1109/ISRE.2001.948558 Abstract
| Full Text: PDF (872 KB)
Rights and Permissions