Daniel E. Cooke

According to our database1, Daniel E. Cooke
  • authored at least 61 papers between 1989 and 2010.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2010
SequenceL: transparency and multi-core parallelisms.
Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, 2010

2009
Guest Editor's Introduction.
International Journal of Software Engineering and Knowledge Engineering, 2009

Taking Parnas's Principles to the Next Level: Declarative Language Design.
IEEE Computer, 2009

2008
Normalize, transpose, and distribute: An automatic approach for handling nonscalars.
ACM Trans. Program. Lang. Syst., 2008

A Toolkit for Distributed and Parallel Computing in Embedded Systems.
Proceedings of the 2008 International Conference on Embedded Systems & Applications, 2008

2007
Examining Artificial and Human Intelligence.
IEEE Intelligent Systems, 2007

2006
NASA's Exploration Agenda and Capability Engineering.
IEEE Computer, 2006

The Evolutionary Role of Variable Assignment and Its Impact on Program Verification.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

A Cluster Implementation for the Parallel Programming Language SequenceL.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications & Conference on Real-Time Computing Systems and Applications, 2006

The Role of Theory and Experiment in Language Design--A 15 Year Perspective.
Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006

2005
SequenceL - An Overview of a Simple Language.
Proceedings of The 2005 International Conference on Programming Languages and Compilers, 2005

Iterative and Parallel Algorithm Design from High Level Language Traces.
Proceedings of the Computational Science, 2005

2004
An Improved Hybrid Method of Maintaining Content Consistency.
Proceedings of the Content Computing, Advanced Workshop on Content Computing, 2004

2003
Extending Acquisition of High Quality Customer Level Requirements.
Proceedings of the International Conference on Software Engineering Research and Practice, 2003

Software Engineering as Technology Transfer.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Parallel Distributed Application Framework for Earth Science Data Processing.
Proceedings of the ScanGIS'2003 - The 9th Scandinavian Research Conference on Geographical Information Science, 4-6 June 2003, Espoo, Finland, 2003

2002
Automatic concurrency in SequenceL.
Sci. Comput. Program., 2002

Designing Interdisciplinary Approaches to Problem Solving into Computer Languages.
Transactions of the SDPS, 2002

Virtual Collaborations with the Real: NASA's New Era in Space Exploration.
IEEE Intelligent Systems, 2002

Projecting our Presence in Space and in Time.
Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 2002

2000
Automatic parallel control structures in SequenceL.
Softw., Pract. Exper., 2000

New Directions at NASA Ames Research Center.
IEEE Computer, 2000

Issues concerning the future of computer science.
Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

1999
Automatic Concurrency in SequenceL.
Electr. Notes Theor. Comput. Sci., 1999

Unix and Beyond: An Interview with Ken Thompson.
IEEE Computer, 1999

A Real-Time Version of SequenceL.
Ann. Software Eng., 1999

Distributed data parallelisms: specified in Descartes and programmed in SequenceL and Java.
Proceedings of the Fourth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

1998
Guest Editors' Introduction.
International Journal of Software Engineering and Knowledge Engineering, 1998

Outlook on Language Research and Practice.
IEEE Computer, 1998

SequenceL Provides a Different Way to View Programming.
Comput. Lang., 1998

A Distributed Version of the SequenceL Language.
Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

1997
Logic Programming and Software Maintenance.
Ann. Math. Artif. Intell., 1997

Abstraction, concurrency, and communal computing in SequenceL.
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996
An Introduction to Sequence L: A Language to Experiment with Constructs for Processing Nonscalars.
Softw., Pract. Exper., 1996

Reviews - Applications of reliable scientific computing.
Reliable Computing, 1996

Languages for the specification of software.
Journal of Systems and Software, 1996

1995
An informal introduction to a high level language with applications to interval mathematics.
Reliable Computing, 1995

How to Combine Nonmonotonic Logic and Rapid Prototyping to Help Maintain Software.
International Journal of Software Engineering and Knowledge Engineering, 1995

The Future of Software Engineering Education.
Proceedings of the SEKE'95, 1995

The Use of Integrity Constraints in Software Engineering.
Proceedings of the SEKE'95, 1995

Preliminary Thoughts Concerning The Interphase Activity of Requirement Migration.
Proceedings of the SEKE'95, 1995

1994
Bag languages, concurrency, Horn logic programs, and linear logic.
Proceedings of the SEKE'94, 1994

1993
Possible Effects of the Next Generation Programming Language on the Software Process Model.
International Journal of Software Engineering and Knowledge Engineering, 1993

Maintaining the Truth of Specifications in Evolutionary Software.
International Journal on Artificial Intelligence Tools, 1993

A High Level Programming Language Based Upon Ordered Multisets.
Proceedings of the SEKE'93, 1993

Software Automation.
Proceedings of the SEKE'93, 1993

Formal support for software maintenance.
Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993

1992
An issue of the next generation of problem-solving environments.
Journal of Systems Integration, 1992

Guest Editor's Introduction.
International Journal of Software Engineering and Knowledge Engineering, 1992

Logical Development of a Petri Net Deadlock Analysis Program.
Proceedings of the Fourth International Conference on Tools with Artificial Intelligence, 1992

The management of uncertainty in software development.
Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

1991
On the Development of a Method to Synthesize Programs from Requirements Specifications.
International Journal of Software Engineering and Knowledge Engineering, 1991

Book Review: "software Conflict: Essays on the Art and Science of Software Engineering".
International Journal of Software Engineering and Knowledge Engineering, 1991

Guest Editor's Introduction: the Impact of Case on Software Development Processes.
International Journal of Software Engineering and Knowledge Engineering, 1991

The correspondence between methods of artificial intelligence and the production and maintenance of evolutionary software.
Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991


1990
Towards a Formalism to Produce a Programmer Assistant CASE Tool.
IEEE Trans. Knowl. Data Eng., 1990

Formal specifications of resource-deadlock prone petri nets.
Journal of Systems and Software, 1990

An Introduction To The Recognition of Iterative Structures by a CASE Tool.
Proceedings of the SEKE'90, 1990

On the application of stratification to requirement specifications.
Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990

1989
Proving Properties of Software Design Methods.
Proceedings of the SEKE'89, 1989


  Loading...