61 search results - page 3 / 13 » ICER: a tool for finding errors in a UML model |
SEMWEB
2009
Springer
14 years 3 months ago
2009
Springer
The Ontology Definition Metamodel (ODM) defines a set of UML metamodels and profiles for development of RDF and OWL. The UML profiles in the ODM specification adapt UML notations t...
UML
2005
Springer
14 years 2 months ago
2005
Springer
Software product line engineering has emerged as an approach to developing software which targets a given domain. However, the processes involved in developing a software product l...
IJISMD
2010
13 years 5 months ago
2010
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
IJCAI
2007
13 years 10 months ago
2007
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...
ROOM
2000
13 years 10 months ago
2000
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...