687 search results - page 12 / 138 » Specification and Verification of Model Transformations Usin... |
259
click to vote
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
110
click to vote
PERVASIVE
2010
Springer
15 years 5 months ago
2010
Springer
We present the design and evaluation of Panoramic, a tool that enables end-users to specify and verify an important family of complex location events. Our approach aims to reduce o...
145
click to vote
APN
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
143
click to vote
HASE
1999
IEEE
15 years 7 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
114
click to vote
FOAL
2009
ACM
15 years 7 months ago
2009
ACM
In this paper we specify an operational run-time semantics of Assignment Featherweight Java -- a minimal subset of Java with assignments -- with around advice, using graph transfo...