492 search results - page 55 / 99 » Hybrid Sequence Charts |
163
click to vote
IV
2008
IEEE
16 years 15 days ago
2008
IEEE
With the increasing complexity of in-car communication architectures, their diagnostics have become essential for automotive development and maintenance. In order to help engineer...
165
click to vote
SEFM
2008
IEEE
16 years 15 days ago
2008
IEEE
The only practical way to test distributed messagepassing systems is to use local testing. In this approach, used in formalisms such as concurrent TTCN-3, some components are repl...
159
click to vote
KBSE
2007
IEEE
16 years 12 days ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
180
click to vote
RSP
2007
IEEE
16 years 12 days ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
142
click to vote
OOPSLA
2007
Springer
16 years 7 days ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...