2878 search results - page 144 / 576 » Analyzing the Uses of a Software Modeling Tool |
150
click to vote
KBSE
2008
IEEE
16 years 2 days ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
272
click to vote
MSR
2011
ACM
14 years 8 months ago
2011
ACM
Software readability is a property that influences how easily a given piece of code can be read and understood. Since readability can affect maintainability, quality, etc., prog...
139
click to vote
KBSE
2008
IEEE
16 years 2 days ago
2008
IEEE
Designing and maintaining a huge class model is a very complex task. When an object oriented software or model becomes bigger and bigger, duplicated elements start to appear, decr...
180
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
This paper summarizes an approach to support evolution of software models by means of a transformation catalogue. These transformations treat UML class diagram models, OCL constrai...
152
click to vote
CCE
2005
15 years 5 months ago
2005
Computational fluid dynamics (CFD) of complex processes and complicated geometries embraces the transport of momentum, heat, and mass including the description of reaction kinetic...