Sciweavers

1051 search results - page 15 / 211
» Protocols in the use of empirical software engineering artif...
Sort
View
PASTE
2005
ACM
14 years 2 months ago
An empirical framework for comparing effectiveness of testing and property-based formal analysis
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
Jeremy S. Bradbury, James R. Cordy, Jürgen Di...
AOSD
2009
ACM
14 years 21 days ago
Semantic vs. syntactic compositions in aspect-oriented requirements engineering: an empirical study
Most current aspect composition mechanisms rely on syntactic references to the base modules or wildcard mechanisms quantifying over such syntactic references in pointcut expressio...
Ruzanna Chitchyan, Phil Greenwood, Américo ...
ESEM
2008
ACM
13 years 10 months ago
Using students as subjects - an empirical evaluation
An important task in Requirements Engineering is to select which requirements that should go into a specific release of a system. This is a complex decision that requires balancin...
Mikael Svahnberg, Aybüke Aurum, Claes Wohlin
APSEC
2004
IEEE
14 years 14 days ago
Towards Synchronous Collaborative Software Engineering
Caise, a collaborative software engineering architecture, provides extensible real-time support for collaboration between participating tools and users. The architecture maintains...
Carl Cook, Neville Churcher, Warwick Irwin
WCRE
2008
IEEE
14 years 3 months ago
Consistent Layout for Thematic Software Maps
Software visualizations can provide a concise overview of a complex software system. Unfortunately, since software has no physical shape, there is no “natural” mapping of soft...
Adrian Kuhn, Peter Loretan, Oscar Nierstrasz