Sciweavers

2005 search results - page 94 / 401
» Business Process Knowledge Modelling: Method and Tool
Sort
View
SEE
1989
Springer
15 years 1 months ago
Tool Integration in Software Engineering Environments
This article presents doctoral research on tool integration within software engineering environments. Tool integration concerns the techniques used to form coalitions of tools tha...
Anthony I. Wasserman
WECWIS
2007
IEEE
172views ECommerce» more  WECWIS 2007»
15 years 4 months ago
An Analysis Tool for Execution of BPEL Services
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...
Ariane Gravel, Xiang Fu, Jianwen Su
GI
2005
Springer
15 years 3 months ago
Automated Quality Assurance for UML Models
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
Tilman Seifert, Florian Jug, Günther Rackl
SIAMIS
2010
147views more  SIAMIS 2010»
14 years 8 months ago
Augmented Lagrangian Method, Dual Methods, and Split Bregman Iteration for ROF, Vectorial TV, and High Order Models
In image processing, the Rudin-Osher-Fatemi (ROF) model [L. Rudin, S. Osher, and E. Fatemi, Physica D, 60(1992), pp. 259–268] based on total variation (TV) minimization has prove...
Chunlin Wu, Xue-Cheng Tai
MODELS
2007
Springer
15 years 4 months ago
MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation
This paper describes MATA (Modeling Aspects Using a Transformation Approach), a UML aspect-oriented modeling tool that uses graph transformations to specify and compose aspects. Gr...
Jon Whittle, Praveen K. Jayaraman