Sciweavers

7202 search results - page 362 / 1441
» Software System Engineering: A Tutorial
Sort
View
161
Voted
ICSE
1994
IEEE-ACM
15 years 11 months ago
Applying Formal Methods for Human Error Tolerant Design
Abstract. This paper describes recent work concerned with the speci cation of requirements on interactive systems and the de nition of user-level properties of such systems. A form...
Bob Fields, Peter C. Wright, Michael D. Harrison
OOPSLA
2005
Springer
16 years 7 days ago
Estimating software based on use case points
It is well documented that software product cost estimates are notoriously inaccurate across the software industry. Creating accurate cost estimates for software product developme...
Edward R. Carroll
STEP
2003
IEEE
16 years 1 days ago
Incorporating Quality Requirements in Software Migration Process
The reengineering of legacy software systems to modern Object Oriented platforms has received significant attention over the past few years. However, most often the reengineering ...
Ying Zou
DAGSTUHL
2006
15 years 8 months ago
Shaman: Software and Human Agents in Multiattribute Auctions and Negotiations
Three distinct and interacting types of entities: people, software agents and e-markets are considered in this paper. These entities operate within Shaman, a proposed framework fo...
Gregory E. Kersten, Ryszard Kowalczyk, Hsiangchu L...
CAI
2010
Springer
15 years 4 months ago
Achieving Cost-Effective Software Reliability Through Self-Healing
Heterogeneity, mobility, complexity and new application domains raise new software reliability issues that cannot be met cost-effectively only with classic software engineering ap...
Alessandra Gorla, Mauro Pezzè, Jochen Wuttk...