Jack C. Wileden

Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996

Toward Painless Polylingual Persistence.

[BibT_eX]

Proceedings of the 7th Workshop on Persistent Object Systems, 1996

1995

Formalization and Application of a Unifying Model for Name Management.

[BibT_eX]

[DOI]

Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, 1995

1994

Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1994

Conch: Experimenting with Enhanced Name Management for Persistent Object Systems.

[BibT_eX]

[DOI]

Proceedings of the Persistent Object Systems, 1994

1993

Name Management and Object Technology for Advanced Software.

[BibT_eX]

[DOI]

Proceedings of the Object Technologies for Advanced Software, 1993

1991

Automated Analysis of Concurrent Systems With the Constrained Expression Toolset.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1991

Specification-Level Interoperability.

[BibT_eX]

[DOI]

William R. Rosenblatt

Peri L. Tarr

Commun. ACM, 1991

Experiments with an Improved Constrained Expression Toolset.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Testing, Analysis, and Verification, 1991

1990

A Comparative Evaluation of Object Definition Techniques.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1990

Extending and Limiting PGraphite-style Persistence.

[BibT_eX]

Peri L. Tarr

Proceedings of the Implementing Persistent Object Bases, 1990

1989

The AdaPIC Tool Set: Supporting Interface Control and Analysis Throughout the Software Development Process.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1989

Environment Object Management Technology: Experiences, Opportunities and Risks.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Environments, 1989

OROS: Toward a Type Model for Software Development Environments.

[BibT_eX]

[DOI]

William R. Rosenblatt

Proceedings of the Conference on Object-Oriented Programming: Systems, 1989

Experiments in Automated Analysis of Concurrent Software Systems.

[BibT_eX]

[DOI]

Laura K. Dillon

Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

Experiments with typing in process modelling.

[BibT_eX]

[DOI]

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

A Different Tack to Providing Persistence in a Language.

[BibT_eX]

Peri L. Tarr

Proceedings of the Second International Workshop on Database Programming Languages, 1989

1988

A Model of Visibility Control.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1988

Constrained Expressions: Toward Broad Applicability of Analysis Methods for Distributed Software Systems.

[BibT_eX]

[DOI]

Laura K. Dillon

ACM Trans. Program. Lang. Syst., 1988

PGRAPHITE: An Experiment in Persistent Typed Object Management.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

Foundations for the Arcadia Environment Architecture.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

Facilitating process prototyping by controlling the impact of change.

[BibT_eX]

[DOI]

Proceedings of the Forth International Software Process Workshop, 1988

Towards Automating Analysis Support for Developers of Distributed Software.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Distributed Computing Systems, 1988

1987

Object Management Support for Software Development Environments.

[BibT_eX]

Proceedings of the Persistent Object Systems: Their Design Implementation and Use. Proceedings of the Second International Workshop, 1987

1986

Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1986

Incremental development and iteration in the software process.

[BibT_eX]

Proceedings of the Third International Software Process Workshop (ISPW '86), 1986

Applying Event Based Analysis to Specification and Design.

[BibT_eX]

Proceedings of the Information Processing 86, 1986

1985

Describing and Analyzing Distributed Software System Designs.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1985

Ada-Based support for programming-in-the-Large.

[BibT_eX]

[DOI]

IEEE Softw., 1985

This is IT: a metamodel of the software process.

[BibT_eX]

[DOI]

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

Interface Control and Incremental Development in the PIC Environment.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 1985

The Software Process and Software Environments (Panel).

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 1985

1984

Feedback-directed development of complex software systems.

[BibT_eX]

Proceedings of a Software Process Workshop, February 1984, Egham, UK, 1984

1983

An approach to high-level debugging of distributed systems: preliminary draft.

[BibT_eX]

[DOI]

Peter C. Bates

Proceedings of the symposium on High-level debugging, 1983

Behavior specification in a software design system.

[BibT_eX]

[DOI]

J. Syst. Softw., 1983

High-level debugging of distributed systems: The behavioral abstraction approach.

[BibT_eX]

[DOI]

Peter C. Bates

J. Syst. Softw., 1983

The Support Systems Task Area.

[BibT_eX]

[DOI]

Ann B. Marmor-Squires

William E. Riddle

George E. Sumrall

Computer, 1983

1982

Proposal: evaluation of environments.

[BibT_eX]

[DOI]

Raymond C. Houghton Jr.

J. Ramanathan

Samuel T. Redwine Jr.

ACM SIGSOFT Softw. Eng. Notes, 1982

Constrained expression and the analysis of designs for dynamically-structured distributed systems.

[BibT_eX]

Proceedings of the International Conference on Parallel Processing, 1982

1980

Nesting in Ada programs is for the birds.

[BibT_eX]

[DOI]

Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, 1980

1979

DREAM - an approach to designing large scale, concurrent software systems.

[BibT_eX]

[DOI]

Proceedings of the 1979 Annual Conference, Detroit, Michigan, USA, October 29-31, 1979., 1979

1978

Behavior Modeling During Software Design.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1978

Languages for representing software specifications and designs.

[BibT_eX]

[DOI]

William E. Riddle

ACM SIGSOFT Softw. Eng. Notes, 1978

DREAM - A Software Design Aid System.

[BibT_eX]

Proceedings of the Information Technology '78: Proceedings of the 3rd Jerusalem Conference on Information Technology (JCIT3), 1978

Behavior Modelling During Software Design.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Software Engineering, 1978

Relationships Between Graph Grammars and the Design and Analysis of Concurrent Software.

[BibT_eX]

[DOI]