1864 search results - page 324 / 373 » Formal topology and domains |
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
In this paper we provide an experience report where language oriented programming approaches are applied to complex game design. Ficticious is a G-expression based pidgin of sever...
SAFECOMP
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
STTT
2010
13 years 7 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
WAIM
2010
Springer
13 years 7 months ago
2010
Springer
In this paper we propose a generic model to generate basic multi-partite graphs obtained by associations found in arbitrary data. The interest of such a model is to be the formal ...
ACMSE
2010
ACM
13 years 6 months ago
2010
ACM
Developing software from models is a growing practice and there exist many model-based tools (e.g., model editors, model interpreters) for supporting model-driven engineering. Eve...