Well-defined Software Process as Vehicle to Understand Effectiveness of Formal Methods.

Shigeru Kusakabe Yoichi Omori Keijiro Araki

Published in: FMSEE&T@FM (2015)

Keyphrases

formal methods
software process
software engineering
real time
software development
formal specification
process improvement
process model
iso iec
artificial intelligence
model checking
e learning
knowledge base
case study
software quality
requirements engineering