Daniel E. Cooke

Brad Nemanich, Daniel E. Cooke, J. Nelson Rushton: SequenceL: transparency and multi-core parallelisms. DAMP 2010: 45-52

Daniel E. Cooke, J. Nelson Rushton: Taking Parnas's Principles to the Next Level: Declarative Language Design. IEEE Computer 42(9): 56-63 (2009)

Daniel E. Cooke: Guest Editor's Introduction. International Journal of Software Engineering and Knowledge Engineering 19(4): 477-479 (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: 153-159

Daniel E. Cooke: Examining Artificial and Human Intelligence. IEEE Intelligent Systems 22(2): 93 (2007)

Daniel E. Cooke, Matt Barry, Michael Lowry, Cordell Green: NASA's Exploration Agenda and Capability Engineering. IEEE Computer 39(1): 63-73 (2006)

Daniel E. Cooke, Brad Nemanich, J. Nelson Rushton: The Role of Theory and Experiment in Language Design--A 15 Year Perspective. ICTAI 2006: 163-168

Per Andersen, Daniel E. Cooke, J. Nelson Rushton, Julian Russbach: A Cluster Implementation for the Parallel Programming Language SequenceL. PDPTA 2006: 569-575

Daniel E. Cooke, J. Nelson Rushton, Robert G. Watson: The Evolutionary Role of Variable Assignment and Its Impact on Program Verification. SEKE 2006: 315-320

Daniel E. Cooke, J. Nelson Rushton: Iterative and Parallel Algorithm Design from High Level Language Traces. International Conference on Computational Science (3) 2005: 891-894

Daniel E. Cooke, J. Nelson Rushton: SequenceL - An Overview of a Simple Language. PLC 2005: 64-70

Changming Ma, Daniel E. Cooke: An Improved Hybrid Method of Maintaining Content Consistency. AWCC 2004: 46-57

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: 181-190

Daniel E. Cooke, Jason Denton: Software Engineering as Technology Transfer. SEKE 2003: 340-345

Rattikorn Hewett, John H. Leuchner, Ken Ford, Daniel E. Cooke: Extending Acquisition of High Quality Customer Level Requirements. Software Engineering Research and Practice 2003: 407-413

Daniel E. Cooke, Butler Hine: Virtual Collaborations with the Real: NASA's New Era in Space Exploration. IEEE Intelligent Systems 17(2): 63-69 (2002)

Daniel E. Cooke, Vladik Kreinovich: Automatic concurrency in SequenceL. Sci. Comput. Program. 42(1): 115-128 (2002)

Daniel E. Cooke: Projecting our Presence in Space and in Time. ICTAI 2002: 333-338

Daniel E. Cooke, Scott Hamilton: New Directions at NASA Ames Research Center. IEEE Computer 33(1): 63-71 (2000)

Daniel E. Cooke, Per Andersen: Automatic parallel control structures in SequenceL. Softw., Pract. Exper. 30(14): 1541-1570 (2000)

Daniel E. Cooke, David A. Dampier: A Real-Time Version of SequenceL. Ann. Software Eng. 7: 157-176 (1999)

Daniel E. Cooke, Joseph E. Urban, Scott Hamilton, Ken Thompson: Unix and Beyond: An Interview with Ken Thompson. IEEE Computer 32(5): 58-64 (1999)

Daniel E. Cooke, Vladik Kreinovich: Automatic Concurrency in SequenceL. Electr. Notes Theor. Comput. Sci. 25: 23-34 (1999)

Joseph E. Urban, Daniel E. Cooke: Distributed data parallelisms: specified in Descartes and programmed in SequenceL and Java. WORDS (Jan.) 1999: 102-109

Daniel E. Cooke: SequenceL Provides a Different Way to View Programming. Comput. Lang. 24(1): 1-32 (1998)

Daniel E. Cooke: Outlook on Language Research and Practice. IEEE Computer 31(2): 76-77 (1998)

Daniel E. Cooke, Joseph E. Urban: Guest Editors' Introduction. International Journal of Software Engineering and Knowledge Engineering 8(1): 1-2 (1998)

Daniel E. Cooke, Vladik Kreinovich, Joseph E. Urban: A Distributed Version of the SequenceL Language. SRDS 1998: 295-301

Daniel E. Cooke, Luqi: Logic Programming and Software Maintenance. Ann. Math. Artif. Intell. 21(2-4): 221-229 (1997)

Daniel E. Cooke: Abstraction, concurrency, and communal computing in SequenceL. COMPSAC 1997: 188-191

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. Journal of Systems and Software 32(3): 269-308 (1996)

Daniel E. Cooke: An Introduction to Sequence L: A Language to Experiment with Constructs for Processing Nonscalars. Softw., Pract. Exper. 26(11): 1205-1246 (1996)

Luqi, Daniel E. Cooke: How to Combine Nonmonotonic Logic and Rapid Prototyping to Help Maintain Software. International Journal of Software Engineering and Knowledge Engineering 5(1): 89-118 (1995)

Joseph E. Urban, Daniel E. Cooke, Doris L. Carver, Roland T. Mittermeir: The Future of Software Engineering Education. SEKE 1995: 63

Daniel E. Cooke: Preliminary Thoughts Concerning The Interphase Activity of Requirement Migration. SEKE 1995: 166-172

Ann Q. Gates, Daniel E. Cooke: The Use of Integrity Constraints in Software Engineering. SEKE 1995: 383-390

Daniel E. Cooke, Richard Duran, Ann Q. Gates, Vladik Kreinovich: Bag languages, concurrency, Horn logic programs, and linear logic. SEKE 1994: 289-297

Daniel E. Cooke: Possible Effects of the Next Generation Programming Language on the Software Process Model. International Journal of Software Engineering and Knowledge Engineering 3(3): 383-399 (1993)

Daniel E. Cooke: Software Automation. SEKE 1993: 70-72

Daniel E. Cooke: A High Level Programming Language Based Upon Ordered Multisets. SEKE 1993: 117-124

Daniel E. Cooke: Guest Editor's Introduction. International Journal of Software Engineering and Knowledge Engineering 2(2): 169-170 (1992)

Daniel E. Cooke: An issue of the next generation of problem-solving environments. Journal of Systems Integration 2(1): 39-52 (1992)

Daniel E. Cooke: Logical Development of a Petri Net Deadlock Analysis Program. ICTAI 1992: 230-233

Daniel E. Cooke, Ann Q. Gates: On the Development of a Method to Synthesize Programs from Requirements Specifications. International Journal of Software Engineering and Knowledge Engineering 1(1): 21-38 (1991)

Daniel E. Cooke: Guest Editor's Introduction: the Impact of Case on Software Development Processes. International Journal of Software Engineering and Knowledge Engineering 1(2) (1991)

Daniel E. Cooke: Book Review: "software Conflict: Essays on the Art and Science of Software Engineering". International Journal of Software Engineering and Knowledge Engineering 1(4): 477-478 (1991)

Daniel E. Cooke: Formal specifications of resource-deadlock prone petri nets. Journal of Systems and Software 11(1): 53-69 (1990)

Daniel E. Cooke: Towards a Formalism to Produce a Programmer Assistant CASE Tool. IEEE Trans. Knowl. Data Eng. 2(3): 320-326 (1990)

Ann Q. Gates, Daniel E. Cooke: An Introduction To The Recognition of Iterative Structures by a CASE Tool. SEKE 1990: 202-208

Daniel E. Cooke: Proving Properties of Software Design Methods. SEKE 1989: 9-12