Cordell Green

Publication Activity (10 Years)

Years Active: 1976-2010
Publications (10 Years): 0

Publications

Cordell Green
Keynote address: the actual implementation will be derived from the formal specification -- KBSA, 1983. ASE (2010)
Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani
Intelligent Systems and Formal Methods in Software Engineering. IEEE Intell. Syst. 21 (6) (2006)
Daniel E. Cooke, Matt Barry, Michael Lowry, Cordell Green
NASA's Exploration Agenda and Capability Engineering. Computer 39 (1) (2006)
Alessandro Coglio, Cordell Green
A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets. VSTTE (2005)
Victor R. Basili, Laszlo A. Belady, Barry W. Boehm, Frederick P. Brooks Jr., James Browne, Richard A. DeMillo, Stuart I. Feldman, Cordell Green, Butler W. Lampson, Duncan H. Lawrie, Nancy G. Leveson, Nancy A. Lynch, Mark D. Weiser, Jeannette M. Wing
NSF workshop on a software research program for the 21st century. ACM SIGSOFT Softw. Eng. Notes 24 (3) (1999)
Cordell Green
The PSI program synthesis system, 1978 - An abstract. AFIPS National Computer Conference (1978)
Cordell Green, Richard Fikes, Martin Kay
Automatic synthesis - programs and plans. ACM Annual Conference (1976)
Cordell Green, Richard Fikes, Martin Kay
SIGART(Tutorial Session). ACM Annual Conference (1976)