Daniel E. Cooke

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

SequenceL: transparency and multi-core parallelisms.

[BibT_eX]

[DOI]

Brad Nemanich

Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, 2010

2009

Taking Parnas's Principles to the Next Level: Declarative Language Design.

[BibT_eX]

[DOI]

Computer, 2009

2008

Normalize, transpose, and distribute: An automatic approach for handling nonscalars.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2008

A Toolkit for Distributed and Parallel Computing in Embedded Systems.

[BibT_eX]

Proceedings of the 2008 International Conference on Embedded Systems & Applications, 2008

2007

Examining Artificial and Human Intelligence.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2007

2006

NASA's Exploration Agenda and Capability Engineering.

[BibT_eX]

[DOI]

Computer, 2006

The Evolutionary Role of Variable Assignment and Its Impact on Program Verification.

[BibT_eX]

Robert G. Watson

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

A Cluster Implementation for the Parallel Programming Language SequenceL.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Brad Nemanich

Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006

2005

Connector-based self-healing mechanism for components of a reliable system.

[BibT_eX]

[DOI]

Michael E. Shin

ACM SIGSOFT Softw. Eng. Notes, 2005

SequenceL - An Overview of a Simple Language.

[BibT_eX]

Proceedings of The 2005 International Conference on Programming Languages and Compilers, 2005

Iterative and Parallel Algorithm Design from High Level Language Traces.

[BibT_eX]

[DOI]

Proceedings of the Computational Science, 2005

2004

An Improved Hybrid Method of Maintaining Content Consistency.

[BibT_eX]

[DOI]

Changming Ma

Proceedings of the Content Computing, Advanced Workshop on Content Computing, 2004

2003

Extending Acquisition of High Quality Customer Level Requirements.

[BibT_eX]

Proceedings of the International Conference on Software Engineering Research and Practice, 2003

Software Engineering as Technology Transfer.

[BibT_eX]

Jason Denton

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

Parallel Distributed Application Framework for Earth Science Data Processing.

[BibT_eX]

[DOI]

Petr Votava

Ramakrishna R. Nemani

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.

[BibT_eX]

[DOI]

Vladik Kreinovich

Sci. Comput. Program., 2002

Designing Interdisciplinary Approaches to Problem Solving into Computer Languages.

[BibT_eX]

[DOI]

Vladik Kreinovich

Trans. SDPS, 2002

Virtual Collaborations with the Real: NASA's New Era in Space Exploration.

[BibT_eX]

[DOI]

Butler Hine

IEEE Intell. Syst., 2002

Projecting our Presence in Space and in Time.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 2002

2000

Automatic parallel control structures in SequenceL.

[BibT_eX]

[DOI]

Per Andersen

Softw. Pract. Exp., 2000

New Directions at NASA Ames Research Center.

[BibT_eX]

[DOI]

Scott Hamilton

Computer, 2000

Issues concerning the future of computer science.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

1999

Unix and Beyond: An Interview with Ken Thompson.

[BibT_eX]

[DOI]

Computer, 1999

A Real-Time Version of SequenceL.

[BibT_eX]

[DOI]

David A. Dampier

Ann. Softw. Eng., 1999

Distributed data parallelisms: specified in Descartes and programmed in SequenceL and Java.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

1998

Guest Editors' Introduction.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1998

Outlook on Language Research and Practice.

[BibT_eX]

[DOI]

Computer, 1998

SequenceL Provides a Different Way to View Programming.

[BibT_eX]

[DOI]

Comput. Lang., 1998

A Distributed Version of the SequenceL Language.

[BibT_eX]

[DOI]

Vladik Kreinovich

Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

1997

Logic Programming and Software Maintenance.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1997

Abstraction, concurrency, and communal computing in SequenceL.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1996

Reviews - Applications of reliable scientific computing.

[BibT_eX]

[DOI]

M. Beltran

Reliab. Comput., 1996

Languages for the specification of software.

[BibT_eX]

[DOI]

J. Syst. Softw., 1996

1995

An informal introduction to a high level language with applications to interval mathematics.

[BibT_eX]

[DOI]

Reliab. Comput., 1995

How to Combine Nonmonotonic Logic and Rapid Prototyping to Help Maintain Software.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1995

The Future of Software Engineering Education.

[BibT_eX]

Proceedings of the SEKE'95, 1995

The Use of Integrity Constraints in Software Engineering.

[BibT_eX]

Proceedings of the SEKE'95, 1995

Preliminary Thoughts Concerning The Interphase Activity of Requirement Migration.

[BibT_eX]

Proceedings of the SEKE'95, 1995

1994

Bag languages, concurrency, Horn logic programs, and linear logic.

[BibT_eX]

Proceedings of the SEKE'94, 1994

An Introduction to the Issues of Computer Aided Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Impact of Case Technology on Software Processes, 1994

1993

Possible Effects of the Next Generation Programming Language on the Software Process Model.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1993

Maintaining the Truth of Specifications in Evolutionary Software.

[BibT_eX]

[DOI]

C. V. Ramamoorthy

Chitta Baral

Int. J. Artif. Intell. Tools, 1993

A High Level Programming Language Based Upon Ordered Multisets.

[BibT_eX]

Proceedings of the SEKE'93, 1993

Software Automation.

[BibT_eX]

Proceedings of the SEKE'93, 1993

Formal support for software maintenance.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993

1992

An issue of the next generation of problem-solving environments.

[BibT_eX]

[DOI]

J. Syst. Integr., 1992

Guest Editor's Introduction.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1992

An Introduction to BagL.

[BibT_eX]

[DOI]

Aida Gutierrez

Proceedings of the SEKE'92, 1992

Logical Development of a Petri Net Deadlock Analysis Program.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Tools with Artificial Intelligence, 1992

The management of uncertainty in software development.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1991

Book Review: "software Conflict: Essays on the Art and Science of Software Engineering".

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1991

Guest Editor's Introduction: the Impact of Case on Software Development Processes.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1991

The correspondence between methods of artificial intelligence and the production and maintenance of evolutionary software.

[BibT_eX]

[DOI]

C. V. Ramamoorthy

Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991

AI in multimedia (panel session).

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991

1990

Towards a Formalism to Produce a Programmer Assistant CASE Tool.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1990

Formal specifications of resource-deadlock prone petri nets.

[BibT_eX]

[DOI]

J. Syst. Softw., 1990

An Introduction To The Recognition of Iterative Structures by a CASE Tool.

[BibT_eX]

Proceedings of the SEKE'90, 1990

On the application of stratification to requirement specifications.

[BibT_eX]

[DOI]

Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990

1989

Proving Properties of Software Design Methods.

[BibT_eX]