A System-Design Methodology: Executable-Specification Refinement.

Daniel Gajski Frank Vahid Sanjiv Narayan

Published in: EDAC-ETC-EUROASIC (1994)

Keyphrases

design methodology
formal specification
model checking
physical design
design methodologies
design criteria
reverse engineering
design procedure
hardware software
design process
hw sw
fuzzy neural network
business rules
object oriented
neural network
databases
software components
artificial intelligence
data mining