| Turning uml/ocl Into a Strong Formal Method Developing Formal Tools Using Embeddings hol-ocl Conclusions Bibliography Achim D. Brucker Verification of uml/ocl Specifications with hol-ocl Motivation Turning uml/ocl Into a Strong Formal Method Developing Fo (2008) | |||||||||||||||||
Abstract | |||||||||||||||||
| ▸ Software systems ▸ are becoming more and more complex. ▸ used in safety and security critical applications. ▸ Formal methods are one way to ensure the correctness. ▸ But, formal methods are hardly used by industry. ▸ difficult to understand notation ▸ lack of tool support ▸ high costs ▸ Semi-formal methods, especially uml, are ▸ widely used in industry, but ▸ not strong enough for a formal methodologies. Achim D. Brucker Verification of uml/ocl Specifications with hol-ocl Motivation Turning uml/ocl Into a Strong Formal Method Developing Formal Tools Using Embeddings hol-ocl Conclusions Bi Is ocl an Answer? ▸ uml/ocl attracts the practitioners: | |||||||||||||||||
Publication details | |||||||||||||||||
| |||||||||||||||||