Sciweavers

3376 search results - page 22 / 676
» Analyzing Software Evolvability
Sort
View
ISSTA
1996
ACM
15 years 6 months ago
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
Daniel Jackson, Craig Damon
BMCBI
2008
148views more  BMCBI 2008»
15 years 2 months ago
BATS: a Bayesian user-friendly software for Analyzing Time Series microarray experiments
Summary: BATS is a user-friendly software for Bayesian Analysis of Time Series microarray experiments based on the novel, truly functional and fully Bayesian approach proposed in ...
Claudia Angelini, Luisa Cutillo, Daniela De Candit...
ICSE
2007
IEEE-ACM
16 years 2 months ago
Tracking Code Clones in Evolving Software
Code clones are generally considered harmful in software development, and the predominant approach is to try to eliminate them through refactoring. However, recent research has pr...
Ekwa Duala-Ekoko, Martin P. Robillard
ESEC
1993
Springer
15 years 6 months ago
Software Faults in Evolving a Large, Real-Time System: a Case Study
We report the results of a survey about the software faults encountered during the testing phases in evolving a large real-time system. The survey was done in two parts: the rst pa...
Dewayne E. Perry, Carol S. Stieg
FASE
1998
Springer
15 years 6 months ago
Specifying and Analyzing Dynamic Software Architectures
A critical issue for complex component-based systems design is the modeling and analysis of architecture. One of the complicating factors in developing architectural models is acc...
Robert Allen, Rémi Douence, David Garlan