Robert Balzer

Proceedings of the 10th International Software Process Workshop, 1996

1994

Process definition formalism maturity levels.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Software Process Workshop (ISPW '94), 1994

1993

Retrospective on "The Organization of Expert Systems, a Tutorial".

[BibT_eX]

[DOI]

Artif. Intell., 1993

Mechanisms for Generic Process Support.

[BibT_eX]

[DOI]

K. Narayanaswamy

Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, 1993

Interactive elaboration of generic designs.

[BibT_eX]

[DOI]

W. Lewis Johnson

K. Narayanaswamy

Proceedings of the Eighth Knowledge-Based Software Engineering Conference, 1993

Generic Process Support.

[BibT_eX]

Proceedings of the State of the Practice in Process Technology, 1993

1992

The OO Software Development Process (Panel).

[BibT_eX]

[DOI]

Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992

1991

Process virtual machine.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Software Process Workshop (ISPW '91), 1991

1990

What we do and don't know about the software process.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Software Process Workshop (ISPW '90), 1990

AI and Software Engineering: Will the Twain Ever Meet?

[BibT_eX]

[DOI]

Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1989

Experiencing the Next Generation Computing Environment.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Environments, 1989

Tolerating inconsistency.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989

Software Engineering in the Year 2001.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Software Engineering, 1989

Hypertext and Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Hypertext'89 Proceedings, 1989

1988

Process programming: passing into new phase.

[BibT_eX]

[DOI]

Proceedings of the Forth International Software Process Workshop, 1988

1987

Living in the Next-Generation Operating System.

[BibT_eX]

[DOI]

IEEE Softw., 1987

1986

Living in the Next Generation Operating System (Invited Paper).

[BibT_eX]

Proceedings of the Information Processing 86, 1986

1985

A 15 Year Perspective on Automatic Programming.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1985

Program enhancement.

[BibT_eX]

[DOI]

Proceedings of an International Workshop on the Software Process and Software Environments, 1985

Automated Enhancement of Knowledge Representations.

[BibT_eX]

[DOI]

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

Panel Description: The Role of Logic and AI in the Software Enterprise.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 1985

1984

Specification-Based Computing Environments for Information Management.

[BibT_eX]

[DOI]

Robert Neches

Proceedings of the First International Conference on Data Engineering, 1984

Knowledge Base Management Systems: Discussions from the Working Group.

[BibT_eX]

Proceedings of the Expert Database Systems, 1984

1983

Knowledge-based debugging: session summary.

[BibT_eX]

[DOI]

Proceedings of the symposium on High-level debugging, 1983

Software Technology in the 1990's: Using a New Paradigm.

[BibT_eX]

[DOI]

Thomas E. Cheatham Jr.

C. Cordell Green

Computer, 1983

Specification-Based Computing Environments.

[BibT_eX]

[DOI]

Proceedings of the National Conference on Artificial Intelligence, 1983

1982

On the Inevitable Interwining of Specification and Implementation.

[BibT_eX]

[DOI]

William R. Swartout

Commun. ACM, 1982

The Organization of Expert Systems, A Tutorial.

[BibT_eX]

[DOI]

Artif. Intell., 1982

Specification-Based Computing Environments.

[BibT_eX]

[DOI]

Proceedings of the Eigth International Conference on Very Large Data Bases, 1982

Using symbolic execution to characterize behavior.

[BibT_eX]

[DOI]

Donald Cohen

William R. Swartout

Proceedings of the workshop on Rapid Prototyping, 1982

Operational specification as the basis for rapid prototyping.

[BibT_eX]

[DOI]

Proceedings of the workshop on Rapid Prototyping, 1982

Panel Discussion.

[BibT_eX]

Proceedings of the COMPCON'82, 1982

1981

Editorial: Program Transformations.

[BibT_eX]

Thomas E. Cheatham Jr.

IEEE Trans. Software Eng., 1981

Transformational Implementation: An Example.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1981

Advanced development support systems.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1981

Application Downloading.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Software Engineering, 1981

Principles of good software specification and their implications for specification languages.

[BibT_eX]

[DOI]

Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981

1980

Dynamic System Specification.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Data Abstraction, 1980

What Should Be Modelled? (discussion).

[BibT_eX]

[DOI]

Proceedings of the Workshop on Data Abstraction, 1980

HEARSAY-II: A Domain-Independent Framework for Expert Systems.

[BibT_eX]

[DOI]

Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980

1979

An Implementation Methodology for Semantic Data Base Models.

[BibT_eX]

Proceedings of the Entity-Relationship Approach to Systems Analysis and Design. Proc. 1st International Conference on the Entity-Relationship Approach, 1979

1978

Informality in Program Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1978

Transformational implementation.

[BibT_eX]

David Wile

Proceedings of the American Federation of Information Processing Societies: 1978 National Computer Conference, 1978

Automatic programming overview.

[BibT_eX]

Proceedings of the American Federation of Information Processing Societies: 1978 National Computer Conference, 1978

Artifical intelligence overview.

[BibT_eX]

Proceedings of the American Federation of Information Processing Societies: 1978 National Computer Conference, 1978

1977

Automated derivation of program control structure from natural language program descriptions.

[BibT_eX]

[DOI]

Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages, 1977

The inference of domain structure from informal process descriptions.

[BibT_eX]

[DOI]

David Wile

SIGART Newsl., 1977

On the use of programming knowledge to understand informal process descriptions.

[BibT_eX]

[DOI]

David Wile

SIGART Newsl., 1977

The Use of a Domain Model in Understanding Informal Process Descriptions.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

Meta-Evaluation as a Tool for Program Understanding.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976

On the Transformational Implementation Approach to Programming.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Software Engineering, 1976

1974

Domain-Independent Automatic Programming.

[BibT_eX]

Proceedings of the Information Processing, 1974

A language-independent programmer's interface.

[BibT_eX]

[DOI]

Proceedings of the American Federation of Information Processing Societies: 1974 National Computer Conference, 1974

1973

An Overview of the ISPL Computer System Design.

[BibT_eX]

[DOI]

Commun. ACM, 1973

CASAP: A Testbed for Program Flexibility.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973

A Gobal View of Automatic Programming.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973

1971

PORTS: a method for dynamic interprogram communication and job control.

[BibT_eX]

[DOI]

Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1971 Spring Joint Computer Conference, 1971

1969

APAREL - A parse-request language.

[BibT_eX]

[DOI]

David J. Farber

Commun. ACM, 1969

Search for a Solution: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the 1st International Joint Conference on Artificial Intelligence, 1969

EXDAMS: extendable debugging and monitoring system.

[BibT_eX]

[DOI]

Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1969 Spring Joint Computer Conference, 1969

1968

The on-line firing squad simulator.

[BibT_eX]

[DOI]

R. W. Shirey

Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '68 Fall Joint Computer Conference, December 9-11, 1968, San Francisco, California, USA, 1968

1967

An 8-state Minimal Time Solution to the Firing Squad Synchronization Problem

[BibT_eX]

[DOI]

Inf. Control., January, 1967

Dataless programming.

[BibT_eX]

[DOI]