Sciweavers

757 search results - page 78 / 152
» Composing Security-Aware Software
Sort
View
AADEBUG
2005
Springer
15 years 5 months ago
Random testing of C calling conventions
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
Christian Lindig
APVIS
2006
15 years 4 months ago
SnapShoot: integrating semantic analysis and visualization techniques for web-based note taking system
We have many application software today to support reading and writing respectively. However, we believe that few applications available today fully support both reading and writi...
Soichiro Iga, Makoto Shinnishi
GPCE
2008
Springer
15 years 4 months ago
Program refactoring using functional aspects
A functional aspect is an aspect that has the semantics of a transformation; it is a function that maps a program to an advised program. Functional aspects are composed by functio...
Sven Apel, Christian Kästner, Don S. Batory
FUIN
2008
147views more  FUIN 2008»
15 years 3 months ago
A Basic Logic for Reasoning about Connector Reconfiguration
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
Dave Clarke
ASE
1999
126views more  ASE 1999»
15 years 3 months ago
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Che...