631 search results - page 1 / 127 » An Integrated Formal Model of Scenarios Based on Statecharts |
ESEC
1995
Springer
13 years 8 months ago
1995
Springer
RSP
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
ASE
2006
13 years 5 months ago
2006
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...
CMSB
2004
Springer
13 years 10 months ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
BIRTHDAY
2005
Springer
13 years 11 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...