Sciweavers

468 search results - page 53 / 94
» Spreadsheet Engineering: A Research Framework
Sort
View
124
Voted
KBSE
2010
IEEE
14 years 11 months ago
Solving string constraints lazily
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
Pieter Hooimeijer, Westley Weimer
ICSE
2004
IEEE-ACM
16 years 21 days ago
AcmeStudio: Supporting Style-Centered Architecture Development
Software architectural modeling is crucial to the development of high-quality software. Software engineering tool support is required for this activity, so that models can be deve...
Bradley R. Schmerl, David Garlan
90
Voted
ICSE
2009
IEEE-ACM
15 years 7 months ago
Complete and accurate clone detection in graph-based models
Model-Driven Engineering (MDE) has become an important development framework for many large-scale software. Previous research has reported that as in traditional code-based develo...
Nam H. Pham, Hoan Anh Nguyen, Tung Thanh Nguyen, J...
77
Voted
KBSE
2005
IEEE
15 years 6 months ago
Visualization-based analysis of quality for large-scale software systems
We propose an approach for complex software analysis based on visualization. Our work is motivated by the fact that in spite of years of research and practice, software developmen...
Guillaume Langelier, Houari A. Sahraoui, Pierre Po...
115
Voted
ICSE
2010
IEEE-ACM
15 years 4 months ago
Collaborative reliability prediction of service-oriented systems
Service-oriented architecture (SOA) is becoming a major software framework for building complex distributed systems. Reliability of the service-oriented systems heavily depends on...
Zibin Zheng, Michael R. Lyu