103 search results - page 15 / 21 » UnitCheck: Unit Testing and Model Checking Combined |
PTS
2007
15 years 1 months ago
2007
Extended Finite State Machine (EFSM)-based passive fault detection involves modeling the system under test (SUT) as an EFSM M, monitoring the input/output behaviors of the SUT, and...
EOR
2006
14 years 11 months ago
2006
We propose a multivariate statistical framework for regional development assessment based on structural equation modelling with latent variables and show how such methods can be c...
105
click to vote
ECTEL
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The goal of the APOSDLE (Advanced Process-Oriented SelfDirected Learning environment) project is to support work-integrated learning of knowledge workers. We argue that w...
100
click to vote
DSN
2000
IEEE
15 years 3 months ago
2000
IEEE
Survivabilityis the ability of a system to maintain a set of essential services despite the presence of abnormal events such as faults and intrusions. Ensuring system survivabilit...
UML
2001
Springer
15 years 4 months ago
2001
Springer
Abstract: A lightweight UML-based software development method for building reliable software systems is proposed. It attempts to combine the coding emphasis of Extreme Programming ...