Sciweavers

2853 search results - page 217 / 571
» A platform for software engineering research
Sort
View
CBSQ
2003
Springer
15 years 11 months ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
EWSPT
2003
Springer
15 years 11 months ago
Formalizing Rework in Software Processes
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...
Aaron G. Cass, Stanley M. Sutton Jr., Leon J. Oste...
SIGSOFT
2010
ACM
15 years 4 months ago
Bridging gaps between developers and testers in globally-distributed software development
One of the main challenges in distributed development is ensuring effective communication and coordination among the distributed teams. In this context, little attention has been ...
Mark Grechanik, James A. Jones, Alessandro Orso, A...
ICWS
2007
IEEE
15 years 7 months ago
Comparing Web Services with other Software Components
Software metrics is vital for the management of software development, especially when a new technology is adopted and established practices have yet to be developed. As a kind of s...
Yijun Yu, Jianguo Lu, Juan Fernández-Ramil,...
ICSE
2004
IEEE-ACM
16 years 6 months ago
Making Resource Decisions for Software Projects
Software metrics should support managerial decision making in software projects. We explain how traditional metrics approaches, such as regression-based models for cost estimation...
Norman E. Fenton, William Marsh, Martin Neil, Patr...