David S. Wile

According to our database, David S. Wile authored at least 48 papers between 1967 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

STRATUS: Strategic and Tactical Resiliency against Threats to Ubiquitous Systems.

Mark H. Burstein, Robert P. Goldman, Paul Robertson, Robert Laddaga, Robert Balzer, Neil M. Goldman, Christopher W. Geib, Ugur Kuter, David D. McDonald, John Maraist, Peter Keller, David S. Wile

Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012

2010

Adapting COTS products.

David S. Wile, Robert Balzer, Neil M. Goldman, Marcelo Tallis, Alexander Egyed, Tim Hollebeek

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

2007

AWDRAT: A Cognitive Middleware System for Information Survivability.

Howard E. Shrobe, Robert Laddaga, Robert Balzer, Neil M. Goldman, David S. Wile, Marcelo Tallis, Tim Hollebeek, Alexander Egyed

AI Mag., 2007

Self-Adaptive Systems for Information Survivability: PMOP and AWDRAT.

Howard E. Shrobe, Robert Laddaga, Robert Balzer, Neil M. Goldman, David S. Wile, Marcelo Tallis, Tim Hollebeek, Alexander Egyed

Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007

2006

Support for Managing Design-Time Decisions.

Alexander Egyed, David S. Wile

IEEE Trans. Software Eng., 2006

2005

Introduction.

Wolfgang Emmerich, David Wile

Autom. Softw. Eng., 2005

2004

Lessons learned from real DSL experiments.

David S. Wile

Sci. Comput. Program., 2004

Desert Island Reading Assignment.

David S. Wile

Autom. Softw. Eng., 2004

Patterns of self-management.

David S. Wile

Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, 2004

An Externalized Infrastructure for Self-Healing Systems.

David S. Wile, Alexander Egyed

Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004

2003

Revealing component properties through architectural styles.

David S. Wile

J. Syst. Softw., 2003

Architecture Style-Based Calculi for Non-functional Properties.

David S. Wile

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

2002

Towards a synthesis of dynamic architecture event languages.

David S. Wile

Proceedings of the First Workshop on Self-Healing Systems, 2002

2001

Modeling Architecture Description Languages Using AML.

David S. Wile

Autom. Softw. Eng., 2001

Statechart Simulator for Modeling Architectural Dynamics.

Alexander Egyed, David S. Wile

Proceedings of the 2001 Working IEEE / IFIP Conference on Software Architecture (WICSA 2001), 2001

Residual Requirements and Architectural Residue.

David S. Wile

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

1999

Guest Editorial: Introduction to the Special Section "Domain-Specfic Languages (DSL)''.

David S. Wile, J. Christopher Ramming

IEEE Trans. Software Eng., 1999

AML: An Architecture Meta-Language.

David S. Wile

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

International Workshop on Software Transformation Systems (STS'99).

Marcelo Sant'Anna, Julio César Sampaio do Prado Leite, Ira D. Baxter, David S. Wile, Ted J. Biggerstaff, Don S. Batory, Premkumar T. Devanbu, Elizabeth Burd

Proceedings of the 1999 International Conference on Software Engineering, 1999

1997

Abstract Syntax from Concrete Syntax.

David S. Wile

Proceedings of the Pulling Together, 1997

Acme: an architecture description interchange language.

David Garlan, Robert T. Monroe, David Wile

Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative Research, 1997

Towards a calculus for abstract syntax trees.

David S. Wile

Proceedings of the Algorithmic Languages and Calculi, 1997

1996

Semantics for the architecture interchange language, ACME.

David Wile

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

1990

A multi-formalism specification environment.

Edward A. Ipser, David S. Wile, Dean Jacobs

Proceedings of the SIGSOFT'90 4th Symposium on Software Development Environments, 1990

Adding relational abstraction to programming languages.

David S. Wile

Proceedings of the Conference proceedings on Formal methods in software development, 1990

1989

Aggregation, Persistence, and Identity in Worlds.

Dennis G. Allard, David S. Wile

Proceedings of the Persistent Object Systems, 1989

1987

Maintaining Object Persistence in the Common Lisp Framework.

David S. Wile, Neil M. Goldman, Dennis G. Allard

Proceedings of the Persistent Object Systems: Their Design Implementation and Use. Proceedings of the Second International Workshop, 1987

1986

Worlds: an organizing structure for object-bases.

David S. Wile, Dennis G. Allard

Proceedings of the SESPSDE'86: ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1986

Organizing Programming Knowledge into Syntax-Directed Experts.

David S. Wile

Proceedings of the Advanced Programming Environments, 1986

1983

Program Developments: Formal Explanations of Implementations.

David S. Wile

Commun. ACM, 1983

1982

Operational specification as the basis for rapid prototyping.

Robert M. Balzer, Neil M. Goldman, David S. Wile

Proceedings of the workshop on Rapid Prototyping, 1982

1981

Type Transformations.

David S. Wile

IEEE Trans. Software Eng., 1981

Application Downloading.

Robert Balzer, Alvin S. Cooperband, Martin S. Feather, Philip E. London, David S. Wile

Proceedings of the 5th International Conference on Software Engineering, 1981

1980

An Overview of AFFIRM: A Specification and Verification System.

Susan L. Gerhart, David R. Musser, David H. Thompson, D. A. Baker, R. L. Bates, Roddy W. Erickson, Ralph L. London, D. G. Taylor, David S. Wile

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

1979

A Relational Data Base Foundation for Process Specification.

Neil M. Goldman, David S. Wile

Proceedings of the Entity-Relationship Approach to Systems Analysis and Design. Proc. 1st International Conference on the Entity-Relationship Approach, 1979

1978

Informality in Program Specifications.

Robert Balzer, Neil M. Goldman, David S. Wile

IEEE Trans. Software Eng., 1978

Transformational implementation.

David Wile, Robert Balzer

Proceedings of the American Federation of Information Processing Societies: 1978 National Computer Conference, 1978

1977

Automated derivation of program control structure from natural language program descriptions.

David S. Wile, Robert Balzer, Neil M. Goldman

Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages, 1977

The inference of domain structure from informal process descriptions.

Neil M. Goldman, Robert Balzer, David Wile

SIGART Newsl., 1977

On the use of programming knowledge to understand informal process descriptions.

Robert Balzer, Neil M. Goldman, David Wile

SIGART Newsl., 1977

The Use of a Domain Model in Understanding Informal Process Descriptions.

Neil M. Goldman, Robert Balzer, David S. Wile

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

Meta-Evaluation as a Tool for Program Understanding.

Robert Balzer, Neil M. Goldman, David S. Wile

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976

On the Transformational Implementation Approach to Programming.

Robert Balzer, Neil M. Goldman, David S. Wile

Proceedings of the 2nd International Conference on Software Engineering, 1976

1973

A generative nested-sequential basis for general-purpose programming languages.

David S. Wile

ACM SIGPLAN Notices, 1973

1972

An implementation base for efficient data structuring.

David S. Wile, Charles M. Geschke

Int. J. Parallel Program., 1972

1971

Efficient data accessing in the programming language Bliss.

David S. Wile, Charles M. Geschke

ACM SIGPLAN Notices, 1971

Reflections on a systems programming language.

William A. Wulf, Charles M. Geschke, David Wile, Jerry L. Apperson

Proceedings of the SIGPLAN Symposium on Languages for System Implementation, 1971

1967

The Brown University Student Operating System.

David S. Wile, Robert G. Munck, Andries van Dam

Proceedings of the 22nd national conference, 1967