David S. Wile

Publication Activity (10 Years)

Years Active: 1967-2012
Publications (10 Years): 0

Top Topics

Ubiquitous Systems

Decision Makers

Strategic And Tactical

Top Venues

Publications

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
STRATUS: Strategic and Tactical Resiliency against Threats to Ubiquitous Systems. SASO Workshops (2012)
David S. Wile, Robert Balzer, Neil M. Goldman, Marcelo Tallis, Alexander Egyed, Tim Hollebeek
Adapting COTS products. ICSM (2010)
Howard E. Shrobe, Robert Laddaga, Robert Balzer, Neil M. Goldman, David S. Wile, Marcelo Tallis, Tim Hollebeek, Alexander Egyed
Self-Adaptive Systems for Information Survivability: PMOP and AWDRAT. SASO (2007)
Howard E. Shrobe, Robert Laddaga, Robert Balzer, Neil M. Goldman, David S. Wile, Marcelo Tallis, Tim Hollebeek, Alexander Egyed
AWDRAT: A Cognitive Middleware System for Information Survivability. AI Mag. 28 (3) (2007)
Alexander Egyed, David S. Wile
Support for Managing Design-Time Decisions. IEEE Trans. Software Eng. 32 (5) (2006)
Howard E. Shrobe, Robert Laddaga, Robert Balzer, Neil M. Goldman, David S. Wile, Marcelo Tallis, Tim Hollebeek, Alexander Egyed
AWDRAT: A Cognitive Middleware System for Information Survivability. AAAI (2006)
David S. Wile
Desert Island Reading Assignment. Autom. Softw. Eng. 11 (2) (2004)
David S. Wile
Patterns of self-management. WOSS (2004)
David S. Wile, Alexander Egyed
An Externalized Infrastructure for Self-Healing Systems. WICSA (2004)
David S. Wile
Lessons learned from real DSL experiments. Sci. Comput. Program. 51 (3) (2004)
David S. Wile
Revealing component properties through architectural styles. J. Syst. Softw. 65 (3) (2003)
David S. Wile
Lessons Learned from Real DSL Experiments. HICSS (2003)
David S. Wile
Architecture Style-Based Calculi for Non-functional Properties. ASE (2003)
David S. Wile
Towards a synthesis of dynamic architecture event languages. WOSS (2002)
Alexander Egyed, David S. Wile
Statechart Simulator for Modeling Architectural Dynamics. WICSA (2001)
David S. Wile
Modeling Architecture Description Languages Using AML. Autom. Softw. Eng. 8 (1) (2001)
David S. Wile
Residual Requirements and Architectural Residue. RE (2001)
David S. Wile, J. Christopher Ramming
Guest Editorial: Introduction to the Special Section "Domain-Specfic Languages (DSL)''. IEEE Trans. Software Eng. 25 (3) (1999)
David S. Wile
AML: An Architecture Meta-Language. ASE (1999)
Marcelo Sant'Anna, Julio Cesar Sampaio do Prado Leite, Ira D. Baxter, David S. Wile, Ted J. Biggerstaff, Don S. Batory, Premkumar T. Devanbu, Elizabeth Burd
International Workshop on Software Transformation Systems (STS'99). ICSE (1999)
David S. Wile
Towards a calculus for abstract syntax trees. Algorithmic Languages and Calculi (1997)
David S. Wile
Abstract Syntax from Concrete Syntax. ICSE (1997)
David S. Wile
Adding relational abstraction to programming languages. Formal Methods in Software Development (1990)
Edward A. Ipser, David S. Wile, Dean Jacobs
A multi-formalism specification environment. SDE (1990)
Dennis G. Allard, David S. Wile
Aggregation, Persistence, and Identity in Worlds. POS (1989)
David S. Wile, Neil M. Goldman, Dennis G. Allard
Maintaining Object Persistence in the Common Lisp Framework. POS (1987)
David S. Wile, Dennis G. Allard
Worlds: an organizing structure for object-bases. SDE (1986)
David S. Wile
Organizing Programming Knowledge into Syntax-Directed Experts. Advanced Programming Environments (1986)
David S. Wile
Program Developments: Formal Explanations of Implementations. Commun. ACM 26 (11) (1983)
Robert M. Balzer, Neil M. Goldman, David S. Wile
Operational specification as the basis for rapid prototyping. Rapid Prototyping (1982)
David S. Wile
Type Transformations. IEEE Trans. Software Eng. 7 (1) (1981)
Robert Balzer, Alvin S. Cooperband, Martin S. Feather, Philip E. London, David S. Wile
Application Downloading. ICSE (1981)
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
An Overview of AFFIRM: A Specification and Verification System. IFIP Congress (1980)
Neil M. Goldman, David S. Wile
A Relational Data Base Foundation for Process Specification. ER (1979)
Robert Balzer, Neil M. Goldman, David S. Wile
Informality in Program Specifications. IEEE Trans. Software Eng. 4 (2) (1978)
Neil M. Goldman, Robert Balzer, David S. Wile
The Use of a Domain Model in Understanding Informal Process Descriptions. IJCAI (1977)
Robert Balzer, Neil M. Goldman, David S. Wile
Meta-Evaluation as a Tool for Program Understanding. IJCAI (1977)
David S. Wile, Robert Balzer, Neil M. Goldman
Automated derivation of program control structure from natural language program descriptions. Artificial Intelligence and Programming Languages (1977)
Robert Balzer, Neil M. Goldman, David S. Wile
Informality in Program Specifications. IJCAI (1977)
Robert Balzer, Neil M. Goldman, David S. Wile
On the Transformational Implementation Approach to Programming. ICSE (1976)
David S. Wile
A generative nested-sequential basis for general-purpose programming languages. ACM SIGPLAN Notices 8 (6) (1973)
David S. Wile, Charles M. Geschke
An implementation base for efficient data structuring. Int. J. Parallel Program. 1 (3) (1972)
David S. Wile, Charles M. Geschke
Efficient data accessing in the programming language Bliss. ACM SIGPLAN Notices 6 (2) (1971)
David S. Wile, Robert G. Munck, Andries van Dam
The Brown University Student Operating System. ACM National Conference (1967)