3045 search results - page 199 / 609 » Formal Approaches to Software Architecture |
SIGSOFT
2005
ACM
16 years 3 days ago
2005
ACM
We want to explore and analyse design decisions that influence maintainability of software. Software maintainability is important because the effort expended on changes and fixes ...
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
Violations in memory references cause tremendous loss of productivity, catastrophic mission failures, loss of privacy and security, and much more. Software mechanisms to detect me...
106
click to vote
ACISICIS
2005
IEEE
15 years 5 months ago
2005
IEEE
Ubiquitous computing is viewed as a computing paradigm where minimal user intervention is necessitated emphasizing detection of environmental conditions and user behaviors in orde...
113
click to vote
IFM
2010
Springer
14 years 9 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...
109
click to vote
CODES
2010
IEEE
14 years 9 months ago
2010
IEEE
The last years have shown that there is no way to disregard the advantages provided by multiprocessor System-on-Chip (MPSoC) architectures in the embedded systems domain. Using mu...