3564 search results - page 178 / 713 » Evaluating a Formal Modelling Language |
208
click to vote
IFM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
196
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
170
click to vote
ECOOP
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Understanding the collaborations that arise between the instances of classes in object-oriented programs is important for the analysis, optimization, or modification of ...
154
click to vote
IJCNN
2006
IEEE
16 years 14 days ago
2006
IEEE
—We present a structured model of context that supports an integrated approach to language acquisition and use. The model extends an existing formal notation, Embodied Constructi...
168
click to vote
SLE
2009
Springer
16 years 29 days ago
2009
Springer
Model Driven Engineering (MDE) is a promising paradigm for development. It raises the level of abstraction in software development by treating models as primary artifacts. The prac...