Sciweavers

5668 search results - page 903 / 1134
» The case for software evolution
Sort
View
CC
2005
Springer
106views System Software» more  CC 2005»
15 years 10 months ago
Source-Level Debugging for Multiple Languages with Modest Programming Effort
Abstract. We present techniques that enable source-level debugging for multiple languages at the cost of only modest programming effort. The key idea is to avoid letting debugging ...
Sukyoung Ryu, Norman Ramsey
CSCWD
2005
Springer
15 years 10 months ago
Towards an engineering approach for groupware development: learning from the AulaNet LMS development
This paper presents the AulaNet learning management system, its architecture and the collaboration model that guided its development and that was refined during this process. A ca...
Marco Aurélio Gerosa, Mariano Gomes Pimente...
EMSOFT
2005
Springer
15 years 10 months ago
Model-based analysis of distributed real-time embedded system composition
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
Gabor Madl, Sherif Abdelwahed
EMSOFT
2005
Springer
15 years 10 months ago
From multi-clocked synchronous processes to latency-insensitive modules
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This in...
Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien...
FOSSACS
2005
Springer
15 years 10 months ago
A Unifying Model of Variables and Names
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
Marino Miculan, Kidane Yemane