925 search results - page 17 / 185 » From Software Architecture to Implementation with UML |
UML
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. With the advent of Model Driven Architecture, OCL constraints are no longer necessarily written by humans. They can be part of models that emerge from a chain of transfor...
SDL
2007
14 years 11 months ago
2007
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
IFM
2004
Springer
15 years 2 months ago
2004
Springer
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...
DATE
2010
IEEE
2010
IEEE
pSHS: A scalable parallel software implementation of Montgomery multiplication for multicore systems
15 years 2 months ago
—Parallel programming techniques have become one of the great challenges in the transition from single-core to multicore architectures. In this paper, we investigate the parallel...
AICOM
2004
14 years 9 months ago
2004
Software complexity has increased substantially in the last decade. This has made software development teams work faster and under tight budgets. Reusing software can be a way of s...