8 search results - page 2 / 2 » A Toolbox for the Verification of LOTOS Programs |
95
Voted
IFM
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
109
Voted
SIGSOFT
2010
ACM
14 years 8 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
91
Voted
SIGSOFT
2002
ACM
15 years 11 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...