Sciweavers

330 search results - page 16 / 66
» Transformation of Use Cases to EPC Models
Sort
View
COMPSAC
2003
IEEE
14 years 1 months ago
Incremental Transformation of Procedural Systems to Object Oriented Platforms
Over the past years, the reengineering of legacy software systems to object oriented platforms has received significant attention. In this paper, we present a generic re-engineeri...
Ying Zou, Kostas Kontogiannis
IPMI
2005
Springer
14 years 1 months ago
Diffeomorphic Nonlinear Transformations: A Local Parametric Approach for Image Registration
Many types of transformations are used to model deformations in medical image registration. While some focus on modeling local changes, some on continuity and invertibility, there ...
Ramkrishnan Narayanan, Jeffrey A. Fessler, Hyunjin...
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
14 years 1 months ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...
SQJ
2008
94views more  SQJ 2008»
13 years 7 months ago
Simulation-based analysis of UML statechart diagrams: methods and case studies
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...
Jiexin Lian, Zhaoxia Hu, Sol M. Shatz
JUCS
2010
134views more  JUCS 2010»
13 years 6 months ago
Leveraging ICT Deployment and Integration in a Public Organization Aged 176 Years A Greek Case Study
: The successful deployment and exploitation of an Information and Communications Technologies (ICT) project in a traditional Public Organization involves the proper design and imp...
Melpomeni Hatzikou, Iraklis-Panagiotis Agiovlasiti...