An overview and bibliography of ENCOMPASS: an environment for incremental software development using executable, logic-based specification

The SAGA approach to automated project management

An international workshop on Advanced programming environments

Please: a language combining imperative and logic programming

ACM SIGPLAN Notices

An early report on encompass

ICSE '88 Proceedings of the 10th international conference on Software engineering

Please: executable specifications for incremental software development

Journal of Systems and Software

An example of formal specification as an aid to design and development

IWSSD '89 Proceedings of the 5th international workshop on Software specification and design

Tree-oriented interactive processng with an application to theorem-proving

Proceedings of the second conference on Software development tools, techniques, and alternatives

Automating the software development process

CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science

ENCOMPASS (abstract): a SAGA based environment for the composition of programs and specifications

CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science

PLEASE:Predictable Logic based ExecutAble SpeCifications

CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science

Encompass: an environment for incremental software development using executable, logic-based specifications

Encompass: an environment for incremental software development using executable, logic-based specifications