| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Brad Nemanich, Daniel E. Cooke, J. Nelson Rushton |
SequenceL: transparency and multi-core parallelisms.  |
DAMP  |
2010 |
DBLP DOI BibTeX RDF |
computational laws, sequencel, multi-core, transparency |
| 1 | Daniel E. Cooke |
Guest Editor's Introduction. |
International Journal of Software Engineering and Knowledge Engineering |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel E. Cooke, J. Nelson Rushton |
Taking Parnas's Principles to the Next Level: Declarative Language Design. |
IEEE Computer |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
automatic loop generation, Automatic parallelisms |
| 1 | Bryan Hughes, Brian Nutter, Per Andersen, Daniel E. Cooke |
A Toolkit for Distributed and Parallel Computing in Embedded Systems. |
ESA |
2008 |
DBLP BibTeX RDF |
|
| 1 | Daniel E. Cooke |
Examining Artificial and Human Intelligence. |
IEEE Intelligent Systems |
2007 |
DBLP DOI BibTeX RDF |
human intelligence, artificial intelligence, Turing test |
| 1 | Daniel E. Cooke, Matt Barry, Michael Lowry, Cordell Green |
NASA's Exploration Agenda and Capability Engineering. |
IEEE Computer |
2006 |
DBLP DOI BibTeX RDF |
NASA flight systems, International Space Station, Model-based languages, Risk analysis methodologies, SequenceL, Capability engineering |
| 1 | Per Andersen, Daniel E. Cooke, J. Nelson Rushton, Julian Russbach |
A Cluster Implementation for the Parallel Programming Language SequenceL. |
PDPTA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Daniel E. Cooke, J. Nelson Rushton, Robert G. Watson |
The Evolutionary Role of Variable Assignment and Its Impact on Program Verification. |
SEKE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Daniel E. Cooke, Brad Nemanich, J. Nelson Rushton |
The Role of Theory and Experiment in Language Design--A 15 Year Perspective. |
ICTAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel E. Cooke, J. Nelson Rushton |
Iterative and Parallel Algorithm Design from High Level Language Traces. |
International Conference on Computational Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel E. Cooke, J. Nelson Rushton |
SequenceL - An Overview of a Simple Language. |
PLC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Changming Ma, Daniel E. Cooke |
An Improved Hybrid Method of Maintaining Content Consistency. |
AWCC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Daniel E. Cooke, Jason Denton |
Software Engineering as Technology Transfer. |
SEKE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Rattikorn Hewett, John H. Leuchner, Ken Ford, Daniel E. Cooke |
Extending Acquisition of High Quality Customer Level Requirements. |
Software Engineering Research and Practice |
2003 |
DBLP BibTeX RDF |
|
| 1 | Daniel E. Cooke, Vladik Kreinovich |
Automatic concurrency in SequenceL. |
Sci. Comput. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel E. Cooke, Butler Hine |
Virtual Collaborations with the Real: NASA's New Era in Space Exploration. |
IEEE Intelligent Systems |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel E. Cooke |
Projecting our Presence in Space and in Time. |
ICTAI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel E. Cooke, Per Andersen |
Automatic parallel control structures in SequenceL. |
Softw., Pract. Exper. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel E. Cooke, Scott Hamilton |
New Directions at NASA Ames Research Center. |
IEEE Computer |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel E. Cooke, David A. Dampier |
A Real-Time Version of SequenceL. |
Ann. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel E. Cooke, Vladik Kreinovich |
Automatic Concurrency in SequenceL. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel E. Cooke, Joseph E. Urban, Scott Hamilton, Ken Thompson |
Unix and Beyond: An Interview with Ken Thompson. |
IEEE Computer |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel E. Cooke, Joseph E. Urban |
Guest Editors' Introduction. |
International Journal of Software Engineering and Knowledge Engineering |
1998 |
DBLP BibTeX RDF |
|
| 1 | Daniel E. Cooke |
Outlook on Language Research and Practice. |
IEEE Computer |
1998 |
DBLP BibTeX RDF |
|
| 1 | Daniel E. Cooke |
SequenceL Provides a Different Way to View Programming. |
Comput. Lang. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel E. Cooke, Vladik Kreinovich, Joseph E. Urban |
A Distributed Version of the SequenceL Language. |
SRDS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Daniel E. Cooke, Luqi |
Logic Programming and Software Maintenance. |
Ann. Math. Artif. Intell. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel E. Cooke |
Abstraction, concurrency, and communal computing in SequenceL. (PDF / PS) |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
SequenceL, declarative constructs, nonscalar processing, problem solver, metastructure, data products, data structures, concurrency, abstraction, computer language, language constructs, communal computing |
| 1 | Daniel E. Cooke |
An Introduction to Sequence L: A Language to Experiment with Constructs for Processing Nonscalars. |
Softw., Pract. Exper. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Luqi, Daniel E. Cooke |
How to Combine Nonmonotonic Logic and Rapid Prototyping to Help Maintain Software. |
International Journal of Software Engineering and Knowledge Engineering |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel E. Cooke |
Preliminary Thoughts Concerning The Interphase Activity of Requirement Migration. |
SEKE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Joseph E. Urban, Daniel E. Cooke, Doris L. Carver, Roland T. Mittermeir |
The Future of Software Engineering Education. |
SEKE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Ann Q. Gates, Daniel E. Cooke |
The Use of Integrity Constraints in Software Engineering. |
SEKE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Daniel E. Cooke, Richard Duran, Ann Q. Gates, Vladik Kreinovich |
Bag languages, concurrency, Horn logic programs, and linear logic. |
SEKE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Daniel E. Cooke |
Possible Effects of the Next Generation Programming Language on the Software Process Model. |
International Journal of Software Engineering and Knowledge Engineering |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel E. Cooke |
A High Level Programming Language Based Upon Ordered Multisets. |
SEKE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Daniel E. Cooke |
Software Automation. |
SEKE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Daniel E. Cooke |
Guest Editor's Introduction. |
International Journal of Software Engineering and Knowledge Engineering |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel E. Cooke |
An issue of the next generation of problem-solving environments. |
Journal of Systems Integration |
1992 |
DBLP DOI BibTeX RDF |
abstraction, ambiguity, program synthesis, Program specification |
| 1 | Daniel E. Cooke |
Logical Development of a Petri Net Deadlock Analysis Program. |
ICTAI |
1992 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel E. Cooke |
Book Review: "software Conflict: Essays on the Art and Science of Software Engineering". |
International Journal of Software Engineering and Knowledge Engineering |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel E. Cooke |
Guest Editor's Introduction: the Impact of Case on Software Development Processes. |
International Journal of Software Engineering and Knowledge Engineering |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel E. Cooke |
Towards a Formalism to Produce a Programmer Assistant CASE Tool. |
IEEE Trans. Knowl. Data Eng. |
1990 |
DBLP DOI BibTeX RDF |
programmer assistant CASE tool, weak specification method, input constraints, program functions, software engineering, software tools, specification language, specification languages, selections, sequences, iterations, formalism |
| 1 | Daniel E. Cooke |
Formal specifications of resource-deadlock prone petri nets. |
Journal of Systems and Software |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann Q. Gates, Daniel E. Cooke |
An Introduction To The Recognition of Iterative Structures by a CASE Tool. |
SEKE |
1990 |
DBLP BibTeX RDF |
|
| 1 | Daniel E. Cooke |
Proving Properties of Software Design Methods. |
SEKE |
1989 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")