ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
Models need to be put under version control to facilitate collaboration and to control change. EMFStore is a Software Configuration Management system tailored to the specific re...
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
This paper presents the results of an exploratory study on the fault-proneness of aspect-oriented programs. We analysed the faults collected from three evolving aspect-oriented sy...
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
This paper discusses results achieved in measuring complexity, effectiveness and efficiency, in a series of related software course projects, spanning a period of seven years. We ...
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
E-mails concerning the development issues of a system constitute an important source of information about high-level design decisions, low-level implementation concerns, and the s...
ICSE
2010
IEEE-ACM
14 years 3 months ago
2010
IEEE-ACM
Concurrency is inherent in today’s software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs. Such bugs are hard to...
ICSE
2010
IEEE-ACM
14 years 3 months ago
2010
IEEE-ACM
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...