805 search results - page 38 / 161 » Location-Based Software Modeling and Analysis: Tropos-Based ... |
111
click to vote
TAICPART
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract. With pairwise testing, the test model is a list of N parameters. Each test case is an N-tuple; the test space is the cross product of the N parameters. A pairwise test is...
RE
2006
Springer
14 years 9 months ago
2006
Springer
Use-cases often capture the expected behaviors of a system and its components. During requirements analysis, it is important to understand and model the relationship among differe...
66
Voted
ICECCS
2007
IEEE
15 years 1 months ago
2007
IEEE
Control systems must increasingly be designed to involve collections of hardware and software components, both of which may evolve over the lifetime of the system, and which are e...
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...
ICFEM
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...