248 search results - page 11 / 50 » Test exploration and validation using transaction level mode... |
MSV
2004
13 years 9 months ago
2004
Valid models are central to the existence of Computer science as in most other disciplines, but at what point can one say that a model is valid and hence correct? is often taken t...
PODC
2005
ACM
14 years 2 months ago
2005
ACM
The obstruction-free Dynamic Software Transactional Memory (DSTM) system of Herlihy et al. allows only one transaction at a time to acquire an object for writing. Should a second ...
DAC
1999
ACM
14 years 22 days ago
1999
ACM
The assumption in moving system modelling to higher levels is that this improves the design process by allowing exploration of the architecture, providing an unambiguous specifica...
ICSE
2005
IEEE-ACM
14 years 8 months ago
2005
IEEE-ACM
COCONUT calibrates effort estimation models using an exhaustive search over the space of calibration parameters in a COCOMO I model. This technique is much simpler than other effo...
ISSRE
2006
IEEE
14 years 2 months ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...