Sciweavers

493 search results - page 8 / 99
» An Analysis of Tool-Based Research in Software Engineering
Sort
View
ICSE
2009
IEEE-ACM
15 years 10 months ago
Alitheia Core: An extensible software quality monitoring platform
Research in the fields of software quality and maintainability requires the analysis of large quantities of data, which often originate from open source software projects. Pre-pro...
Georgios Gousios, Diomidis Spinellis
ICSE
2007
IEEE-ACM
15 years 10 months ago
Formal Software Analysis Emerging Trends in Software Model Checking
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
Matthew B. Dwyer, John Hatcliff, Robby, Corina S. ...
METRICS
2002
IEEE
15 years 2 months ago
Software Quality Analysis by Code Clones in Industrial Legacy Software
Existing researches suggest that the code clone (duplicated code) is one of the factors that degrades the design and the structure of software and lowers the software quality such...
Akito Monden, Daikai Nakae, Toshihiro Kamiya, Shin...
SEFM
2006
IEEE
15 years 3 months ago
Automatic Property Checking for Software: Past, Present and Future
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
Sriram K. Rajamani
INFSOF
2010
146views more  INFSOF 2010»
14 years 7 months ago
Links between the personalities, views and attitudes of software engineers
Successful software development and management depends not only on the technologies, methods and processes employed but also on the judgments and decisions of the humans involved....
Robert Feldt, Lefteris Angelis, Richard Torkar, Ma...