18924 search results - page 22 / 3785 » Conformance of Distributed Systems |
166
Voted
FORTEST
2008
15 years 4 months ago
2008
Abstract. This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the UPPAAL model-checking tool-suite. The basis fo...
121
click to vote
FMCO
2006
Springer
15 years 6 months ago
2006
Springer
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
108
Voted
OTM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The modeling, design, and implementation of inter-organizational systems (IOS) is a challenging new problem. In contrast to previous systems, where components have clearl...
148
click to vote
SIGADA
1999
Springer
15 years 6 months ago
1999
Springer
This work explores Tcl-Tk 8.0 as a tool to easily build script based GUIs for Ada95 realtime systems. Tcl-Tk 8.0 is a library that makes graphic programming easier, but it suffers...
124
click to vote
ICFEM
2010
Springer
15 years 11 days ago
2010
Springer
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...