1326 search results - page 112 / 266 » Semantic Coherence in Software Engineering |
EDBTW
2006
Springer
14 years 1 months ago
2006
Springer
Reactivity, the ability to detect and react to events, is an essential functionality in many information systems. In particular, Web systems such as online marketplaces, adaptive (...
FSTTCS
2006
Springer
14 years 1 months ago
2006
Springer
Structured Operational Semantics (SOS) is a popular method for defining semantics by means of deduction rules. An important feature of deduction rules, or simply SOS rules, are neg...
FOSSACS
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
AMAST
2008
Springer
14 years 8 days ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
FASE
2008
Springer
14 years 19 hour ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...