Sciweavers

1199 search results - page 21 / 240
» Software Verification and Software Engineering a Practitione...
Sort
View
178
Voted
SIGSOFT
2010
ACM
15 years 5 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
WSC
2008
15 years 9 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
154
Voted
KBSE
2005
IEEE
16 years 1 months ago
Application of design for verification with concurrency controllers to air traffic control software
Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Be...
EWSA
2004
Springer
16 years 26 days 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