2232 search results - page 10 / 447 » Formal Modeling and Analysis of Organizations |
CVPR
2006
IEEE
14 years 9 months ago
2006
IEEE
We present a novel approach to the segmentation and analysis of vasculature from volumetric medical image data. Our method is an adoption and significant extension of deformable o...
ICFEM
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. We present a practical approach to a formal analysis of UMLbased models. This is achieved by an underlying formal representation in Z, which allows us to pose and dischar...
GG
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. Triple graph transformation has become an important approach for model transformations. Triple graphs consist of a source, a target and a connection graph. The correspond...
ICFCA
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...
ZUM
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...