958 search results - page 136 / 192 » Model Transformation Languages and Their Implementation by B... |
105
click to vote
FM
1999
Springer
15 years 5 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
212
click to vote
PADL
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...
177
click to vote
VL
2010
IEEE
14 years 11 months ago
2010
IEEE
Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, d...
131
click to vote
FSTTCS
2000
Springer
15 years 5 months ago
2000
Springer
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
100
click to vote
ECOOP
2004
Springer
15 years 6 months ago
2004
Springer
Given the importance of encapsulation to object-oriented programming, it is surprising to note that mainstream object-oriented languages offer only limited and fixed ways of enca...