Sciweavers

5407 search results - page 379 / 1082
» The Software Engineering Global Model
Sort
View
CAV
2009
Springer
165views Hardware» more  CAV 2009»
16 years 7 months ago
Symbolic Counter Abstraction for Concurrent Software
Counter Abstraction for Concurrent Software G?erard Basler1 , Michele Mazzucchi1 , Thomas Wahl1,2 , Daniel Kroening1,2 1 Computer Systems Institute, ETH Zurich, Switzerland 2 Compu...
Daniel Kroening, Gérard Basler, Michele Maz...
ICSE
2005
IEEE-ACM
16 years 7 months ago
Predictors of customer perceived software quality
Predicting software quality as perceived by a customer may allow an organization to adjust deployment to meet the quality expectations of its customers, to allocate the appropriat...
Audris Mockus, Ping Zhang, Paul Luo Li
LCTRTS
2005
Springer
16 years 9 days ago
Nonintrusive precision instrumentation of microcontroller software
Debugging, testing, and profiling microcontroller programs are notoriously difficult. The lack of supporting software such as an operating system, a narrow interface to the hard...
Ben Titzer, Jens Palsberg
ISESE
2003
IEEE
16 years 3 days ago
A Review of Surveys on Software Effort Estimation
This paper summarizes estimation knowledge through a review of surveys on software effort estimation. Main findings were that: (1) Most projects (60-80%) encounter effort and/or s...
Kjetil Moløkken, Magne Jørgensen
CSCW
2000
ACM
15 years 11 months ago
Collaboration with Lean Media: how open-source software succeeds
Open-source software, usually created by volunteer programmers dispersed worldwide, now competes with that developed by software firms. This achievement is particularly impressive...
Yutaka Yamauchi, Makoto Yokozawa, Takeshi Shinohar...