Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '95
Latest Publications

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By ACM Press

0897917162

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model checking software systems

Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '95 ◽

10.1145/222124.222148 ◽

1995 ◽

Author(s):

Jeannette M. Wing ◽

Mandana Vaziri-Farahani

Keyword(s):

Model Checking ◽

Software Systems

Download Full-text

An experiment to assess the cost-benefits of code inspections in large scale software development

Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '95 ◽

10.1145/222124.222144 ◽

1995 ◽

Author(s):

A. Porter ◽

H. Siy ◽

C. A. Toman ◽

L. G. Votta

Keyword(s):

Software Development ◽

Large Scale ◽

Cost Benefits ◽

Download Full-text

Keynote Address

Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '95 ◽

10.1145/222124.565651 ◽

1995 ◽

Author(s):

Adele Goldberg

Keyword(s):

Keynote Address

Download Full-text

Software reflexion models

Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '95 ◽

10.1145/222124.222136 ◽

1995 ◽

Author(s):

Gail C. Murphy ◽

David Notkin ◽

Kevin Sullivan

Download Full-text

Specification matching of software components

Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '95 ◽

10.1145/222124.222135 ◽

1995 ◽

Author(s):

Amy Moormann Zaremski ◽

Jeannette M. Wing

Keyword(s):

Software Components ◽

Specification Matching

Download Full-text

Software architecture (panel)

Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '95 ◽

10.1145/222124.222134 ◽

1995 ◽

Author(s):

David Garlan

Keyword(s):

Software Architecture

Download Full-text

Formalization and application of a unifying model for name management

Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '95 ◽

10.1145/222124.222152 ◽

1995 ◽

Author(s):

Alan Kaplan ◽

Jack C. Wileden

Download Full-text

State abstraction and modular software development

Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '95 ◽

10.1145/222124.222139 ◽

1995 ◽

Author(s):

Daniel Hoffman ◽

Paul Strooper

Keyword(s):

Software Development ◽

Modular Software ◽

State Abstraction

Download Full-text

Hybrid slicing

Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '95 ◽

10.1145/222124.222137 ◽

1995 ◽

Author(s):

Rajiv Gupta ◽

Mary Lou Soffa

Download Full-text

Feature interactions in the global information infrastructure

Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '95 ◽

10.1145/222124.222133 ◽

1995 ◽

Author(s):

Alfred V. Aho ◽

Nancy D. Griffeth

Keyword(s):

Information Infrastructure ◽

Global Information ◽

Feature Interactions ◽

Global Information Infrastructure

Download Full-text