Sciweavers

11784 search results - page 426 / 2357
» Improving Software Process Improvement
Sort
View
FMICS
2007
Springer
16 years 1 months ago
Analysis of a Session-Layer Protocol in mCRL2
Abstract. This paper reports the analysis of an industrial implementation of the session-layer of a load-balancing software system. This software comprises 7.5 thousand lines of C ...
Marko C. J. D. van Eekelen, Stefan ten Hoedt, Ren&...
FM
2008
Springer
135views Formal Methods» more  FM 2008»
15 years 8 months ago
Secret Ninja Formal Methods
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
Joseph R. Kiniry, Daniel M. Zimmerman
XPU
2007
Springer
16 years 28 days ago
Comparing Decision Making in Agile and Non-agile Software Organizations
Our ability to improve decision making in software development hinges on understanding how decisions are made, and which approaches to decision making are better than others. Howev...
Carmen Zannier, Frank Maurer
APSEC
2004
IEEE
15 years 10 months ago
Assigning Tasks in a 24-Hour Software Development Model
With the advent of globalization and the Internet, the concept of global software development is gaining ground. The global development model opens up the possibility of 24-hour s...
Pankaj Jalote, Gourav Jain
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