5228 search results - page 764 / 1046 » Case Studies for Software Engineers |
161
click to vote
FOSSACS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
140
click to vote
FSTTCS
2005
Springer
16 years 7 days ago
2005
Springer
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...
166
click to vote
ICFEM
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...
185
click to vote
ICFEM
2005
Springer
16 years 7 days ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
202
click to vote
SEKE
2005
Springer
16 years 6 days ago
2005
Springer
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...