611 search results - page 94 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
109
click to vote
ECOOP
2005
Springer
15 years 9 months ago
2005
Springer
Two object-oriented programming language paradigms— dynamic, prototype-based languages and multi-method languages— provide orthogonal benefits to software engineers. These two...
143
click to vote
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
125
click to vote
ISORC
2009
IEEE
15 years 10 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
117
click to vote
ISESE
2005
IEEE
15 years 9 months ago
2005
IEEE
Many risk specific concepts like “threat”, “consequence” and “risk” belong to the daily language. In a risk analysis one cannot be certain that the participants’ int...
123
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Like other software artefacts, metamodels evolve over time. We propose a transformational approach to assist metamodel evolution by stepwise adaptation. In the first part of the p...