Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium
Latest Publications

TOTAL DOCUMENTS

268

(FIVE YEARS 0)

H-INDEX

28

(FIVE YEARS 0)

Published By ACM

1581132069

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Is software education narrow-minded? - A position paper

Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium ◽

10.1109/icse.2000.870446 ◽

2002 ◽

Author(s):

P. Morrogh

Keyword(s):

Download Full-text

Testing levels for object-oriented software

Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium ◽

10.1109/icse.2000.870405 ◽

2002 ◽

Author(s):

Y. Labiche ◽

P. Thevenod-Fosse ◽

H. Waeselynck ◽

M.-H. Durand

Keyword(s):

Object Oriented

Download Full-text

Bandera: extracting finite-state models from Java source code

Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium ◽

10.1109/icse.2000.870434 ◽

2002 ◽

Author(s):

J.C. Corbett ◽

M.B. Dwyer ◽

J. Hatcliff ◽

S. Laubach ◽

C.S. Pasareanu ◽

...

Keyword(s):

Source Code ◽

Finite State ◽

State Models ◽

Finite State Models

Download Full-text

Visualizing software release histories with 3DSoftVis

Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium ◽

10.1109/icse.2000.870509 ◽

2002 ◽

Author(s):

C. Riva

Keyword(s):

Software Release

Download Full-text

From MCC to CMM: technology transfers bright and dim

Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium ◽

10.1109/icse.2000.870442 ◽

2002 ◽

Author(s):

B. Curtis

Keyword(s):

Technology Transfers

Download Full-text

PPT: a COTS integration case study

Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium ◽

10.1109/icse.2000.870395 ◽

2002 ◽

Author(s):

L.D. Balk ◽

A. Kedia

Download Full-text

A replicated assessment and comparison of common software cost modeling techniques

Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium ◽

10.1109/icse.2000.870428 ◽

2002 ◽

Author(s):

L.C. Briand ◽

T. Langley ◽

I. Wieczorek

Keyword(s):

Cost Modeling ◽

Software Cost ◽

Modeling Techniques

Download Full-text

Formal verification applied to Java concurrent software

Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium ◽

10.1109/icse.2000.870475 ◽

2002 ◽

Author(s):

R. Iosif

Keyword(s):

Formal Verification ◽

Concurrent Software

Download Full-text

Software evolution in componentware using requirements/assurances contracts

Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium ◽

10.1109/icse.2000.870406 ◽

2002 ◽

Author(s):

A. Rausch

Keyword(s):

Software Evolution

Download Full-text

Supporting diversity with component frameworks as architectural elements

Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium ◽

10.1109/icse.2000.870396 ◽

2002 ◽

Author(s):

J.G. Wijnstra

Keyword(s):

Architectural Elements ◽

Component Frameworks

Download Full-text