Sciweavers

Share
159 search results - page 1 / 32
» XMI2USE: A Tool for Transforming XMI to USE Specifications
Sort
View
ER
2009
Springer
316views Database» more  ER 2009»
9 years 6 months ago
XMI2USE: A Tool for Transforming XMI to USE Specifications
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M....
JUCS
2010
130views more  JUCS 2010»
8 years 9 months ago
Toward an Integrated Tool Environment for Static Analysis of UML Class and Sequence Models
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M....
INFSOF
2000
120views more  INFSOF 2000»
9 years 2 months ago
Cognitive support, UML adherence, and XMI interchange in Argo/UML
Software design is a cognitively challenging task. Most software design tools provide support for editing, viewing, storing, and transforming designs, but lack support for the ess...
Jason E. Robbins, David F. Redmiles
IPPS
2007
IEEE
9 years 9 months ago
A Model-Driven Approach to Job/Task Composition in Cluster Computing
In the general area of high-performance computing, object-oriented methods have gone largely unnoticed. In contrast, the Computational Neighborhood (CN), a framework for parallel ...
Neeraj Mehta, Yogesh Kanitkar, Konstantin Läu...
WWW
2005
ACM
10 years 3 months ago
Consistency checking of UML model diagrams using the XML semantics approach
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
Yasser Kotb, Takuya Katayama
books