3564 search results - page 73 / 713 » Evaluating a Formal Modelling Language |
QI
2009
Springer
15 years 4 months ago
2009
Springer
According to recent studies in developmental psychology and neuroscience, symbolic language is essentially intersubjective. Empathetically relating to others renders possible the a...
107
click to vote
IFIP
2007
Springer
15 years 4 months ago
2007
Springer
In global software development (GSD) projects, distributed teams collaborate to deliver high-quality software. Project managers need to control these development projects, which in...
TPDS
2008
14 years 9 months ago
2008
Computational Grids potentially offer low cost, readily available, and large-scale high-performance platforms. For the parallel execution of programs, however, computational GRIDs ...
ENTCS
2006
14 years 9 months ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...
ICEIS
2009
IEEE
14 years 7 months ago
2009
IEEE
This paper presents a Model-Based graphical editor for supporting the creation of conceptual models and domain ontologies in a philosophically and cognitively well-founded modeling...