The Community for Technology Leaders
Proceedings of the 24th International Conference on Software Engineering. ICSE 2002 (2002)
Orlando, FL, USA
May 25, 2002 to May 25, 2002
ISBN: 1-58113-472-X
TABLE OF CONTENTS

PROPEL: an approach supporting property elucidation (Abstract)

R.L. Smith , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
G.S. Avrunin , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
L.A. Clarke , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
L.J. Osterweil , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
pp. 11-21

Performance-related completions for software specifications (Abstract)

M. Woodside , Dept. of Syst. & Comput. Eng., Carleton Univ., Ottawa, Ont., Canada
D. Petriu , Dept. of Syst. & Comput. Eng., Carleton Univ., Ottawa, Ont., Canada
K. Siddiqui , Dept. of Syst. & Comput. Eng., Carleton Univ., Ottawa, Ont., Canada
pp. 22-32

Investigating the readability of state-based formal requirements specification languages (Abstract)

M.K. Zimmerman , MIT, Cambridge, MA, USA
K. Lundqvist , MIT, Cambridge, MA, USA
N. Leveson , MIT, Cambridge, MA, USA
pp. 33-43

Further investigations into the development and evaluation of reading techniques for object-oriented code inspection (Abstract)

A. Dunsmore , Dept. of Comput. & Inf. Sci., Strathclyde Univ., Glasgow, UK
M. Roper , Dept. of Comput. & Inf. Sci., Strathclyde Univ., Glasgow, UK
M. Wood , Dept. of Comput. & Inf. Sci., Strathclyde Univ., Glasgow, UK
pp. 47-57

Empirical interval estimates for the defect content after an inspection (Abstract)

F. Padberg , Fak. fur Inf., Karlsruhe Univ., Germany
pp. 58-68

Agent-based tactics for goal-oriented requirements elaboration (Abstract)

E. Letier , Departement d'Ingenierie Informatique, Universite Catholique de Louvain, Louvain-la-Neuve, Belgium
A. van Lamsweerde , Departement d'Ingenierie Informatique, Universite Catholique de Louvain, Louvain-la-Neuve, Belgium
pp. 83-93

Detection of conflicting functional requirements in a use case-driven approach (Abstract)

J.H. Hausmann , Dept. of Math. & Comput. Sci., Paderborn Univ., Germany
R. Heckel , Dept. of Math. & Comput. Sci., Paderborn Univ., Germany
G. Taentzer , Dept. of Math. & Comput. Sci., Paderborn Univ., Germany
pp. 105-115

A history-based test prioritization technique for regression testing in resource constrained environments (Abstract)

Jung-Min Kim , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
A. Porter , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
pp. 119-129

Automated test case generation for spreadsheets (Abstract)

M. Fisher , Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
Mingming Cao , Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
G. Rothermel , Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
C.R. Cook , Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
M.M. Burnett , Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
pp. 141-151

Deriving executable process descriptions from UML (Abstract)

E. Di Nitto , CEFRIEL, Politecnico di Milano, Milan, Italy
L. Lavazza , CEFRIEL, Politecnico di Milano, Milan, Italy
M. Schiavoni , CEFRIEL, Politecnico di Milano, Milan, Italy
E. Tracanella , CEFRIEL, Politecnico di Milano, Milan, Italy
M. Trombetta , CEFRIEL, Politecnico di Milano, Milan, Italy
pp. 155-165

Verification support for workflow design with UML activity graphs (Abstract)

R. Eshuis , Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
R. Wieringa , Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
pp. 166-176

Progressive open source (Abstract)

J. Dinkelacker , Hewlett-Packard Co., Palo Alto, CA, USA
P.K. Garg , Hewlett-Packard Co., Palo Alto, CA, USA
R. Miller , Hewlett-Packard Co., Palo Alto, CA, USA
D. Nelson , Hewlett-Packard Co., Palo Alto, CA, USA
pp. 177-184

