7329 search results - page 114 / 1466 » Software Architectural Transformation |
IFM
2010
Springer
13 years 8 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
OOPSLA
2005
Springer
14 years 3 months ago
2005
Springer
Design patterns are applied in software development to decouple individual concerns, so that a change in a design decision is isolated to one location of the code base. However, m...
ICSE
2011
IEEE-ACM
13 years 1 months ago
2011
IEEE-ACM
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
INFSOF
2006
13 years 10 months ago
2006
Problems related to interactions between components is a sign of problems with the software architecture of the system and are often costly to fix. Thus it is very desirable to id...
VMCAI
2004
Springer
14 years 3 months ago
2004
Springer
This paper shows how to achieve, under certain conditions, abstract-interpretation ms that enjoy the best possible precision for a given abstraction. The key idea is a simple proce...