Sciweavers

3667 search results - page 79 / 734
» Software Rejuvenation - Modeling and Analysis
Sort
View
SIGSOFT
2005
ACM
14 years 8 months ago
CHARMY: an extensible tool for architectural analysis
Charmy is a framework for designing and validating architectural specifications. In the early stages of the software development process, the Charmy framework assists the software...
Paola Inverardi, Henry Muccini, Patrizio Pelliccio...
PPOPP
2011
ACM
12 years 10 months ago
Cooperative reasoning for preemptive execution
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan
MSR
2009
ACM
14 years 2 months ago
A platform for software engineering research
Research in the fields of software quality, maintainability and evolution requires the analysis of large quantities of data, which often originate from open source software proje...
Georgios Gousios, Diomidis Spinellis
BMCBI
2004
62views more  BMCBI 2004»
13 years 7 months ago
Pegasys: software for executing and integrating analyses of biological sequences
Background: We present Pegasys
Sohrab P. Shah, David Y. M. He, Jessica N. Sawkins...
ICSM
2002
IEEE
14 years 18 days ago
Architecture Analysis Tools to Support Evolution of Large Industrial Systems
This paper describes an architecture analysis tool-set supporting the evolutionary improvement of the software architecture of an existing medical imaging system. The toolset has ...
Tobias Rötschke, René L. Krikhaar