Please: executable specifications for incremental software development

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

Querying of Executable Software Specifications

IEEE Transactions on Software Engineering

A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis

IEEE Transactions on Software Engineering - Special issue on software maintenance

Toward tools to support the Gries/Dijkstra design process

ACM SIGSOFT Software Engineering Notes

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

ACM SIGSOFT Software Engineering Notes

Synthesizing structured analysis and object-based formal specifications

Annals of Software Engineering

Executing Formal Specifications with Concurrent Constraint Programming

Automated Software Engineering

Blending Imperative and Relational Programming

IEEE Software