Proceedings of the tenth ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '02/FSE 10
Latest Publications

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

12

(FIVE YEARS 0)

Published By ACM Press

1581135149

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Isolating cause-effect chains from computer programs

Proceedings of the tenth ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '02/FSE 10 ◽

10.1145/587051.587053 ◽

2002 ◽

Author(s):

Andreas Zeller

Keyword(s):

Computer Programs

Download Full-text

Improving program slicing with dynamic points-to data

Proceedings of the tenth ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '02/FSE 10 ◽

10.1145/587051.587062 ◽

2002 ◽

Author(s):

Markus Mock ◽

Darren C. Atkinson ◽

Craig Chambers ◽

Susan J. Eggers

Keyword(s):

Program Slicing

Download Full-text

Architectural primitives for distribution and mobility

Proceedings of the tenth ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '02/FSE 10 ◽

10.1145/587051.587058 ◽

2002 ◽

Author(s):

Antónia Lopes ◽

José Luiz Fiadeiro ◽

Michel Wermelinger

Download Full-text

Using redundancies to find errors

Proceedings of the tenth ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '02/FSE 10 ◽

10.1145/587051.587060 ◽

2002 ◽

Author(s):

Yichen Xie ◽

Dawson Engler

Download Full-text

Triggered message sequence charts

Proceedings of the tenth ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '02/FSE 10 ◽

10.1145/587051.587077 ◽

2002 ◽

Author(s):

Bikram Sengupta ◽

Rance Cleaveland

Keyword(s):

Message Sequence Charts

Download Full-text

A micro-economic approach to conflict resolution in mobile computing

Proceedings of the tenth ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '02/FSE 10 ◽

10.1145/587051.587057 ◽

2002 ◽

Author(s):

Licia Capra ◽

Wolfgang Emmerich ◽

Cecilia Mascolo

Keyword(s):

Conflict Resolution ◽

Mobile Computing ◽

Economic Approach

Download Full-text

Secure systems development based on the common criteria

Proceedings of the tenth ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '02/FSE 10 ◽

10.1145/587051.587071 ◽

2002 ◽

Author(s):

Monika Vetterling ◽

Guido Wimmel ◽

Alexander Wisspeintner

Keyword(s):

Systems Development ◽

Secure Systems ◽

Common Criteria ◽

Download Full-text

Containment units

Proceedings of the tenth ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '02/FSE 10 ◽

10.1145/587051.587076 ◽

2002 ◽

Author(s):

Jamieson M. Cobleigh ◽

Leon J. Osterweil ◽

Alexander Wise ◽

Barbara Staudt Lerner

Download Full-text

Invariant inference for static checking:

Proceedings of the tenth ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '02/FSE 10 ◽

10.1145/587051.587054 ◽

2002 ◽

Author(s):

Jeremy W. Nimmer ◽

Michael D. Ernst

Keyword(s):

Static Checking

Download Full-text

Egocentric context-aware programming in ad hoc mobile environments

Proceedings of the tenth ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '02/FSE 10 ◽

10.1145/587051.587056 ◽

2002 ◽

Author(s):

Christine Julien ◽

Gruia-Catalin Roman

Keyword(s):

Ad Hoc ◽

Context Aware ◽

Mobile Environments

Download Full-text