ArchJava: connecting software architecture to implementation (Abstract)

J. Aldrich , Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA
C. Chambers , Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA
D. Notkin , Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA
pp. 187-197

Mixin' up components (Abstract)

V.C. Sreedhar , IBM Thomas J. Watson Res. Center, Hawthorne, NY, USA
pp. 198-207

Static and dynamic structure in design patterns (Abstract)

E. Eide , Sch. of Comput., Utah Univ., Salt Lake City, UT, USA
A. Reid , Sch. of Comput., Utah Univ., Salt Lake City, UT, USA
J. Regehr , Sch. of Comput., Utah Univ., Salt Lake City, UT, USA
J. Lepreau , Sch. of Comput., Utah Univ., Salt Lake City, UT, USA
pp. 208-218

Goal-oriented software assessment (Abstract)

D.M. Weiss , Avaya Labs Res., Basking Ridge, NJ, USA
D. Bennett , Avaya Labs Res., Basking Ridge, NJ, USA
J.Y. Payseur , Avaya Labs Res., Basking Ridge, NJ, USA
P. Tendick , Avaya Labs Res., Basking Ridge, NJ, USA
P. Zhang , Avaya Labs Res., Basking Ridge, NJ, USA
pp. 221-231

Security attribute evaluation method: a cost-benefit approach (Abstract)

S.A. Butler , Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 232-240

An empirical evaluation of fault-proneness models (Abstract)

G. Denaro , Dipt. di Elettronica e Inf., Politecnico di Milano, Italy
pp. 241-251

Building product populations with software components (Abstract)

R. van Ommering , Philips Res. Lab., Eindhoven, Netherlands
pp. 255-265

An infrastructure for the rapid development of XML-based architecture description languages (Abstract)

E.M. Dashofy , Inst. for Software Res., California Univ., Irvine, CA, USA
A. van der Hoek , Inst. for Software Res., California Univ., Irvine, CA, USA
R.N. Taylor , Inst. for Software Res., California Univ., Irvine, CA, USA
pp. 266-276

Tracking down software bugs using automatic anomaly detection (Abstract)

S. Hangal , Sun Microsyst. India Pvt. Ltd., Bangalore, India
pp. 291-301

Semantic anomaly detection in online data sources (Abstract)

O. Raz , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 302-312

Role-based exploration of object-oriented programs (Abstract)

B. Demsky , Lab. for Comput. Sci., MIT, Cambridge, MA, USA
M. Rinard , Lab. for Comput. Sci., MIT, Cambridge, MA, USA
pp. 313-324

Browsing and searching source code of applications written using a GUI framework (Abstract)

A. Michail , New South Wales Univ., Sydney, NSW, Australia
pp. 327-337

Towards pattern-based design recovery (Abstract)

J. Niere , Dept. of Math. & Comput. Sci., Paderborn Univ., Germany
W. Schafer , Dept. of Math. & Comput. Sci., Paderborn Univ., Germany
J.P. Wadsack , Dept. of Math. & Comput. Sci., Paderborn Univ., Germany
L. Wendehals , Dept. of Math. & Comput. Sci., Paderborn Univ., Germany
pp. 338-348

Architecture recovery of Web applications (Abstract)

A.E. Hassan , Dept. of Comput. Sci., Waterloo Univ., Ont., Canada
R.C. Holt , Dept. of Comput. Sci., Waterloo Univ., Ont., Canada
pp. 349-359

Network abstractions for context-aware mobile computing (Abstract)

G.-C. Roman , Dept. of Comput. Sci., Washington Univ., Saint Louis, MO, USA
C. Julien , Dept. of Comput. Sci., Washington Univ., Saint Louis, MO, USA
Qingfeng Huang , Dept. of Comput. Sci., Washington Univ., Saint Louis, MO, USA
pp. 363-373

A programming model and system support for disconnected-aware applications on resource-constrained devices (Abstract)

