37 search results - page 4 / 8 » Behaviour-Preserving Transformations in SHE: A Formal Approa... |
HICSS
2005
IEEE
13 years 11 months ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
APSEC
2005
IEEE
13 years 11 months ago
2005
IEEE
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...
QOSA
2010
Springer
13 years 9 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
SACMAT
2006
ACM
13 years 12 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
JUCS
2010
13 years 23 days ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...