2419 search results - page 359 / 484 » A Formal Approach to Software Testing |
ICMAS
2000
13 years 9 months ago
2000
We present an auction-based approach to manufacturing control. Workpieces auction off their current task, while machines bid for tasks. When awarding a machine, a workpiece takes ...
ICSM
2005
IEEE
14 years 1 months ago
2005
IEEE
To remain competitive in the fast paced world of software development, managers must optimize the usage of their limited resources to deliver quality products on time and within b...
PROMS
2001
Springer
14 years 22 days ago
2001
Springer
—This paper presents a model-based approach to service creation. We observe that the complexity of software services increases. To manage this complexity, and to quickly create s...
FMICS
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
INFSOF
2002
13 years 8 months ago
2002
Use of commercial-off-the-shelf (COTS) products is becoming a popular software development method. Current methods of selecting COTS products involve using the intuition of softwa...