Sciweavers

809 search results - page 24 / 162
» Requirements by Contracts allow Automated System Testing
Sort
View
SEKE
2007
Springer
15 years 10 months ago
Requirement Analysis Evolution through Patterns
This paper presents a strategy, based on requirement patterns (RP), aimed at improving the requirement analysis discipline by allowing business analysts (BA) to produce more relia...
Luca Vetti Tagliati, Roger Johnson, George Roussos
OOPSLA
2010
Springer
15 years 2 months ago
Random testing for higher-order, stateful programs
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
Casey Klein, Matthew Flatt, Robert Bruce Findler
RE
2002
Springer
15 years 4 months ago
Extreme Programming Modified: Embrace Requirements Engineering Practices
Extreme Programming (XP) is an agile (lightweight) software development methodology and it becomes more and more popular. XP proposes many interesting practices, but it also has s...
Jerzy R. Nawrocki, Michal Jasiñski, Bartosz...
ICRA
2007
IEEE
131views Robotics» more  ICRA 2007»
15 years 10 months ago
Design of an Automated Handling System for Limp, Flexible Sheet Lasagna Pasta
—The manipulation of flexible and limp sheet materials is a common requirement in many industrial manufacturing processes, however automation of even simple tasks involving these...
René J. Moreno Masey, Darwin G. Caldwell
ISMB
1993
15 years 5 months ago
MultiMap: An Expert System for Automated Genetic Linkage Mapping
Withthe advent of the HumanGenomeProject. the ability to rapidly construct comprehensiveand accuratelinkage mapsbasedongenetic markerdata fromfamily studies is an absolute necessi...
Tara Cox Matise, Mark Perlin, Aravinda Chakravarti