Kevin J. Sullivan

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Science of design.

[BibT_eX]

[DOI]

Jeff Magee

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

7th international workshop on economics-driven software engineering research.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Classpects: unifying aspect- and object-oriented language design.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Aspect language features for concern coverage profiling.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Aspect-Oriented Software Development, 2005

2004

Understanding Aspects via Implicit Invocation.

[BibT_eX]

[DOI]

Jia Xu

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Software assurance by bounded exhaustive testing.

[BibT_eX]

[DOI]

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2003

<i>Eos</i>: instance-level aspects for integrated system design.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Shared Semantic Domains for Computational Reliability Engineering.

[BibT_eX]

[DOI]

Robert R. Painter

Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

Sound Methods and Effective Tools for Engineering Modeling and Analysis.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Software Engineering, 2003

Towards a Rigorous Definition of Information System Survivability.

[BibT_eX]

[DOI]

John C. Knight

Elisabeth A. Strunk

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

2002

Software engineering economics: background, current practices, and future directions.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Software Engineering, 2002

Web services engineering: promises and challenges.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Software Engineering, 2002

Non-modularity in aspect-oriented languages: integration as a crosscutting concern for <i>AspectJ</i>.

[BibT_eX]

[DOI]

Lin Gu

Yuanfang Cai

Proceedings of the 1st International Conference on Aspect-Oriented Software Development, 2002

2001

Software Reflexion Models: Bridging the Gap between Design and Implementation.

[BibT_eX]

[DOI]

Gail C. Murphy

David Notkin

IEEE Trans. Software Eng., 2001

The structure and value of modularity in software design.

[BibT_eX]

[DOI]

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

Third International Workshop on Economics-Driven Software Engineering Research.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Software Engineering, 2001

A Web-Oriented Architectural Aspect for the Emerging Computational Tapestry.

[BibT_eX]

[DOI]

Avneesh Saxena

Proceedings of the 23rd International Conference on Software Engineering, 2001

2000

Developing a low-cost high-quality software tool for dynamic fault-tree analysis.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2000

COM revisited: tool-assisted modelling of an architectural framework.

[BibT_eX]

[DOI]

Daniel Jackson

Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees.

[BibT_eX]

[DOI]

Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000

The 2nd International Workshop on Economics-Driven Software Engineering Research.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Galileo: a tool built from mass-market applications.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Multiple mass-market applications as components.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Software economics: a roadmap.

[BibT_eX]

[DOI]

Barry W. Boehm

Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999

Analysis of a Conflict between Aggregation and Interface Negotiation in Microsoft's Component Object Model.

[BibT_eX]

[DOI]

Mark Marchukov

John Socha

IEEE Trans. Software Eng., 1999

Software economics: status and prospects.

[BibT_eX]

[DOI]

Barry W. Boehm

Inf. Softw. Technol., 1999

Exploration Harnesses: Tool-Supported Interactive Discovery of Commercial Component Properties.

[BibT_eX]

[DOI]

Michael A. Copenhafer

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Developing a high-quality software tool for fault tree analysis.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999

First Workshop on Economics-Driven Software Engineering Research.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Conference on Software Engineering, 1999

Information Survivability Control Systems.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Conference on Software Engineering, 1999

The Galileo Fault Tree Analysis Tool.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS-29, 1999

1998

Mediators in infrastructure survivability enhancement.

[BibT_eX]

[DOI]

Steve Geist

Paul Shaw

Proceedings of the Third International Workshop on Software Architecture, 1998

Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

Formal Specification in Collaborative Design of Critical Software Tools.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

1997

Using Formal Methods to Reason about Architectural Standards.

[BibT_eX]

[DOI]

John Socha

Mark Marchukov

Proceedings of the Pulling Together, 1997

Package-Oriented Programming of Engineering Tools.

[BibT_eX]

[DOI]

Proceedings of the Pulling Together, 1997

1996

Evaluating The Mediator Method: Prism as a Case Study.

[BibT_eX]

[DOI]

Ira Kalet

David Notkin

IEEE Trans. Software Eng., 1996

Software design: the options approach.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, 1996

Rapid Development of Simple, Custom Program Analysis Tools.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Program Comprehension (WPC '96), 1996

Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse.

[BibT_eX]

[DOI]