Knowledge-based programming: a survey of program design and construction techniques

Mapping the Design Information Representation Terrain

Computer

An early report on encompass

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

Computer-Aided Software Development Process Design

IEEE Transactions on Software Engineering

Debugging concurrent programs

ACM Computing Surveys (CSUR)

A Specifier's Introduction to Formal Methods

Computer

Toward tools to support the Gries/Dijkstra design process

ACM SIGSOFT Software Engineering Notes

Search and rescue: a case study of design flexibility

WSC '88 Proceedings of the 20th conference on Winter simulation

Software engineerng applied to discrete event simulations

WSC '86 Proceedings of the 18th conference on Winter simulation

Skeleton-based agent development for electronic institutions

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2

Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming

Annals of Mathematics and Artificial Intelligence