The Chunking Engine: Closing the Gap Between Formal and Informal Design Specifications.

Mihaly Lenart Ana Pasztor

Published in: IEA/AIE (1995)

Keyphrases

software architecture
design principles
information retrieval
case study
multi agent systems
semi supervised
building blocks
formal specification
functional requirements
operational semantics