Login / Signup
Integration of Formal Analysis into a Model-Based Software Development Process.
Michael W. Whalen
Darren D. Cofer
Steven P. Miller
Bruce H. Krogh
Walter Storm
Published in:
FMICS (2007)
Keyphrases
</>
formal analysis
software development process
software engineering
formal methods
modeling language
life cycle
software design
reference architecture
ban logic
database
information systems