Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDavid S. Wile
Person information
- affiliation: Teknowledge Corporation, Marina del Rey, CA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2007
[j17]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): 73-91 (2007)- 2006
- [j16]Alexander Egyed, David S. Wile:
Support for Managing Design-Time Decisions. IEEE Trans. Software Eng. 32(5): 299-314 (2006) - 2005
- [j15]Wolfgang Emmerich, David Wile:
Introduction. Autom. Softw. Eng. 12(3): 295-296 (2005) - [j14]Wolfgang Emmerich, David Wile:
Introduction. Autom. Softw. Eng. 12(4): 391-392 (2005) - 2004
- [j13]David S. Wile:
Desert Island Reading Assignment. Autom. Softw. Eng. 11(2): 193-196 (2004) - [j12]David S. Wile:
Lessons learned from real DSL experiments. Sci. Comput. Program. 51(3): 265-290 (2004) - 2003
- [j11]David S. Wile:
Revealing component properties through architectural styles. J. Syst. Softw. 65(3): 209-214 (2003) - 2001
- [j10]David S. Wile:
Modeling Architecture Description Languages Using AML. Autom. Softw. Eng. 8(1): 63-88 (2001) - 1999
- [j9]David S. Wile, J. Christopher Ramming:
Guest Editorial: Introduction to the Special Section "Domain-Specfic Languages (DSL)''. IEEE Trans. Software Eng. 25(3): 289-290 (1999) - 1983
- [j8]David S. Wile:
Program Developments: Formal Explanations of Implementations. Commun. ACM 26(11): 902-911 (1983) - 1981
- [j7]David S. Wile:
Type Transformations. IEEE Trans. Software Eng. 7(1): 32-39 (1981) - 1978
- [j6]Robert Balzer, Neil M. Goldman, David S. Wile:
Informality in Program Specifications. IEEE Trans. Software Eng. 4(2): 94-103 (1978) - 1977
- [j5]Robert Balzer, Neil M. Goldman, David Wile:
On the use of programming knowledge to understand informal process descriptions. SIGART Newsl. 63: 72-75 (1977) - [j4]Neil M. Goldman, Robert Balzer, David Wile:
The inference of domain structure from informal process descriptions. SIGART Newsl. 63: 75-76 (1977) - 1973
- [j3]David S. Wile:
A generative nested-sequential basis for general-purpose programming languages. ACM SIGPLAN Notices 8(6): 96-98 (1973) - 1972
- [j2]David S. Wile, Charles M. Geschke:
An implementation base for efficient data structuring. Int. J. Parallel Program. 1(3): 209-224 (1972) - 1971
- [j1]David S. Wile, Charles M. Geschke:
Efficient data accessing in the programming language Bliss. ACM SIGPLAN Notices 6(2): 306-320 (1971)
Conference and Workshop Papers
- 2012
- [c36]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: 47-54 - 2010
- [c35]David S. Wile, Robert Balzer, Neil M. Goldman, Marcelo Tallis, Alexander Egyed, Tim Hollebeek:
Adapting COTS products. ICSM 2010: 1-9 - 2007
- [c34]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: 332-335 - 2006
- [c33]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: 1836-1843 - 2004
- [c32]David S. Wile, Alexander Egyed:
An Externalized Infrastructure for Self-Healing Systems. WICSA 2004: 285-290 - [c31]David S. Wile:
Patterns of self-management. WOSS 2004: 110-114 - 2003
- [c30]David S. Wile:
Lessons Learned from Real DSL Experiments. HICSS 2003: 325 - [c29]David S. Wile:
Architecture Style-Based Calculi for Non-functional Properties. ASE 2003: 299-303 - 2002
- [c28]David S. Wile:
Towards a synthesis of dynamic architecture event languages. WOSS 2002: 79-84 - 2001
- [c27]David S. Wile:
Residual Requirements and Architectural Residue. RE 2001: 194-201 - [c26]Alexander Egyed, David S. Wile:
Statechart Simulator for Modeling Architectural Dynamics. WICSA 2001: 87- - 1999
- [c25]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:
International Workshop on Software Transformation Systems (STS'99). ICSE 1999: 701-702 - [c24]David S. Wile:
AML: An Architecture Meta-Language. ASE 1999: 183-190 - 1997
- [c23]David S. Wile:
Towards a calculus for abstract syntax trees. Algorithmic Languages and Calculi 1997: 324-353 - [c22]David Garlan, Robert T. Monroe, David Wile:
Acme: an architecture description interchange language. CASCON 1997: 7 - [c21]David S. Wile:
Abstract Syntax from Concrete Syntax. ICSE 1997: 472-480 - 1996
- [c20]David Wile:
Semantics for the architecture interchange language, ACME. ISAW/Viewpoints@FSE 1996: 28-30 - 1990
- [c19]David S. Wile:
Adding relational abstraction to programming languages. Formal Methods in Software Development 1990: 128-139 - [c18]Edward A. Ipser, David S. Wile, Dean Jacobs:
A multi-formalism specification environment. SDE 1990: 94-106 - 1989
- [c17]Dennis G. Allard, David S. Wile:
Aggregation, Persistence, and Identity in Worlds. POS 1989: 161-174 - 1987
- [c16]David S. Wile, Neil M. Goldman, Dennis G. Allard:
Maintaining Object Persistence in the Common Lisp Framework. POS 1987: 382-406 - 1986
- [c15]David S. Wile:
Organizing Programming Knowledge into Syntax-Directed Experts. Advanced Programming Environments 1986: 551-565 - [c14]David S. Wile, Dennis G. Allard:
Worlds: an organizing structure for object-bases. SDE 1986: 16-26 - 1982
- [c13]Robert M. Balzer, Neil M. Goldman, David S. Wile:
Operational specification as the basis for rapid prototyping. Rapid Prototyping 1982: 3-16 - 1981
- [c12]Robert Balzer, Alvin S. Cooperband, Martin S. Feather, Philip E. London, David S. Wile:
Application Downloading. ICSE 1981: 450-459 - 1980
- [c11]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: 343-347 - 1979
- [c10]Neil M. Goldman, David S. Wile:
A Relational Data Base Foundation for Process Specification. ER 1979: 413-432 - 1978
- [c9]Robert Balzer, Neil M. Goldman, David Wile:
Informality in program specifications. AFIPS National Computer Conference 1978: 671-672 - [c8]David Wile, Robert Balzer:
Transformational implementation. AFIPS National Computer Conference 1978: 705-706 - 1977
- [c7]Robert Balzer, Neil M. Goldman, David S. Wile:
Informality in Program Specifications. IJCAI 1977: 389-397 - [c6]Robert Balzer, Neil M. Goldman, David S. Wile:
Meta-Evaluation as a Tool for Program Understanding. IJCAI 1977: 398-403 - [c5]Neil M. Goldman, Robert Balzer, David S. Wile:
The Use of a Domain Model in Understanding Informal Process Descriptions. IJCAI 1977: 404 - [c4]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: 77-84 - 1976
- [c3]Robert Balzer, Neil M. Goldman, David S. Wile:
On the Transformational Implementation Approach to Programming. ICSE 1976: 337-344 - 1971
- [c2]William A. Wulf, Charles M. Geschke, David Wile, Jerry L. Apperson:
Reflections on a systems programming language. SIGPLAN Symposium on Languages for System Implementation 1971: 42-49 - 1967
- [c1]David S. Wile, Robert G. Munck, Andries van Dam:
The Brown University Student Operating System. ACM National Conference 1967: 427-439
Editorship
- 1994
- [e1]David S. Wile:
Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1994, New Orleans, Louisiana, USA, December 6-9, 1994. ACM 1994, ISBN 978-0-89791-691-2 [contents]
Coauthor Index
aka: Robert M. Balzer
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 01:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
