Proceedings of IEEE International Conference on Requirements Engineering
Latest Publications

TOTAL DOCUMENTS

34

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818654805

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The concept of operations: the bridge from operational requirements to technical specifications

Proceedings of IEEE International Conference on Requirements Engineering ◽

10.1109/icre.1994.292405 ◽

2002 ◽

Author(s):

R.E. Fairley ◽

R.H. Thayer ◽

P. Bjorke

Keyword(s):

Technical Specifications ◽

Concept Of Operations

Download Full-text

The role of software architecture in requirements engineering

Proceedings of IEEE International Conference on Requirements Engineering ◽

10.1109/icre.1994.292379 ◽

2002 ◽

Author(s):

C. Shekaran ◽

D. Garlan ◽

M. Jackson ◽

N.R. Mead ◽

C. Potts ◽

...

Keyword(s):

Software Architecture ◽

Requirements Engineering

Download Full-text

Software requirements as negotiated win conditions

Proceedings of IEEE International Conference on Requirements Engineering ◽

10.1109/icre.1994.292400 ◽

2002 ◽

Author(s):

B. Boehm ◽

P. Bose ◽

E. Horowitz ◽

Ming-June Lee

Keyword(s):

Software Requirements

Download Full-text

Requirements critiquing using domain abstractions

Proceedings of IEEE International Conference on Requirements Engineering ◽

10.1109/icre.1994.292386 ◽

2002 ◽

Author(s):

N.A.M. Maiden ◽

A.G. Sutcliffe

Download Full-text

System bounding issues for analysis

Proceedings of IEEE International Conference on Requirements Engineering ◽

10.1109/icre.1994.292407 ◽

2002 ◽

Author(s):

J.M. Drake ◽

W.T. Tsai

Download Full-text

Using formal methods for requirements specification of a proposed POSIX standard

Proceedings of IEEE International Conference on Requirements Engineering ◽

10.1109/icre.1994.292395 ◽

2002 ◽

Author(s):

N.R. Reizer ◽

G.D. Abowd ◽

B.C. Meyers ◽

P.R.H. Place

Keyword(s):

Formal Methods ◽

Requirements Specification

Download Full-text

Attacking requirements complexity using a separation of concerns

Proceedings of IEEE International Conference on Requirements Engineering ◽

10.1109/icre.1994.292410 ◽

2002 ◽

Author(s):

M. Alford

Keyword(s):

Separation Of Concerns

Download Full-text

Transitioning to rigorous software specification

Proceedings of IEEE International Conference on Requirements Engineering ◽

10.1109/icre.1994.292396 ◽

2002 ◽

Author(s):

N.W. Morgan ◽

C. Schahczenski

Keyword(s):

Software Specification

Download Full-text

Facilitating "fuzzy to formal" requirements modelling

Proceedings of IEEE International Conference on Requirements Engineering ◽

10.1109/icre.1994.292391 ◽

2002 ◽

Author(s):

J. Bubenko ◽

C. Rolland ◽

P. Loucopoulos ◽

V. DeAntonellis

Keyword(s):

Requirements Modelling ◽

Formal Requirements

Download Full-text

Comparative analysis of embedded computer system requirements methods

Proceedings of IEEE International Conference on Requirements Engineering ◽

10.1109/icre.1994.292394 ◽

2002 ◽

Author(s):

S.M. White

Keyword(s):

Comparative Analysis ◽

Computer System ◽

Embedded Computer ◽

System Requirements

Download Full-text