Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897916913

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Speeding up slicing

Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94 ◽

10.1145/193173.195287 ◽

1994 ◽

Cited By ~ 69

Author(s):

Thomas Reps ◽

Susan Horwitz ◽

Mooly Sagiv ◽

Genevieve Rosay

Download Full-text

Oracles for checking temporal properties of concurrent systems

Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94 ◽

10.1145/193173.195401 ◽

1994 ◽

Cited By ~ 36

Author(s):

Laura K. Dillon ◽

Qing Yu

Keyword(s):

Concurrent Systems ◽

Temporal Properties

Download Full-text

Data flow analysis for verifying properties of concurrent programs

Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94 ◽

10.1145/193173.195295 ◽

1994 ◽

Cited By ~ 58

Author(s):

Matthew B. Dwyer ◽

Lori A. Clarke

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Concurrent Programs ◽

Data Flow Analysis

Download Full-text

Using specialized procedures and specification-based analysis to reduce the runtime costs of modularity

Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94 ◽

10.1145/193173.195300 ◽

1994 ◽

Cited By ~ 4

Author(s):

Mark T. Vandevoorde ◽

John V. Guttag

Download Full-text

Duplication, insertion and lossiness errors in unreliable communication channels

Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94 ◽

10.1145/193173.195292 ◽

1994 ◽

Cited By ~ 1

Author(s):

Gérard Cécé ◽

Alain Finkel ◽

S. Purushothaman Iyer

Keyword(s):

Communication Channels

Download Full-text

LCLint

Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94 ◽

10.1145/193173.195297 ◽

1994 ◽

Cited By ~ 79

Author(s):

David Evans ◽

John Guttag ◽

James Horning ◽

Yang Meng Tan

Download Full-text

Exploiting style in architectural design environments

Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94 ◽

10.1145/193173.195404 ◽

1994 ◽

Cited By ~ 112

Author(s):

David Garlan ◽

Robert Allen ◽

John Ockerbloom

Keyword(s):

Architectural Design ◽

Design Environments

Download Full-text

A language-independent approach to specification construction

Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94 ◽

10.1145/193173.195296 ◽

1994 ◽

Cited By ~ 7

Author(s):

N. Lévy ◽

G. Smith

Download Full-text

Reengineering a complex application using a scalable data structure compiler

Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94 ◽

10.1145/193173.195299 ◽

1994 ◽

Cited By ~ 11

Author(s):

Don Batory ◽

Jeff Thomas ◽

Marty Sirkin

Keyword(s):

Data Structure

Download Full-text

Correctness and composition of software architectures

Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94 ◽

10.1145/193173.195403 ◽

1994 ◽

Cited By ~ 20

Author(s):

Mark Moriconi ◽

Xiaolei Qian

Keyword(s):

Software Architectures

Download Full-text

Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Speeding up slicing

Oracles for checking temporal properties of concurrent systems

Data flow analysis for verifying properties of concurrent programs

Using specialized procedures and specification-based analysis to reduce the runtime costs of modularity

Duplication, insertion and lossiness errors in unreliable communication channels

LCLint

Exploiting style in architectural design environments

A language-independent approach to specification construction

Reengineering a complex application using a scalable data structure compiler

Correctness and composition of software architectures

Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94
Latest Publications