Sciweavers

8636 search results - page 410 / 1728
» How Developers Copy
Sort
View
HOTOS
2007
IEEE
15 years 10 months ago
Towards a Practical, Verified Kernel
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
Kevin Elphinstone, Gerwin Klein, Philip Derrin, Ti...
TOOLS
2000
IEEE
15 years 10 months ago
Applying the Lessons of eXtreme Programming
Although eXtreme Programming has been explained by Kent Beck[1], there are many benefits to adopting eXtreme Programming (XP) practices in other development processes. The benefit...
Pete McBreen
ECOOP
1995
Springer
15 years 10 months ago
Experience Using Design Patterns to Evolve Communication Software Across Diverse OS Platforms
Design patterns help to improve communication software quality since they address a fundamental challenge in largescale software development: communicationof architectural knowled...
Douglas C. Schmidt, Paul Stephenson
WSC
2008
15 years 9 months ago
Federated simulations for systems of systems integration
Systems of systems integration is a difficult engineering challenge that places a particular burden on the engineers who must develop simulation models to support that integration...
Robert H. Kewley, James Cook, Niki Goerger, Dale H...
ACE
2004
221views Education» more  ACE 2004»
15 years 8 months ago
Personal Software Process in the Database Course
This paper describes the integration of the Personal Software Process (PSP) into an introductory database course in an MIS curriculum. PSP is a highly disciplined, process-based a...
William I. Bullers Jr.