Sciweavers

1185 search results - page 27 / 237
» Enhancement of Development Technologies for Agent-Based Soft...
Sort
View
CAISE
2005
Springer
15 years 3 months ago
The Logic of Correctness in Software Engineering
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
Mark Priestly
ACE
2004
193views Education» more  ACE 2004»
14 years 11 months ago
Educational Experiences From a Global Software Engineering (GSE) Project
Technological advancement in the Internet and other areas of communication have made the idea of collaborative projects with other people who might be physically located on separa...
Maryam Purvis, Martin K. Purvis, Stephen Cranefiel...
ICSE
2010
IEEE-ACM
15 years 2 months ago
Developers ask reachability questions
A reachability question is a search across feasible paths through a program for target statements matching search criteria. In three separate studies, we found that reachability q...
Thomas D. LaToza, Brad A. Myers
PROFES
2007
Springer
15 years 4 months ago
Project Cost Overrun Simulation in Software Product Line Development
The cost of a Software Product Line (SPL) development project sometimes exceeds the initially planned cost, because of requirements volatility and poor quality. In this paper, we p...
Makoto Nonaka, Liming Zhu, Muhammad Ali Babar, Mar...
ICSE
2001
IEEE-ACM
15 years 2 months ago
An Empirical Study of Global Software Development: Distance and Speed
Global software development is rapidly becoming the norm for technology companies. Previous qualitative research suggests that multi-site development may increase development cycl...
James D. Herbsleb, Audris Mockus, Thomas A. Finhol...