Proceedings of ISRE 97 3rd IEEE International Symposium on Requirements Engineering ISRE-97
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0818677406

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Workshop Exploring Scenarios In Requirements Engineering

Proceedings of ISRE 97 3rd IEEE International Symposium on Requirements Engineering ISRE-97 ◽

10.1109/isre.1997.566867 ◽

2005 ◽

Cited By ~ 1

Author(s):

A. Sutcliffe

Keyword(s):

Requirements Engineering

Download Full-text

Software On Demand: Issues For RE

Proceedings of ISRE 97 3rd IEEE International Symposium on Requirements Engineering ISRE-97 ◽

10.1109/isre.1997.566872 ◽

2005 ◽

Author(s):

S. Fickas

Keyword(s):

On Demand

Download Full-text

Analogical reuse of requirements frameworks

Proceedings of ISRE 97 3rd IEEE International Symposium on Requirements Engineering ISRE-97 ◽

10.1109/isre.1997.566836 ◽

2002 ◽

Cited By ~ 32

Author(s):

P. Massonet ◽

A. van Lamsweerde

Download Full-text

A logical framework for modeling and reasoning about the evolution of requirements

Proceedings of ISRE 97 3rd IEEE International Symposium on Requirements Engineering ISRE-97 ◽

10.1109/isre.1997.566875 ◽

2002 ◽

Cited By ~ 51

Author(s):

D. Zowghi ◽

R. Offen

Keyword(s):

Logical Framework

Download Full-text

Integrated safety analysis of requirements specifications

Proceedings of ISRE 97 3rd IEEE International Symposium on Requirements Engineering ISRE-97 ◽

10.1109/isre.1997.566862 ◽

2002 ◽

Cited By ~ 8

Author(s):

F. Modugno ◽

N.G. Leveson ◽

J.D. Reese ◽

K. Partridge ◽

S.D. Sandys

Keyword(s):

Safety Analysis ◽

Requirements Specifications

Download Full-text

On the use of a formal RE language-the generalized railroad crossing problem

Proceedings of ISRE 97 3rd IEEE International Symposium on Requirements Engineering ISRE-97 ◽

10.1109/isre.1997.566850 ◽

2002 ◽

Cited By ~ 10

Author(s):

P. Du Bois ◽

E. Dubois ◽

J.-M. Zeippen

Download Full-text

Requirements for telecommunications services: an attack on complexity

Proceedings of ISRE 97 3rd IEEE International Symposium on Requirements Engineering ISRE-97 ◽

10.1109/isre.1997.566848 ◽

2002 ◽

Cited By ~ 7

Author(s):

P. Zave ◽

M. Jackson

Keyword(s):

Telecommunications Services

Download Full-text

Requirements models in context

Proceedings of ISRE 97 3rd IEEE International Symposium on Requirements Engineering ISRE-97 ◽

10.1109/isre.1997.566847 ◽

2002 ◽

Cited By ~ 12

Author(s):

C. Potts

Keyword(s):

Requirements Models

Download Full-text

Formal methods for V&V of partial specifications: an experience report

Proceedings of ISRE 97 3rd IEEE International Symposium on Requirements Engineering ISRE-97 ◽

10.1109/isre.1997.566865 ◽

2002 ◽

Cited By ~ 10

Author(s):

S. Easterbrook ◽

J. Callahan

Keyword(s):

Formal Methods ◽

Experience Report

Download Full-text

Auditdraw: generating audits the FAST way

Proceedings of ISRE 97 3rd IEEE International Symposium on Requirements Engineering ISRE-97 ◽

10.1109/isre.1997.566869 ◽

2002 ◽

Cited By ~ 13

Author(s):

N.K. Gupta ◽

L.J. Jagadeesan ◽

E.E. Kouteofios ◽

D.M. Weiss

Download Full-text

Proceedings of ISRE 97 3rd IEEE International Symposium on Requirements Engineering ISRE-97Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Workshop Exploring Scenarios In Requirements Engineering

Software On Demand: Issues For RE

Analogical reuse of requirements frameworks

A logical framework for modeling and reasoning about the evolution of requirements

Integrated safety analysis of requirements specifications

On the use of a formal RE language-the generalized railroad crossing problem

Requirements for telecommunications services: an attack on complexity

Requirements models in context

Formal methods for V&V of partial specifications: an experience report

Auditdraw: generating audits the FAST way

Proceedings of ISRE 97 3rd IEEE International Symposium on Requirements Engineering ISRE-97
Latest Publications