David Wile

发表

Informality in program specifications.

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

En-Gauging Architectures

Robert Balzer, David Wile, 2004 .

David Wile, 1996 .

A Database Foundation for Process Specifications

David Wile, Neil Goldman, 1980 .

Research in Progress at the Information Sciences Institute, University of Southern California

William C. Mann, Yechiam Yemini, Jeff Barnett, 2017 .

SIGSOFT '94, Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, New Orleans, Louisiana, USA, December 6-9, 1994

David Wile, Acm Sigsoft, 1994, SIGSOFT FSE.

Operational specification as the basis for rapid prototyping

Robert Balzer, David Wile, Neil Goldman, 1982 .