Sciweavers

2487 search results - page 443 / 498
» Collaborative Engineering Software Development: Ontology-Bas...
Sort
View
128
Voted
SERA
2005
Springer
15 years 7 months ago
Bridging the Gap between Analysis and Design Using Dependency Diagrams
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...
Simona Vasilache, Jiro Tanaka
101
Voted
ECLIPSE
2004
ACM
15 years 7 months ago
MEProf: modular extensible profiling for Eclipse
This paper presents a profiling plug-in for IBM’s Eclipse development environment. Our approach characterises profiling as an interactive exploration of a large virtual database...
Marc Hull, Olav Beckmann, Paul H. J. Kelly
173
Voted
FAABS
2004
Springer
15 years 7 months ago
Towards Timed Automata and Multi-agent Systems
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
Guillaume Hutzler, Hanna Klaudel, D. Yue Wang
104
Voted
ICMT
2010
Springer
15 years 7 months ago
Model Migration with Epsilon Flock
Abstract. In their recent book, Mens and Demeyer state that ModelDriven Engineering introduces additional challenges for controlling and managing software evolution. Today, tools e...
Louis M. Rose, Dimitrios S. Kolovos, Richard F. Pa...
ESA
2006
Springer
82views Algorithms» more  ESA 2006»
15 years 6 months ago
The Price of Resiliency: A Case Study on Sorting with Memory Faults
We address the problem of sorting in the presence of faults that may arbitrarily corrupt memory locations, and investigate the impact of memory faults both on the correctness and ...
Umberto Ferraro Petrillo, Irene Finocchi, Giuseppe...