Sciweavers

911 search results - page 3 / 183
» Combining programs and state machines
Sort
View
AVI
2006
13 years 6 months ago
Programming rich interactions using the hierarchical state machine toolkit
Structured graphics models such as Scalable Vector Graphics (SVG) enable designers to create visually rich graphics for user interfaces. Unfortunately current programming tools ma...
Renaud Blanch, Michel Beaudouin-Lafon
LPAR
2005
Springer
13 years 10 months ago
Model Checking Abstract State Machines with Answer Set Programming
ECKING ABSTRACT STATE MACHINES WITH ANSWER SET PROGRAMMING by Calvin Kai Fan Tang B.Sc., Simon Fraser University, 2003 a thesis submitted in partial fulfillment of the requirements...
Calvin Kai Fan Tang, Eugenia Ternovska
UIST
2006
ACM
13 years 11 months ago
SwingStates: adding state machines to the swing toolkit
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...
Caroline Appert, Michel Beaudouin-Lafon
APSEC
1995
IEEE
13 years 8 months ago
Testing of Object-Oriented Programs Based on Finite State Machines
Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha
TOOLS
1999
IEEE
13 years 9 months ago
Towards Integration of State Machines and Object-Oriented Languages
The goal of this paper is to obtain a one-to-one correspondence between state machines as e.g. used in UML and object-oriented programming languages. A proposal is made for a lang...
Ole Lehrmann Madsen