40 search results - page 5 / 8 » eceasst 2010 |
116
click to vote
ECEASST
2010
14 years 11 months ago
2010
Abstract. We present Local Church-Rosser, Parallelism, and Concurrency Theorems for rules with nested application conditions in the framework of weak adhesive HLR categories includ...
133
click to vote
ECEASST
2010
14 years 11 months ago
2010
The current tooling used for the Eclipse OCL project uses an LALR parser generator. Enhancing the tooling to support editing motivated a migration to exploit the inherently model-d...
132
click to vote
ECEASST
2010
14 years 11 months ago
2010
An Integrated OCL Development Environment (IDE4OCL) can significantly improve the pragmatics and practice of OCL. Therefore we started a comprehensive requirement analysis with the...
144
click to vote
ECEASST
2010
15 years 1 months ago
2010
Abstract. The precise specification of software models is a major concern in model-driven design of object-oriented software. In this paper, we investigate how program graphs, a la...
183
click to vote
ECEASST
2010
15 years 1 months ago
2010
Abstract: An experiment in providing volunteer cloud computing support for automated audits of open source code is described here, along with the supporting theory. Certification a...