7329 search results - page 277 / 1466 » Software Architectural Transformation |
167
click to vote
SAC
2006
ACM
16 years 19 days ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
160
click to vote
ECBS
2005
IEEE
16 years 9 days ago
2005
IEEE
Architecture modeling is practiced extensively in the software industry but there is little attention paid to the traceability, verifiability and completeness of architecture desi...
161
click to vote
WOSS
2004
ACM
16 years 3 days ago
2004
ACM
Traditionally, software models are associated with development and maintenance related activities. This paper demonstrates that models also serve a vital purpose in supporting the...
180
click to vote
CASES
2004
ACM
16 years 3 days ago
2004
ACM
+ With more applications being deployed on embedded platforms, software protection becomes increasingly important. This problem is crucial on embedded systems like financial transa...
197
click to vote
GG
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...