Sciweavers

94 search results - page 14 / 19
» Synthesizing evidence in software engineering research
Sort
View
KBSE
2003
IEEE
15 years 2 months ago
Specification and Synthesis of Hybrid Automata for Physics-Based Animation
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
Thomas Ellman
62
Voted
CSEE
2001
Springer
15 years 2 months ago
Systems Failures
Software Systems permeate just about every aspect of life throughout developed and industrialised nations today. When failures arise, the aftermath is highly complicated because t...
John Donaldson, John Jenkins
TSE
2002
133views more  TSE 2002»
14 years 9 months ago
Quality, Productivity, and Learning in Framework-Based Development: An Exploratory Case Study
This paper presents an empirical study in an industrial context on the production of software using a framework. Frameworks are semicomplete applications, usually implemented as a ...
Maurizio Morisio, Daniele Romano, Ioannis Stamelos
PLDI
2005
ACM
15 years 3 months ago
Jungloid mining: helping to navigate the API jungle
Reuse of existing code from class libraries and frameworks is often difficult because APIs are complex and the client code required to use the APIs can be hard to write. We obser...
David Mandelin, Lin Xu, Rastislav Bodík, Do...
CODES
2006
IEEE
15 years 3 months ago
Automatic run-time extraction of communication graphs from multithreaded applications
Embedded system synthesis, multiprocessor synthesis, and thread assignment policy design all require detailed knowledge of the runtime communication patterns among different threa...
Ai-Hsin Liu, Robert P. Dick