611 search results - page 114 / 123 » Development of SOA-Based Software Systems - an Evolutionary ... |
ICSE
1998
IEEE-ACM
15 years 3 months ago
1998
IEEE-ACM
We describe the design and implementation of system architecture to support object introspection in C++. In this system, information is collected by parsing class declarations, an...
93
Voted
ICCSA
2007
Springer
15 years 3 months ago
2007
Springer
Coupled systems comprise multiple interacting subsystems and are an increasingly common computational science application, most notably as multiscale and multiphysics models. Paral...
119
click to vote
AOSD
2008
ACM
15 years 1 months ago
2008
ACM
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding ...
105
click to vote
SEW
2003
IEEE
15 years 5 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
101
Voted
PLDI
2010
ACM
15 years 3 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...