Login / Signup

Integration of Formal Analysis into a Model-Based Software Development Process.

Michael W. WhalenDarren D. CoferSteven P. MillerBruce H. KroghWalter 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