713 search results - page 19 / 143 » Formalization, Testing and Execution of a Use Case Diagram |
TSE
2010
13 years 2 months ago
2010
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...
SOCA
2008
IEEE
13 years 7 months ago
2008
IEEE
Specification, modeling and analysis of interactions among peers that communicate via messages are becoming increasingly important due to the emergence of service oriented computi...
ASM
2010
ASM
13 years 10 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
13 years 8 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
XPU
2009
Springer
14 years 1 months ago
2009
Springer
We present results of a case study looking at how domain knowledge is communicated to developers using executable acceptance test driven development at a large software development...