1926 search results - page 188 / 386 » Modeling and Model Checking Software Product Lines |
190
click to vote
CODES
2006
IEEE
16 years 15 days ago
2006
IEEE
Transaction-level modeling has been touted to improve simulation performance and modeling efficiency for early design space exploration. But no tools are available to generate suc...
174
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
176
click to vote
PDSE
1998
15 years 7 months ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
211
click to vote
RE
2010
Springer
15 years 1 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
186
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Pair programmers need a "warmup phase" before the pair can work at full speed. The length of the learning interval varies, depending on how experienced the developers are...