Sites similar to Brucker.Ch
Website of Achim D. Brucker
Description: HOL-OCL is an interactive proof environment for the Object Constraint Language (OCL) implemented in Isabelle/HOL.
Popular Searches: brucker
Site rating:
3.0 / 5.0, reviewed by Sites Like Search
Language: English
Site topics: programming
MetaEdit+ lets you create world-class modeling tools in minutes - no coding needed.
Site rating:
3.0 / 5.0, Language: English
Department of Mathematics and Computing.
Site rating:
3.0 / 5.0, Language: English
Microgold Software Inc. has provided professional software services in Microsoft technologies since 1993.
Site rating:
3.0 / 5.0, Language: English
Music, theatre, dance, masterclasses, conferences. [English, French]
Site rating:
3.0 / 5.0, Language: English
Download Visual Case, an amd case tool that combines the UML, legacy diagrams and database design tools with a round-trip database engineering
tool and a ...
Site rating:
3.0 / 5.0, Language: English
Visual Object Modelers had announced that they are no longer in business since May 2010. Visual UML is no longer supported and is not available for purchase or ...
Site rating:
3.0 / 5.0, Language: English
Site rating:
3.0 / 5.0, Language: English
Welcome to Objects by Design. Our site is dedicated to bringing you valuable information about the world of object-oriented design and programming.
Site rating:
3.0 / 5.0, Language: English
Related results:
sites similar to Ibm
sites similar to Kingfurious.Iwarp
sites similar to Logicexplorers
sites similar to Csem.Flinders.Edu.Au
sites similar to Modelmakertools
Cs.Waikato.Ac.Nz alternatives
Magicdraw alternatives
Core22 alternatives
Leapse alternatives
Uml2svg.Sourceforge.Net alternatives
sites similar to Kingfurious.Iwarp
sites similar to Logicexplorers
sites similar to Csem.Flinders.Edu.Au
sites similar to Modelmakertools
Cs.Waikato.Ac.Nz alternatives
Magicdraw alternatives
Core22 alternatives
Leapse alternatives
Uml2svg.Sourceforge.Net alternatives