Sciweavers

519 search results - page 54 / 104
» Granular Problem Solving and Software Engineering
Sort
View
ICSM
2007
IEEE
15 years 9 months ago
An Activity-Based Quality Model for Maintainability
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...
Florian Deissenboeck, Stefan Wagner, Markus Pizka,...
ICSE
2009
IEEE-ACM
15 years 7 months ago
Automating Structural Testing of C Programs: Experience with PathCrawler
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
Bernard Botella, Mickaël Delahaye, Sté...
220
Voted
POPL
2005
ACM
16 years 2 months ago
Synthesis of interface specifications for Java classes
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
P. Madhusudan, Pavol Cerný, Rajeev Alur, Wo...
109
Voted
ICSE
1999
IEEE-ACM
15 years 7 months ago
Experience with Performing Architecture Tradeoff Analysis
Software architectures, like complex designs in any field, embody tradeoffs made by the designers. However, these tradeoffs are not always made explicitly by the designers and the...
Rick Kazman, Mario Barbacci, Mark Klein, S. Jeromy...
96
Voted
WWW
2006
ACM
16 years 3 months ago
SGSDesigner: a graphical interface for annotating and designing semantic grid services
In this paper, we describe SGSDesigner, the ODESGS Environment user interface. ODESGS Environment (the realization of the ODESGS Framework [1]) is an environment for supporting bo...
Asunción Gómez-Pérez, Rafael ...