8083 search results - page 66 / 1617 » A Formalization of Software Architecture |
ESEM
2010
ACM
13 years 7 months ago
2010
ACM
Software designs decay over time. While most studies focus on decay at the system level, this research studies design decay on well understood micro architectures, design patterns...
EUROMICRO
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
DAC
1999
ACM
13 years 12 months ago
1999
ACM
ITP
2010
13 years 11 months ago
2010
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
