Sciweavers

467 search results - page 30 / 94
» WebMetrics: A Tool for Improving Software Development
Sort
View
ICSE
2007
IEEE-ACM
15 years 10 months ago
Enhancing Software Testing by Judicious Use of Code Coverage Information
Recently, tools for the analysis and visualization of code coverage have become widely available. At first glance, their value in assessing and improving the quality of automated ...
Stefan Berner, Roland Weber, Rudolf K. Keller
FM
2008
Springer
135views Formal Methods» more  FM 2008»
15 years 6 months ago
Secret Ninja Formal Methods
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
Joseph R. Kiniry, Daniel M. Zimmerman
133
Voted
SIGSOFT
2009
ACM
16 years 5 months ago
ConcernMorph: metrics-based detection of crosscutting patterns
Crosscutting concerns can hinder maintainability of a design because they do not adhere to a system's underlying modular structure. Developers, therefore, may wish to refacto...
Eduardo Figueiredo, Jon Whittle, Alessandro F. Gar...
ICSE
2008
IEEE-ACM
16 years 4 months ago
The application of knowledge-sharing workspace paradigm for software architecture processes
Management of architectural knowledge is vital for improving an organisation's capabilities in software architecture. Recently, there have been many efforts to develop variou...
Muhammad Ali Babar
MOMM
2009
ACM
163views Communications» more  MOMM 2009»
15 years 9 months ago
Tools for designing and prototyping activity-based pervasive applications
This paper proposes a new approach for modelling, testing and prototyping pervasive, possibly mobile, and distributed applications. It describes a set of tools aimed at supporting...
Pascal Bruegger, Denis Lalanne, Agnes Lisowska, B&...