1134 search results - page 138 / 227 » Using Constraints with Action Language for Model Evolution |
1781
click to vote
ICECCS
2008
IEEE
16 years 22 days ago
2008
IEEE
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...
168
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
200
click to vote
AIIDE
2008
15 years 8 months ago
2008
In this paper we describe a system called ViGLS (Visualization of Game Log Summaries) that generates summaries of gameplay sessions from game logs. ViGLS automatically produces vi...
192
click to vote
POPL
1992
ACM
15 years 10 months ago
1992
ACM
Semantics for a Higher-Order Functional Language with Logic Variables Radha Jagadeesan Imperial College, London, UK SW7 2BZ. Keshav Pingali Cornell University, Ithaca, NY 14853. A...
231
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...