The Community for Technology Leaders
Proceedings of IEEE International Conference on Requirements Engineering (1994)
Colorado Springs, CO, USA
April 18, 1994 to April 22, 1994
ISBN: 0-8186-5480-5
TABLE OF CONTENTS

Ripple: a formally specified prototyping system (PDF)

B. Belkhouche , Dept. of Comput. Sci., Tulane Univ., New Orleans, LA, USA
pp. 150-153

Towards a system for the construction, clarification, discovery and formalisation of requirements (PDF)

J. Siddiqi , Sch. of Comput. Sci. & Manage. Sci., Sheffield Hallam Univ., UK
I. Morrey , Sch. of Comput. Sci. & Manage. Sci., Sheffield Hallam Univ., UK
R. Hibberd , Sch. of Comput. Sci. & Manage. Sci., Sheffield Hallam Univ., UK
G. Buckberry , Sch. of Comput. Sci. & Manage. Sci., Sheffield Hallam Univ., UK
pp. 230-238

The REVIEW system: from formal specifications to natural language (PDF)

A. Salek , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
P.G. Sorenson , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
pp. 220-229

Modeling the evolution of artifacts (PDF)

C. Rolland , Paris 1 Univ., France
pp. 216-219

Supporting multi-perspective requirements engineering (PDF)

W.N. Robinson , Dept. of Comput. & Inf. Sci., Oregon Univ., Eugene, OR, USA
S. Fickas , Dept. of Comput. & Inf. Sci., Oregon Univ., Eugene, OR, USA
pp. 206-215

Validating and evolving software requirements in a systematic framework (PDF)

M.B. Ozcan , Comput. Res. Center, Sheffield Hallam Univ., UK
J.I.A. Siddiqi , Comput. Res. Center, Sheffield Hallam Univ., UK
pp. 202-205

A visual software requirements definition method (PDF)

A. Ohnishi , Data Process. Center, Kyoto Univ., Japan
pp. 194-201

Requirements critiquing using domain abstractions (PDF)

N.A.M. Maiden , Centre for Human-Comput. Interface Design, City Univ., London, UK
A.G. Sutcliffe , Centre for Human-Comput. Interface Design, City Univ., London, UK
pp. 184-193

A pattern matching and clustering based approach for supporting requirements transformation (PDF)

Jianhong Liang , Center for Software Syst. Eng., George Mason Univ., Fairfax, VA, USA
J.D. Palmer , Center for Software Syst. Eng., George Mason Univ., Fairfax, VA, USA
pp. 180-183

Taxonomy for requirements analysis (PDF)

K.J. Hughes , Defence Res. Agency, UK
R.M. Rankin , Defence Res. Agency, UK
C.T. Sennett , Defence Res. Agency, UK
pp. 176-179

Executing, viewing and explaining conceptual models (PDF)

J.A. Gulla , Fac. of Electr. Eng. & Comput. Sci., Norwegian Inst. of Technol., Trondheim, Norway
G. Willumsen , Fac. of Electr. Eng. & Comput. Sci., Norwegian Inst. of Technol., Trondheim, Norway
O.I. Lindland , Fac. of Electr. Eng. & Comput. Sci., Norwegian Inst. of Technol., Trondheim, Norway
A. Solvberg , Fac. of Electr. Eng. & Comput. Sci., Norwegian Inst. of Technol., Trondheim, Norway
pp. 166-175

Organisational requirements definition for information technology systems (PDF)

J. Dobson , Dept. of Comput. Sci., Newcastle upon Tyne Univ., UK
R. Strens , Dept. of Comput. Sci., Newcastle upon Tyne Univ., UK
pp. 158-165

Facilitating "fuzzy to formal" requirements modelling (PDF)

J. Bubenko , Dept. of Comput. & Syst. Sci., R. Inst. of Technol., Stockholm, Sweden
pp. 154-157

Deriving human-error tolerance requirements from tasks (PDF)

P. Wright , Dept. of Comput. Sci., York Univ., UK
B. Fields , Dept. of Comput. Sci., York Univ., UK
M. Harrison , Dept. of Comput. Sci., York Univ., UK
pp. 135-142

Comparative analysis of embedded computer system requirements methods (PDF)

S.M. White , Corp. Res. Center, Grumman Corp., Bethpage, NY, USA
pp. 126-134

Using formal methods for requirements specification of a proposed POSIX standard (PDF)

N.R. Reizer , Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
G.D. Abowd , Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
B.C. Meyers , Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
P.R.H. Place , Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 118-125

Transitioning to rigorous software specification (PDF)

N.W. Morgan , Bell Commun. Res.
C. Schahczenski , Bell Commun. Res.
pp. 110-117

The directorate information system at St Thomas' hospital: a study in domain analysis (PDF)

J. Holland , Dept. of Med., St. Thomas' Hospital, London, UK
P. Sonksen , Dept. of Med., St. Thomas' Hospital, London, UK
pp. 102-109

An analysis of the requirements traceability problem (PDF)

O.C.Z. Gotel , Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
C.W. Finkelstein , Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
pp. 94-101

AbstFinder, a prototype abstraction finder for natural language text for use in requirements elicitation: design, methodology, and evaluation (PDF)

L. Goldin , Dept. of Comput. Sci., Technion-Israel Inst. of Technol., Haifa, Israel
D.M. Berry , Dept. of Comput. Sci., Technion-Israel Inst. of Technol., Haifa, Israel
pp. 84-93

Software requirements as negotiated win conditions (PDF)

B. Boehm , Dept. of Comput. Sci., Univ. of Southern California, Los Angeles, CA, USA
P. Bose , Dept. of Comput. Sci., Univ. of Southern California, Los Angeles, CA, USA
E. Horowitz , Dept. of Comput. Sci., Univ. of Southern California, Los Angeles, CA, USA
Ming-June Lee , Dept. of Comput. Sci., Univ. of Southern California, Los Angeles, CA, USA
pp. 74-83

A multimedia approach to requirements capture and modeling (PDF)

D.P. Wood , Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
M.G. Christel , Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
S.M. Stevens , Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 53-56

Underlying concepts in process specification (PDF)

J.O.P. Soares , Dept. of Comput. Eng., Sao Paulo Univ., Brazil
pp. 48-52

Types, classes and collections in object-oriented analysis (PDF)

G. Eckert , Dept. of Comput. Sci., Swiss Federal Inst. of Technol., Lausanne, Switzerland
pp. 32-39

System bounding issues for analysis (PDF)

J.M. Drake , Dept. of Comput. Sci., Univ. of Northern Iowa, Cedar Falls, IN, USA
pp. 24-31

An OOA model with system function specifications (PDF)

Shih-Chien Chou , Dept. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
Chyan-Goei Chung , Dept. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 16-23
93 ms
(Ver 3.3 (11022016))