Sciweavers

Share
26 search results - page 1 / 6
» forte 2004
Sort
View
FORTE
2004
9 years 3 months ago
Life-Cycle E-commerce Testing with OO-TTCN-3
Robert L. Probert, Pulei Xiong, Bernard Stepien
FORTE
2004
9 years 3 months ago
A Symbolic Symbolic State Space Representation
Yann Thierry-Mieg, Jean-Michel Ilié, Denis ...
FORTE
2004
9 years 3 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
9 years 3 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
books