Sciweavers

1199 search results - page 21 / 240
» Software Verification and Software Engineering a Practitione...
Sort
View
SIGSOFT
2010
ACM
14 years 11 months ago
Rethinking the economics of software engineering
Reliance on skilled developers reduces the return on investment for important software engineering tasks such as establishing program correctness. This position paper introduces a...
Todd W. Schiller, Michael D. Ernst
109
Voted
WSC
2008
15 years 4 months ago
How to build better models: Applying agile techniques to simulation
For simulation practitioners, the common steps in a simulation modeling engagement are likely familiar: problem assessment, requirements specification, model building, verificatio...
James T. Sawyer, David M. Brann
88
Voted
KBSE
2005
IEEE
15 years 7 months ago
Application of design for verification with concurrency controllers to air traffic control software
Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Be...
102
Voted
EWSA
2004
Springer
15 years 7 months ago
Maintainability through Architecture Development
Abstract. This position paper investigates on the need to put software architecture evaluations for maintainability in a broader perspective than is done until now.
Bas Graaf