1588 search results - page 105 / 318 » Modular action language |
119
click to vote
ISPW
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper suggests how an appropriately designed and architected process definition language can be an effective aid to the rapid generation of simulations, which are, in turn, ca...
157
Voted
TSE
2010
15 years 1 months ago
2010
— Describing and managing activities, resources and constraints of software development processes is a challenging goal for many organizations. A first generation of Software Pro...
156
click to vote
VMCAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
118
click to vote
AAAI
2007
15 years 5 months ago
2007
We present the syntax and semantics of a modular ontology language SHOIQP to support context-specific reuse of knowledge from multiple ontologies. A SHOIQP ontology consists of m...
122
Voted
JLP
2006
15 years 3 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...