1855 search results - page 3 / 371 » Composing model programs for analysis |
119
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
We present the implementation of several programming languages with support for multi-dimensional separation of concerns (MDSOC) on top of a common delegation-based substrate, whi...
152
click to vote
RTSS
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...
163
click to vote
MKWI
2008
15 years 5 months ago
2008
Abstract: In order to fulfil sets of similar user requirements within a specific application domain, one typically uses software product line engineering. In this paper, we investi...
134
click to vote
ECOOP
2007
Springer
15 years 10 months 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 ...
137
click to vote
SOCO
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...