Sciweavers

742 search results - page 17 / 149
» Set-based Concurrent Engineering
Sort
View
CSMR
1998
IEEE
15 years 1 months ago
A Metrics Suite for Concurrent Logic Programs
AbstractA large body of research in the measurement of software complexity has been focused on imperative programs, but little eort has been made for logic programs. In this paper,...
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
ISSTA
2010
ACM
14 years 9 months ago
A platform for search-based testing of concurrent software
The paper describes a generic, open-source infrastructure called SearchBestie (or S'Bestie for short) that we propose as a platform for experimenting with search-based techni...
Bohuslav Krena, Zdenek Letko, Tomás Vojnar,...
ECOOP
2010
Springer
15 years 2 months ago
Correct Refactoring of Concurrent Java Code
Automated refactorings as implemented in modern IDEs for Java usually make no special provisions for concurrent code. Thus, refactored programs may exhibit unexpected new concurren...
Max Schäfer, Julian Dolby, Manu Sridharan, Em...
SIGSOFT
2000
ACM
15 years 2 months ago
The universe model: an approach for improving the modularity and reliability of concurrent programs
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
Reimer Behrends, Kurt Stirewalt
75
Voted
ICSE
2007
IEEE-ACM
15 years 9 months ago
Design and Evaluation of a Diagrammatic Notation to Aid in the Understanding of Concurrency Concepts
It is generally accepted that concurrency can be difficult for students to reason about and to manage. While some studies provide insight into the nature of these difficulties[6],...
Shaohua Xie, Eileen Kraemer, R. E. Kurt Stirewalt