Rapid prototyping by means of abstract module specifications written as trace axioms.

John K. Dixon John McLean David Lorge Parnas

Published in: Rapid Prototyping (1982)

Keyphrases

rapid prototyping
development environment
code generation
high level
execution traces
agent oriented programming
state machines
simulation platform
database
databases
data structure
relational databases
first order logic