Daniel E. Cooke

Publication Activity (10 Years)

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

Publications

Brad Nemanich, Daniel E. Cooke, J. Nelson Rushton
SequenceL: transparency and multi-core parallelisms. DAMP (2010)
Daniel E. Cooke
Guest Editor's Introduction. Int. J. Softw. Eng. Knowl. Eng. 19 (4) (2009)
Daniel E. Cooke, J. Nelson Rushton
Taking Parnas's Principles to the Next Level: Declarative Language Design. Computer 42 (9) (2009)
Daniel E. Cooke, J. Nelson Rushton, Brad Nemanich, Robert G. Watson, Per Andersen
Normalize, transpose, and distribute: An automatic approach for handling nonscalars. ACM Trans. Program. Lang. Syst. 30 (2) (2008)
Bryan Hughes, Brian Nutter, Per Andersen, Daniel E. Cooke
A Toolkit for Distributed and Parallel Computing in Embedded Systems. ESA (2008)
Daniel E. Cooke
Examining Artificial and Human Intelligence. IEEE Intell. Syst. 22 (2) (2007)
Daniel E. Cooke, Matt Barry, Michael Lowry, Cordell Green
NASA's Exploration Agenda and Capability Engineering. Computer 39 (1) (2006)
Daniel E. Cooke, Brad Nemanich, J. Nelson Rushton
The Role of Theory and Experiment in Language Design--A 15 Year Perspective. ICTAI (2006)
Per Andersen, Daniel E. Cooke, J. Nelson Rushton, Julian Russbach
A Cluster Implementation for the Parallel Programming Language SequenceL. PDPTA (2006)
Daniel E. Cooke, J. Nelson Rushton, Robert G. Watson
The Evolutionary Role of Variable Assignment and Its Impact on Program Verification. SEKE (2006)
Daniel E. Cooke, J. Nelson Rushton
SequenceL - An Overview of a Simple Language. PLC (2005)
Daniel E. Cooke, J. Nelson Rushton
Iterative and Parallel Algorithm Design from High Level Language Traces. International Conference on Computational Science (3) (2005)
Changming Ma, Daniel E. Cooke
An Improved Hybrid Method of Maintaining Content Consistency. AWCC (2004)
Rattikorn Hewett, John H. Leuchner, Ken Ford, Daniel E. Cooke
Extending Acquisition of High Quality Customer Level Requirements. Software Engineering Research and Practice (2003)
Petr Votava, Ramakrishna R. Nemani, Keith Golden, Daniel E. Cooke, Hector Hernandez, Changming Ma
Parallel Distributed Application Framework for Earth Science Data Processing. ScanGIS (2003)
Daniel E. Cooke, Jason Denton
Software Engineering as Technology Transfer. SEKE (2003)
Daniel E. Cooke, Butler Hine
Virtual Collaborations with the Real: NASA's New Era in Space Exploration. IEEE Intell. Syst. 17 (2) (2002)
Daniel E. Cooke, Vladik Kreinovich, Joseph E. Urban
Designing Interdisciplinary Approaches to Problem Solving into Computer Languages. Trans. SDPS 6 (3) (2002)
Daniel E. Cooke, Vladik Kreinovich
Automatic concurrency in SequenceL. Sci. Comput. Program. 42 (1) (2002)
Daniel E. Cooke
Projecting our Presence in Space and in Time. ICTAI (2002)
Daniel E. Cooke, Per Andersen
Automatic parallel control structures in SequenceL. Softw. Pract. Exp. 30 (14) (2000)
Daniel E. Cooke
Issues concerning the future of computer science. HASE (2000)
Daniel E. Cooke, Scott Hamilton
New Directions at NASA Ames Research Center. Computer 33 (1) (2000)
Daniel E. Cooke, Vladik Kreinovich
Automatic Concurrency in SequenceL. Electron. Notes Theor. Comput. Sci. 25 (1999)
Daniel E. Cooke, Joseph E. Urban, Scott Hamilton, Ken Thompson
Unix and Beyond: An Interview with Ken Thompson. Computer 32 (5) (1999)
Daniel E. Cooke, David A. Dampier
A Real-Time Version of SequenceL. Ann. Softw. Eng. 7 (1999)
Joseph E. Urban, Daniel E. Cooke
Distributed data parallelisms: specified in Descartes and programmed in SequenceL and Java. WORDS (Jan.) (1999)
Daniel E. Cooke
SequenceL Provides a Different Way to View Programming. Comput. Lang. 24 (1) (1998)
Daniel E. Cooke
Outlook on Language Research and Practice. Computer 31 (2) (1998)
Daniel E. Cooke, Joseph E. Urban
Guest Editors' Introduction. Int. J. Softw. Eng. Knowl. Eng. 8 (1) (1998)
Daniel E. Cooke, Vladik Kreinovich, Joseph E. Urban
A Distributed Version of the SequenceL Language. SRDS (1998)
Daniel E. Cooke
Abstraction, concurrency, and communal computing in SequenceL. COMPSAC (1997)
Daniel E. Cooke, Luqi
Logic Programming and Software Maintenance. Ann. Math. Artif. Intell. 21 (2-4) (1997)
Daniel E. Cooke
An Introduction to Sequence L: A Language to Experiment with Constructs for Processing Nonscalars. Softw. Pract. Exp. 26 (11) (1996)
M. Beltran, Daniel E. Cooke
Reviews - Applications of reliable scientific computing. Reliab. Comput. 2 (3) (1996)
Daniel E. Cooke, Ann Q. Gates, Elif Demirörs, Onur Demirörs, Murat M. Tanik, Bernd J. Krämer
Languages for the specification of software. J. Syst. Softw. 32 (3) (1996)
Daniel E. Cooke
An informal introduction to a high level language with applications to interval mathematics. Reliab. Comput. 1 (1) (1995)
Daniel E. Cooke
Preliminary Thoughts Concerning The Interphase Activity of Requirement Migration. SEKE (1995)
Joseph E. Urban, Daniel E. Cooke, Doris L. Carver, Roland T. Mittermeir
The Future of Software Engineering Education. SEKE (1995)
Luqi, Daniel E. Cooke
How to Combine Nonmonotonic Logic and Rapid Prototyping to Help Maintain Software. Int. J. Softw. Eng. Knowl. Eng. 5 (1) (1995)
Ann Q. Gates, Daniel E. Cooke
The Use of Integrity Constraints in Software Engineering. SEKE (1995)
Daniel E. Cooke, Richard Duran, Ann Q. Gates, Vladik Kreinovich
Bag languages, concurrency, Horn logic programs, and linear logic. SEKE (1994)
Daniel E. Cooke
Software Automation. SEKE (1993)
C. V. Ramamoorthy, Daniel E. Cooke, Chitta Baral
Maintaining the Truth of Specifications in Evolutionary Software. Int. J. Artif. Intell. Tools 2 (1) (1993)
Daniel E. Cooke, Luqi
Formal support for software maintenance. COMPSAC (1993)
Daniel E. Cooke
A High Level Programming Language Based Upon Ordered Multisets. SEKE (1993)
Daniel E. Cooke
Possible Effects of the Next Generation Programming Language on the Software Process Model. Int. J. Softw. Eng. Knowl. Eng. 3 (3) (1993)
Daniel E. Cooke
Logical Development of a Petri Net Deadlock Analysis Program. ICTAI (1992)
Daniel E. Cooke
An issue of the next generation of problem-solving environments. J. Syst. Integr. 2 (1) (1992)
Daniel E. Cooke, Aida Gutierrez
An Introduction to BagL. SEKE (1992)
Luqi, Daniel E. Cooke
The management of uncertainty in software development. COMPSAC (1992)
Daniel E. Cooke
Guest Editor's Introduction. Int. J. Softw. Eng. Knowl. Eng. 2 (2) (1992)
Daniel E. Cooke
Book Review: "software Conflict: Essays on the Art and Science of Software Engineering". Int. J. Softw. Eng. Knowl. Eng. 1 (4) (1991)
Daniel E. Cooke
Guest Editor's Introduction: the Impact of Case on Software Development Processes. Int. J. Softw. Eng. Knowl. Eng. 1 (2) (1991)
C. V. Ramamoorthy, Daniel E. Cooke
The correspondence between methods of artificial intelligence and the production and maintenance of evolutionary software. ICTAI (1991)
Daniel E. Cooke, Ann Q. Gates
On the Development of a Method to Synthesize Programs from Requirements Specifications. Int. J. Softw. Eng. Knowl. Eng. 1 (1) (1991)
Nikolaos G. Bourbakis, Robin Williams, Forouzan Golshani, Myron Flickner, Ted Laliotis, Sukhan Lee, José G. Delgado-Frias, Dan Hammerstrom, Cris Koutsougeras, Gerald G. Pechanek, Benjamin W. Wah, John Yen, Farokh B. Bastani, Tom Cooper, Karan Harbison-Briggs, Rudy Lauber, Alun D. Preece, Imran A. Zualkernan, W. T. Tsai, Daniel E. Cooke, Martin S. Feather, Stephen Fickas, N. Minsky, Peter G. Selfridge, Douglas Smith
AI in multimedia (panel session). ICTAI (1991)
Daniel E. Cooke
Formal specifications of resource-deadlock prone petri nets. J. Syst. Softw. 11 (1) (1990)
Daniel E. Cooke, Ann Q. Gates
On the application of stratification to requirement specifications. TAI (1990)
Ann Q. Gates, Daniel E. Cooke
An Introduction To The Recognition of Iterative Structures by a CASE Tool. SEKE (1990)
Daniel E. Cooke
Towards a Formalism to Produce a Programmer Assistant CASE Tool. IEEE Trans. Knowl. Data Eng. 2 (3) (1990)
Daniel E. Cooke
Proving Properties of Software Design Methods. SEKE (1989)