2836 search results - page 257 / 568 » Model Checking for Software Architectures |
132
Voted
AOSD
2009
ACM
15 years 8 months ago
2009
ACM
In this paper we present a generic, mirror-based debugging architecture that supports runtime visibility and traceability of aspect oriented (AO) software systems. Runtime visibil...
151
click to vote
WER
2005
Springer
15 years 10 months ago
2005
Springer
Requirement traceability is intended to ensure continued alignment between stakeholders’ requirements and various outputs of the system development process. Therefore a process f...
150
click to vote
C3S2E
2009
ACM
15 years 8 months ago
2009
ACM
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...
126
click to vote
ECLIPSE
2007
ACM
15 years 8 months ago
2007
ACM
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...
147
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
A recent trend in modern high performance computing (HPC) system architectures employs “lean” compute nodes running a lightweight operating system (OS). Certain parts of the OS...