The Use of a Module Interconnection Specification Capability in the SARA System Design Methodology.

Daniel M. Berry Maria Heloisa (Lolo) Penedo

Published in: ICSE (1979)

Keyphrases

design methodology
formal specification
physical design
design procedure
design process
object oriented
design methodologies
fuzzy neural network
hardware software
design criteria
model checking
real time
input output
hw sw
software systems
data analysis
neural network
database