2836 search results - page 127 / 568 » Model Checking for Software Architectures |
133
click to vote
IWPC
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents a framework for software architecture recovery and restructuring. The user specifies a high level abstraction view of the system using a structured pattern la...
154
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
148
click to vote
COMPSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
Lose sight of the existence of system crosscutting concerns, e.g. safety and quality etc, often causes the system hard to maintain and evolve according to the changing environment...
118
click to vote
ITCC
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we propose a software architecture model for the development of elaboration/transcoding modules for structured data. We define a flexible implementation approach ...
145
click to vote
ICPP
2002
IEEE
15 years 8 months ago
2002
IEEE
A software cache implements instruction and data caching entirely in software. Dynamic binary rewriting offers a means to specialize the software cache miss checks at cache miss t...