3765 search results - page 42 / 753 » Formal Methods for Systems Engineering Behavior Models |
151
click to vote
UML
2001
Springer
15 years 6 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
102
click to vote
ICFEM
2009
Springer
15 years 9 months ago
2009
Springer
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
119
click to vote
FMSD
2006
15 years 2 months ago
2006
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...
105
Voted
CHI
2010
ACM
2010
ACM
Prefab: implementing advanced behaviors using pixel-based reverse engineering of interface structure
15 years 9 months ago
Current chasms between applications implemented with different user interface toolkits make it difficult to implement and explore potentially important interaction techniques in n...
156
Voted
FORTE
1994
15 years 3 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...