101 search results - page 4 / 21 » Towards Integration of State Machines and Object-Oriented La... |
UIST
2006
ACM
15 years 3 months ago
2006
ACM
This article describes SwingStates, a library that adds state machines to the Java Swing user interface toolkit. Unlike traditional approaches, which use callbacks or listeners to...
196
Voted
FM
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
FMCO
2003
Springer
15 years 2 months ago
2003
Springer
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
IFM
1999
Springer
15 years 1 months ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
APCCM
2009
14 years 10 months ago
2009
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this important task some graph-based VCSs for model artifacts already emerge...