Sciweavers

3376 search results - page 147 / 676
» Analyzing Software Evolvability
Sort
View
FMICS
2009
Springer
15 years 11 months ago
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
David Delmas, Eric Goubault, Sylvie Putot, Jean So...
ADAEUROPE
2003
Springer
15 years 10 months ago
Booch's Ada vs. Liskov's Java: Two Approaches to Teaching Software Design
Abstract. We study two textbooks for teaching undergraduate softineering, both focusing on software design and data abstraction in particular. We describe the differences in their...
Ehud Lamm
ISPW
2007
IEEE
15 years 11 months ago
Comparative Experiences with Electronic Process Guide Generator Tools
The primary objective of all software engineering courses is to help students learn how to develop successful software systems with good software engineering practices. Various too...
Monvorath Phongpaibul, Supannika Koolmanojwong, Al...
129
Voted
ISESE
2006
IEEE
15 years 11 months ago
The evolution of FreeBSD and Linux
Is the nature of Open Source Software (OSS) evolution fundamentally different from that of the traditional and commercially available software systems? Lehman and others conducted...
Clemente Izurieta, James M. Bieman
131
Voted
FM
2003
Springer
129views Formal Methods» more  FM 2003»
15 years 10 months ago
Trends in Software Verification
With the steady increase in computational power of general purpose computers, our ability to analyze routine software artifacts is also steadily increasing. As a result, we are wit...
Gerard J. Holzmann