Sciweavers

20833 search results - page 410 / 4167
» Hidden process models
Sort
View
ISSS
1997
IEEE
59views Hardware» more  ISSS 1997»
15 years 11 months ago
Derivation of Formal Representations from Process-Based Specification and Implementation Models
Steven Vercauteren, Diederik Verkest, Gjalt G. de ...
142
Voted
ICALP
1997
Springer
15 years 11 months ago
Symbolic Model Checking for Probabilistic Processes
Christel Baier, Edmund M. Clarke, Vassili Hartonas...
136
Voted
ICALP
1993
Springer
15 years 11 months ago
Local Model Checking for Context-Free Processes
Hardi Hungar, Bernhard Steffen
161
Voted
SEKE
1992
Springer
15 years 11 months ago
An Iterative-Cyclic Software Process Model
The current state of traditional software development is surveyed and essential problems are investigated on the basis of system theoretical considerations. The concept of optimis...
Matthias Rauterberg