Sciweavers

2576 search results - page 103 / 516
» A case study in test management
Sort
View
ICST
2009
IEEE
15 years 3 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
ELPUB
2006
ACM
16 years 1 days ago
Electronic Publications of Old Geographical Maps and Studying Names on Them
Some aspects of digitizing old printed maps and suitable forms of storing are pointed to discussion. Questions arising about practical use of a resolution level, which is necessar...
Emil Kelevedjiev, Jordan Tabov, Desislava Dimkova
ALGORITHMICA
1998
75views more  ALGORITHMICA 1998»
15 years 5 months ago
Average Case Analyses of List Update Algorithms, with Applications to Data Compression
We study the performance of the Timestamp(0) (TS(0)) algorithm for self-organizing sequential search on discrete memoryless sources. We demonstrate that TS(0) is better than Move-...
Susanne Albers, Michael Mitzenmacher
IWPSE
2007
IEEE
16 years 11 days ago
Modification analysis support at the requirements level
Modification analysis is part of most maintenance processes and includes among other activities, early prediction of potential change impacts, feasibility studies, cost estimation...
Maryam Shiri, Jameleddine Hassine, Juergen Rilling
ERLANG
2008
ACM
15 years 7 months ago
Early fault detection with model-based testing
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...
Jonas Boberg