CASE-based Rigorous Object-Oriented Modeling
Published in Electronic workshops in computing • Jan 1, 1996
Authors:,,
Jean‐Michel Bruel
Robert B. France
María M. Larrondo-Petrie
Abstract
The use of a rigorous development environment is needed when developing a complex system, such as real-time and critical systems. Preventing industry from embracing formal method techniques is the lack of industrial strength tools to support formalization and analysis. We are developing an approach ...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!