[1991 Proceedings] 13th International Conference on Software Engineering
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818621400

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal methods: an international perspective

[1991 Proceedings] 13th International Conference on Software Engineering ◽

10.1109/icse.1991.130621 ◽

2002 ◽

Author(s):

S. Gerhart

Keyword(s):

Formal Methods ◽

International Perspective

Download Full-text

PRESTIGE: a CASE workbench for the JSD implementor

[1991 Proceedings] 13th International Conference on Software Engineering ◽

10.1109/icse.1991.130644 ◽

2002 ◽

Cited By ~ 4

Author(s):

A. Bass ◽

M. Boyle ◽

B. Ratcliff

Download Full-text

Process assessments in NASA

[1991 Proceedings] 13th International Conference on Software Engineering ◽

10.1109/icse.1991.130655 ◽

2002 ◽

Cited By ~ 2

Author(s):

M.W. Bush

Download Full-text

An intelligent tool for re-engineering software modularity

[1991 Proceedings] 13th International Conference on Software Engineering ◽

10.1109/icse.1991.130626 ◽

2002 ◽

Cited By ~ 122

Author(s):

R.W. Schwanke

Keyword(s):

Engineering Software ◽

Software Modularity

Download Full-text

The Prism model of changes

[1991 Proceedings] 13th International Conference on Software Engineering ◽

10.1109/icse.1991.130639 ◽

2002 ◽

Cited By ~ 11

Author(s):

N.H. Madhavji

Keyword(s):

Prism Model

Download Full-text

Parameter value computation by least square method and evaluation of software availability and reliability at service-operation by the hyper-geometric distribution software reliability growth model (HGDM)

[1991 Proceedings] 13th International Conference on Software Engineering ◽

10.1109/icse.1991.130647 ◽

2002 ◽

Cited By ~ 11

Author(s):

R. Jacoby ◽

Y. Tohma

Keyword(s):

Growth Model ◽

Software Reliability ◽

Geometric Distribution ◽

Least Square Method ◽

Least Square ◽

Reliability Growth ◽

Software Reliability Growth Model ◽

Service Operation ◽

Software Reliability Growth

Download Full-text

Tool support for formal methods

[1991 Proceedings] 13th International Conference on Software Engineering ◽

10.1109/icse.1991.130641 ◽

2002 ◽

Cited By ~ 2

Author(s):

D. Craigen

Keyword(s):

Formal Methods ◽

Tool Support

Download Full-text

Software reuse in an industrial setting: a case study

[1991 Proceedings] 13th International Conference on Software Engineering ◽

10.1109/icse.1991.130659 ◽

2002 ◽

Cited By ~ 10

Author(s):

M.F. Dunn ◽

J.C. Knight

Keyword(s):

Software Reuse ◽

Industrial Setting

Download Full-text

Software engineering management

[1991 Proceedings] 13th International Conference on Software Engineering ◽

10.1109/icse.1991.130636 ◽

2002 ◽

Cited By ~ 1

Author(s):

M. Schlumberger

Keyword(s):

Software Engineering ◽

Engineering Management

Download Full-text

Extending the Potts and Bruns model for recording design rationale

[1991 Proceedings] 13th International Conference on Software Engineering ◽

10.1109/icse.1991.130629 ◽

2002 ◽

Cited By ~ 55

Author(s):

J. Lee

Keyword(s):

Design Rationale

Download Full-text

[1991 Proceedings] 13th International Conference on Software EngineeringLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc. Press

Formal methods: an international perspective

PRESTIGE: a CASE workbench for the JSD implementor

Process assessments in NASA

An intelligent tool for re-engineering software modularity

The Prism model of changes

Parameter value computation by least square method and evaluation of software availability and reliability at service-operation by the hyper-geometric distribution software reliability growth model (HGDM)

Tool support for formal methods

Software reuse in an industrial setting: a case study

Software engineering management

Extending the Potts and Bruns model for recording design rationale

[1991 Proceedings] 13th International Conference on Software Engineering
Latest Publications