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

TOTAL DOCUMENTS

268

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM

1581132069

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 32

Author(s):

L.C. Briand ◽

T. Langley ◽

I. Wieczorek

Keyword(s):

Cost Modeling ◽

Software Cost ◽

Modeling Techniques

Download Full-text

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):

Position Paper

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 81

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

Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems

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

10.1109/icse.2000.870425 ◽

2002 ◽

Author(s):

Zhe Dang ◽

R.A. Kemmerer

Keyword(s):

Model Checking ◽

Real Time ◽

Symbolic Model Checking ◽

Real Time Systems ◽

Symbolic Model ◽

Approximation Techniques ◽

Time Systems ◽

Infinite State

Download Full-text

Technology transfer macro-process. A practical guide for the effective introduction of technology

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

10.1109/icse.2000.870450 ◽

2002 ◽

Cited By ~ 1

Author(s):

T. Nishiyama ◽

K. Ikeda ◽

T. Niwa

Keyword(s):

Technology Transfer ◽

Practical Guide

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

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM

Visualizing software release histories with 3DSoftVis

From MCC to CMM: technology transfers bright and dim

PPT: a COTS integration case study

A replicated assessment and comparison of common software cost modeling techniques

Is software education narrow-minded? - A position paper

Testing levels for object-oriented software

Bandera: extracting finite-state models from Java source code

Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems

Technology transfer macro-process. A practical guide for the effective introduction of technology

Formal verification applied to Java concurrent software

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