Y. Weinsberg , Dept. of Electr. Eng., Technion-Israel Inst. of Technol., Haifa, Israel
I. Ben-Shaul , Dept. of Electr. Eng., Technion-Israel Inst. of Technol., Haifa, Israel
pp. 374-384

A dynamic pair-program sending architecture for industrial remote operations (Abstract)

T. Inoue , R&D IT Project Center, Yokogawa Electr. Corp., Tokyo, Japan
Y. Hino , R&D IT Project Center, Yokogawa Electr. Corp., Tokyo, Japan
K. Hayashi , R&D IT Project Center, Yokogawa Electr. Corp., Tokyo, Japan
M. Narukawa , R&D IT Project Center, Yokogawa Electr. Corp., Tokyo, Japan
pp. 385-391

Reporting about industrial strength software engineering courses for undergraduates (Abstract)

M. Gehrke , Dept. of Math. & Comput. Sci., Paderborn Univ., Germany
H. Giese , Dept. of Math. & Comput. Sci., Paderborn Univ., Germany
U.A. Nickel , Dept. of Math. & Comput. Sci., Paderborn Univ., Germany
J. Niere , Dept. of Math. & Comput. Sci., Paderborn Univ., Germany
M. Tichy , Dept. of Math. & Comput. Sci., Paderborn Univ., Germany
J.P. Wadsack , Dept. of Math. & Comput. Sci., Paderborn Univ., Germany
pp. 395-405

Evolving legacy system features into fine-grained components (Abstract)

A. Mehta , American Financial Syst., Inc, Weston, MA, USA
pp. 417-427

Invariant-based specification, synthesis, and verification of synchronization in concurrent programs (Abstract)

Xianghua Deng , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
M.B. Dwyer , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
J. Hatcliff , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
M. Mizuno , Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA
pp. 442-452

Visualization of test information to assist fault localization (Abstract)

J.A. Jones , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
M.J. Harrold , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
J. Stasko , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 467-477

Efficient path conditions in dependence graphs (Abstract)

T. Robschink , Lehrstuhl fur Software-Syst., Passau Univ., Germany
G. Snelting , Lehrstuhl fur Software-Syst., Passau Univ., Germany
pp. 478-488

Specifying multithreaded Java semantics for program verification (Abstract)

A. Roychoudhury , Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore
T. Mitra , Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 489-499

Supporting reuse by delivering task-relevant and personalized information (Abstract)

Yunwen Ye , SRA Key Technol. Lab. Inc., Tokyo, Japan
pp. 513-523

Towards large-scale information integration (Abstract)

K.M. Anderson , Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA
pp. 524-534

Distributed component technologies and their software engineering implications (Abstract)

W. Emmerich , Dept. of Comput. Sci., Univ. Coll. London, UK
pp. 537-546

Accelerating software development through collaboration (Abstract)

L. Augustin , VA Software Corp, Fremont, CA, USA
pp. 559-563

Function point measurement from Java programs (Abstract)

S. Kusumoto , Graduate Sch. of Eng. Sci., Osaka Univ., Japan
M. Imagawa , Graduate Sch. of Eng. Sci., Osaka Univ., Japan
K. Inoue , Graduate Sch. of Eng. Sci., Osaka Univ., Japan
pp. 576-582

A comprehensive product line scoping approach and its validation (Abstract)

K. Schmid , Fraunhofer Inst. for Exp. Software Eng., Kaiserslautern, Germany
pp. 593-603

Brazilian software quality in 2002 (Abstract)

K.C. Weber , SOFTEX, Campinas, Brazil
pp. 634-638

Third ICSE workshop on web engineering (Abstract)

Y. Deshpande , University of Western Sydney
pp. 661-662

Workshop on global software development (Abstract)

D. Damian , University of Technology
pp. 667-668

Workshop on software quality (Abstract)

M.M. de Oliveira , Catholic University of Brasilia
pp. 671-672

