Sciweavers

7404 search results - page 218 / 1481
» Software performance antipatterns
Sort
View
WCRE
1999
IEEE
15 years 9 months ago
Software Architectural Transformation
Software architecture, as a vehicle for communication and reasoning about software systems and their quality, is becoming an area of focus in both the forward- and reverseengineer...
S. Jeromy Carrière, Steven G. Woods, Rick K...
SPIN
1999
Springer
15 years 8 months ago
Assume-Guarantee Model Checking of Software: A Comparative Case Study
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
Corina S. Pasareanu, Matthew B. Dwyer, Michael Hut...
CODES
1996
IEEE
15 years 8 months ago
A Model for the Coanalysis of Hardware and Software Architectures
Successful """tiprocessor system design for complex realtime embedded applications requires powerful and comprehensive. yet cost-effective. productive. and maintain...
Fred Rose, Todd Carpenter, Sanjaya Kumar, John Sha...
ECAI
1994
Springer
15 years 8 months ago
Similarity for Analogical Software Reuse: A Computational Model
This paper describes a computational model of similarity developed to support analogical software reuse. Similarity is computed from conceptual descriptions of software artifacts o...
George Spanoudakis, Panos Constantopoulos
145
Voted
APVIS
2004
15 years 6 months ago
A Solar System Metaphor for 3D Visualisation of Object Oriented Software Metrics
Early detection of problems within a code base can save much effort and associated cost as time progresses. One method of performing routine assessment of code with a view to pre-...
Hamish Graham, Hong Yul Yang, Rebecca Berrigan