| The Situation Today: (2008) | |||||||||||||||
Abstract | |||||||||||||||
| A Software Engineering Problem ▸ 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 Is ocl an Answer? ▸ uml/ocl attracts the practitioners: | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||