Building systems from commercial components (Abstract)

S.A. Hissam , Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
R.C. Seacord , Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
G.A. Lewis , Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 679-680

Dependability of embedded systems (Abstract)

J.C. Knight , Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
pp. 685-686

Hyper/J/spl trade/: multi-dimensional separation of concerns for Java/spl trade/ (Abstract)

P. Tarr , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
H. Ossher , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 689-690

Introduction to agile processes and extreme programming (Abstract)

J. Newkirk , ThoughtWorks, Chicago, IL, USA
pp. 695-696

Refactoring (Abstract)

M. Fowler , ThoughtWorks, Melrose Park, MA, USA
pp. 701

Information systems architecture (Abstract)

M. Fowler , ThoughtWorks, Melrose, MA, USA
pp. 702

Observing timed systems by means of Message Sequence Chart Graphs (Abstract)

S. Blaustein , Fac. de Ciencias, Buenos Aires Univ., Argentina
pp. 707

Reasoning about the correctness of software development process (Abstract)

C. Pons , LIFIA, Univ. Nacional de La Plata, Buenos Aires, Argentina
G. Baum , LIFIA, Univ. Nacional de La Plata, Buenos Aires, Argentina
pp. 708

Software validation using power profiles (Abstract)

R. Lencevicius , Nokia Res. Center, Burlington, MA, USA
E. Metz , Nokia Res. Center, Burlington, MA, USA
A. Ran , Nokia Res. Center, Burlington, MA, USA
pp. 709

Enterprise application integration by means of a generic CORBA LDAP gateway (Abstract)

M. Jandl , Vienna Univ. of Technol., Austria
W. Radinger , Vienna Univ. of Technol., Austria
A. Szep , Vienna Univ. of Technol., Austria
pp. 711

The CommUnity Workbench (Abstract)

M. Wermelinger , Dep. de Informatica, Lisboa Univ., Portugal
C. Oliveira , Dep. de Informatica, Lisboa Univ., Portugal
pp. 713

Coordination contracts for Java applications (Abstract)

J. Gouveia , Oblog Software SA, Linda-A-Velha, Portugal
G. Koutsoukos , Oblog Software SA, Linda-A-Velha, Portugal
pp. 714

Human capacities in the software process: empiric validation (Abstract)

S.T. Acuna , Univ. Nacional de Santiago del Estero, Argentina
pp. 715

An object-oriented bridge among architectural styles, aspects and frameworks (Abstract)

J.A.D. Pace , ISISTAN Res. Inst., UNICEN Univ., Buenos Aires, Argentina
M.R. Campo , ISISTAN Res. Inst., UNICEN Univ., Buenos Aires, Argentina
pp. 717

A representation for describing and analyzing concerns in source code (Abstract)

M.R. Robillard , Dept. of Comput. Sci., British Columbia Univ., Vancouver, BC, Canada
pp. 721-722

Mobile computing middleware for context-aware applications (Abstract)

L. Capra , Dept. of Comput. Sci., Univ. Coll. London, UK
pp. 723-724

Use of software inspection inputs in practice (Abstract)

Yuk Kuen Wong , Sch. of Inf. Syst., Technol. & Manage., New South Wales Univ., Sydney, NSW, Australia
pp. 725-726

Fuzzy logic based interactive recovery of software design (Abstract)

J. Niere , Dept. of Math. & Comput. Sci., Paderborn Univ., Germany
pp. 727-728

A compliance notation for verifying concurrent systems (Abstract)

D.M. Atiya , Dept. of Comput. Sci., York Univ., UK
pp. 731-732

Research abstract for semantic anomaly detection in dynamic data feeds with incomplete specifications (Abstract)

O. Raz , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 733-734

Making software knowledgeable (Abstract)

M. D'Hondt , Syst. & Software Eng. Lab., Vrije Univ., Brussels, Belgium
pp. 735-736
88 ms
(Ver 3.3 (11022016))