Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering twenty-first century applications - SIGSOFT '00/FSE-8
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1581132050

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Classifying properties

Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering twenty-first century applications - SIGSOFT '00/FSE-8 ◽

10.1145/355045.355066 ◽

2000 ◽

Cited By ~ 4

Author(s):

Gleb Naumovich ◽

Lori A. Clarke

Download Full-text

Automating first-order relational logic

Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering twenty-first century applications - SIGSOFT '00/FSE-8 ◽

10.1145/355045.355063 ◽

2000 ◽

Cited By ~ 68

Author(s):

Daniel Jackson

Keyword(s):

First Order ◽

Relational Logic

Download Full-text

Integrating active information delivery and reuse repository systems

Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering twenty-first century applications - SIGSOFT '00/FSE-8 ◽

10.1145/355045.355053 ◽

2000 ◽

Cited By ~ 18

Author(s):

Yunwen Ye ◽

Gerhard Fischer ◽

Brent Reeves

Keyword(s):

Information Delivery

Download Full-text

Automated test oracles for GUIs

Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering twenty-first century applications - SIGSOFT '00/FSE-8 ◽

10.1145/355045.355050 ◽

2000 ◽

Cited By ~ 45

Author(s):

Atif M. Memon ◽

Martha E. Pollack ◽

Mary Lou Soffa

Keyword(s):

Test Oracles ◽

Automated Test

Download Full-text

Composing features and resolving interactions

Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering twenty-first century applications - SIGSOFT '00/FSE-8 ◽

10.1145/355045.355061 ◽

2000 ◽

Cited By ~ 15

Author(s):

Jonathan D. Hay ◽

Joanne M. Atlee

Download Full-text

Designing robust Java programs with exceptions

Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering twenty-first century applications - SIGSOFT '00/FSE-8 ◽

10.1145/355045.355046 ◽

2000 ◽

Cited By ~ 27

Author(s):

Martin P. Robillard ◽

Gail C. Murphy

Keyword(s):

Java Programs

Download Full-text

On the formalization of architectural types with process algebras

Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering twenty-first century applications - SIGSOFT '00/FSE-8 ◽

10.1145/355045.355064 ◽

2000 ◽

Cited By ~ 16

Author(s):

Marco Bernardo ◽

Paolo Ciancarini ◽

Lorenzo Donatiello

Keyword(s):

Process Algebras

Download Full-text

Software development for next generation communication networks

Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering twenty-first century applications - SIGSOFT '00/FSE-8 ◽

10.1145/355045.355047 ◽

2000 ◽

Author(s):

Richard A. DeMillo

Keyword(s):

Software Development ◽

Communication Networks ◽

Next Generation

Download Full-text

The universe model

Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering twenty-first century applications - SIGSOFT '00/FSE-8 ◽

10.1145/355045.355049 ◽

2000 ◽

Cited By ~ 10

Author(s):

Reimer Behrends ◽

R. E. Kurt Stirewalt

Keyword(s):

Universe Model ◽

The Universe

Download Full-text

Extracting library-based object-oriented applications

Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering twenty-first century applications - SIGSOFT '00/FSE-8 ◽

10.1145/355045.355059 ◽

2000 ◽

Cited By ~ 4

Author(s):

Peter F. Sweeney ◽

Frank Tip

Keyword(s):

Object Oriented

Download Full-text

Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering twenty-first century applications - SIGSOFT '00/FSE-8Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Classifying properties

Automating first-order relational logic

Integrating active information delivery and reuse repository systems

Automated test oracles for GUIs

Composing features and resolving interactions

Designing robust Java programs with exceptions

On the formalization of architectural types with process algebras

Software development for next generation communication networks

The universe model

Extracting library-based object-oriented applications

Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering twenty-first century applications - SIGSOFT '00/FSE-8
Latest Publications