15783 search results - page 646 / 3157 » Evidence-Based Software Engineering |
201
click to vote
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
182
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
Executing critical systems often rely on humans to make important and sometimes life-critical decisions. As such systems become more complex, the potential for human error to lead...
189
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
198
Voted
AOSD
2012
ACM
14 years 3 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
209
click to vote
EUROMICRO
2009
IEEE
16 years 2 months ago
2009
IEEE
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...