1397 search results - page 178 / 280 » On the Need for Practical Formal Methods |
146
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
152
click to vote
BPM
2008
Springer
15 years 6 months ago
2008
Springer
A given business process may face a large number of regulatory obligations the process may or comply with. Providing tools and techniques through which an evaluation of the complia...
147
click to vote
ENTCS
2006
15 years 4 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...
244
click to vote
KCAP
2011
ACM
14 years 7 months ago
2011
ACM
Gold standard mappings created by experts are at the core of alignment evaluation. At the same time, the process of manual evaluation is rarely discussed. While the practice of ha...
154
click to vote
SAS
2012
Springer
13 years 7 months ago
2012
Springer
Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based c...