Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '96
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897917979

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Tool support for planning the restructuring of data abstractions in large systems

Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '96 ◽

10.1145/239098.239107 ◽

1996 ◽

Cited By ~ 9

Author(s):

William G. Griswold ◽

Morison I. Chen ◽

Robert W. Bowdidge ◽

J. David Morgenthaler

Keyword(s):

Tool Support ◽

Large Systems

Download Full-text

Dynamic structure in software architectures

Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '96 ◽

10.1145/239098.239104 ◽

1996 ◽

Cited By ~ 178

Author(s):

Jeff Magee ◽

Jeff Kramer

Keyword(s):

Dynamic Structure ◽

Software Architectures

Download Full-text

Industrial priorities for software engineering research (panel)

Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '96 ◽

10.1145/239098.239103 ◽

1996 ◽

Author(s):

Barry Boehm

Keyword(s):

Software Engineering ◽

Engineering Research ◽

Software Engineering Research

Download Full-text

What can programming languages contribute to software engineering, and vice versa? (panel)

Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '96 ◽

10.1145/239098.239099 ◽

1996 ◽

Cited By ~ 1

Author(s):

Gregor Kiczales

Keyword(s):

Software Engineering ◽

Programming Languages

Download Full-text

Decoupling change from design

Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '96 ◽

10.1145/239098.239109 ◽

1996 ◽

Cited By ~ 13

Author(s):

Michael VanHilst ◽

David Notkin

Download Full-text

Formal refinement patterns for goal-driven requirements elaboration

Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '96 ◽

10.1145/239098.239131 ◽

1996 ◽

Cited By ~ 130

Author(s):

Robert Darimont ◽

Axel van Lamsweerde

Download Full-text

Specification-based testing of synchronous software

Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '96 ◽

10.1145/239098.239119 ◽

1996 ◽

Cited By ~ 14

Author(s):

Ioannis Parissis ◽

Farid Ouabdesselam

Download Full-text

Checking relational specifications with binary decision diagrams

Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '96 ◽

10.1145/239098.239110 ◽

1996 ◽

Cited By ~ 1

Author(s):

Craig A. Damon ◽

Daniel Jackson ◽

Somesh Jha

Keyword(s):

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision

Download Full-text

Evolution of object behavior using context relations

Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '96 ◽

10.1145/239098.239108 ◽

1996 ◽

Cited By ~ 11

Author(s):

Linda M. Seiter ◽

Jens Palsberg ◽

Karl J. Lieberherr

Keyword(s):

Object Behavior

Download Full-text

Program generalization for software reuse

Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '96 ◽

10.1145/239098.239121 ◽

1996 ◽

Cited By ~ 11

Author(s):

Michael Siff ◽

Thomas Reps

Keyword(s):

Software Reuse

Download Full-text

Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '96Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Tool support for planning the restructuring of data abstractions in large systems

Dynamic structure in software architectures

Industrial priorities for software engineering research (panel)

What can programming languages contribute to software engineering, and vice versa? (panel)

Decoupling change from design

Formal refinement patterns for goal-driven requirements elaboration

Specification-based testing of synchronous software

Checking relational specifications with binary decision diagrams

Evolution of object behavior using context relations

Program generalization for software reuse

Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '96
Latest Publications