Sciweavers

26 search results - page 1 / 6
» forte 2004
Sort
View
FORTE
2004
14 years 11 months ago
Life-Cycle E-commerce Testing with OO-TTCN-3
Robert L. Probert, Pulei Xiong, Bernard Stepien
FORTE
2004
14 years 11 months ago
A Symbolic Symbolic State Space Representation
Yann Thierry-Mieg, Jean-Michel Ilié, Denis ...
FORTE
2004
14 years 11 months ago
Composing Event Constraints in State-Based Specification
Abstract. Event-based process algebraic specification languages support an elegant specification technique by which system behaviours are described as compositions of constraints o...
Tommaso Bolognesi
FORTE
2004
14 years 11 months ago
Towards Design Recovery from Observations
This paper proposes an algorithm for the construction of an MSC graph from a given set of actual behaviors of an existing concurrent system which has repetitive subfunctions. Such ...
Hasan Ural, Hüsnü Yenigün