2004 search results - page 34 / 401 » Comparison of Model Checking Tools for Information Systems |
BIRTHDAY
2003
Springer
15 years 5 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
ICIP
2000
IEEE
15 years 4 months ago
2000
IEEE
The human visual system plays a key role in the final perceived quality of the compressed images. It is therefore desirable to allow system designers and users to take advantage o...
ICWE
2005
Springer
15 years 5 months ago
2005
Springer
A methodology needs to be empowered by appropriate tool support. The CASE tool ArgoUWE supports designers in the use of the UWE methodology for the systematic, UML-based developmen...
IADIS
2004
15 years 1 months ago
2004
The performance evaluation of an information retrieval system is a decisive aspect for the measure of the improvements in search technology. Our work intends to provide a framewor...
ACSD
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...