2008 |
46 | EE | 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) |
2007 |
45 | EE | Daniel E. Cooke:
Examining Artificial and Human Intelligence.
IEEE Intelligent Systems 22(2): 93 (2007) |
2006 |
44 | EE | 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 |
43 | | Per Andersen,
Daniel E. Cooke,
J. Nelson Rushton,
Julian Russbach:
A Cluster Implementation for the Parallel Programming Language SequenceL.
PDPTA 2006: 569-575 |
42 | | 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 |
41 | EE | Daniel E. Cooke,
Matt Barry,
Michael Lowry,
Cordell Green:
NASA's Exploration Agenda and Capability Engineering.
IEEE Computer 39(1): 63-73 (2006) |
2005 |
40 | EE | 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 |
39 | | Daniel E. Cooke,
J. Nelson Rushton:
SequenceL - An Overview of a Simple Language.
PLC 2005: 64-70 |
2004 |
38 | EE | Changming Ma,
Daniel E. Cooke:
An Improved Hybrid Method of Maintaining Content Consistency.
AWCC 2004: 46-57 |
2003 |
37 | | Daniel E. Cooke,
Jason Denton:
Software Engineering as Technology Transfer.
SEKE 2003: 340-345 |
36 | EE | Petr Votava,
Rama Nemani,
Keith Golden,
Daniel E. Cooke,
Hector Hernandez,
Changming Ma:
Parallel Distributed Application Framework for Earth Science Data Processing.
ScanGIS 2003: 181-190 |
35 | | 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 |
2002 |
34 | EE | Daniel E. Cooke:
Projecting our Presence in Space and in Time.
ICTAI 2002: 333-338 |
33 | EE | 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) |
32 | | Daniel E. Cooke,
Vladik Kreinovich:
Automatic concurrency in SequenceL.
Sci. Comput. Program. 42(1): 115-128 (2002) |
2000 |
31 | EE | Daniel E. Cooke,
Scott Hamilton:
New Directions at NASA Ames Research Center.
IEEE Computer 33(1): 63-71 (2000) |
30 | | Daniel E. Cooke,
Per Andersen:
Automatic parallel control structures in SequenceL.
Softw., Pract. Exper. 30(14): 1541-1570 (2000) |
1999 |
29 | | Daniel E. Cooke,
David A. Dampier:
A Real-Time Version of SequenceL.
Ann. Software Eng. 7: 157-176 (1999) |
28 | EE | Daniel E. Cooke,
Vladik Kreinovich:
Automatic Concurrency in SequenceL.
Electr. Notes Theor. Comput. Sci. 25: (1999) |
27 | | 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) |
1998 |
26 | | Daniel E. Cooke,
Vladik Kreinovich,
Joseph E. Urban:
A Distributed Version of the SequenceL Language.
SRDS 1998: 295-301 |
25 | | Daniel E. Cooke:
SequenceL Provides a Different Way to View Programming.
Comput. Lang. 24(1): 1-32 (1998) |
24 | | Daniel E. Cooke:
Outlook on Language Research and Practice.
IEEE Computer 31(2): 76-77 (1998) |
23 | EE | Daniel E. Cooke,
Joseph E. Urban:
Guest Editors' Introduction.
International Journal of Software Engineering and Knowledge Engineering 8(1): 1-2 (1998) |
1997 |
22 | EE | Daniel E. Cooke:
Abstraction, concurrency, and communal computing in SequenceL.
COMPSAC 1997: 188-191 |
21 | | Daniel E. Cooke,
Luqi:
Logic Programming and Software Maintenance.
Ann. Math. Artif. Intell. 21(2-4): 221-229 (1997) |
1996 |
20 | EE | 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) |
19 | | 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) |
1995 |
18 | | Daniel E. Cooke:
Preliminary Thoughts Concerning The Interphase Activity of Requirement Migration.
SEKE 1995: 166-172 |
17 | | Ann Q. Gates,
Daniel E. Cooke:
The Use of Integrity Constraints in Software Engineering.
SEKE 1995: 383-390 |
16 | | Joseph E. Urban,
Daniel E. Cooke,
Doris L. Carver,
Roland T. Mittermeir:
The Future of Software Engineering Education.
SEKE 1995: 63 |
15 | EE | 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) |
1994 |
14 | | Daniel E. Cooke,
Richard Duran,
Ann Q. Gates,
Vladik Kreinovich:
Bag languages, concurrency, Horn logic programs, and linear logic.
SEKE 1994: 289-297 |
1993 |
13 | | Daniel E. Cooke:
A High Level Programming Language Based Upon Ordered Multisets.
SEKE 1993: 117-124 |
12 | | Daniel E. Cooke:
Software Automation.
SEKE 1993: 70-72 |
11 | EE | 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) |
1992 |
10 | | Daniel E. Cooke:
Logical Development of a Petri Net Deadlock Analysis Program.
ICTAI 1992: 230-233 |
9 | EE | Daniel E. Cooke:
Guest Editor's Introduction.
International Journal of Software Engineering and Knowledge Engineering 2(2): 169-170 (1992) |
8 | EE | Daniel E. Cooke:
An issue of the next generation of problem-solving environments.
Journal of Systems Integration 2(1): 39-52 (1992) |
1991 |
7 | EE | 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) |
6 | EE | 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) |
5 | EE | 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) |
1990 |
4 | | Ann Q. Gates,
Daniel E. Cooke:
An Introduction To The Recognition of Iterative Structures by a CASE Tool.
SEKE 1990: 202-208 |
3 | EE | Daniel E. Cooke:
Towards a Formalism to Produce a Programmer Assistant CASE Tool.
IEEE Trans. Knowl. Data Eng. 2(3): 320-326 (1990) |
2 | EE | Daniel E. Cooke:
Formal specifications of resource-deadlock prone petri nets.
Journal of Systems and Software 11(1): 53-69 (1990) |
1989 |
1 | | Daniel E. Cooke:
Proving Properties of Software Design Methods.
SEKE 1989: 9-12 |