A Framework for Program Development Based on Schematic Proof.

David A. Basin Alan Bundy Ina Kraan Seán Matthews

Published in: IWSSD (1993)

Keyphrases

software engineering
main contribution
real time
databases
artificial intelligence
theoretical framework
practical experience
multiscale
expert systems
conceptual framework