Sciweavers

5228 search results - page 528 / 1046
» Case Studies for Software Engineers
Sort
View
ERLANG
2004
ACM
16 years 19 days ago
Flow graphs for testing sequential Erlang programs
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
Manfred Widera
KBSE
2010
IEEE
15 years 5 months ago
Variability modeling in the real: a perspective from the operating systems domain
Variability models represent the common and variable features of products in a product line. Several variability modeling languages have been proposed in academia and industry; ho...
Thorsten Berger, Steven She, Rafael Lotufo, Andrze...
ICSE
2007
IEEE-ACM
16 years 7 months ago
Usability Implications of Requiring Parameters in Objects' Constructors
The usability of APIs is increasingly important to programmer productivity. Based on experience with usability studies of specific APIs, techniques were explored for studying the ...
Jeffrey Stylos, Steven Clarke
FATES
2004
Springer
16 years 18 days ago
A Test Generation Framework for quiescent Real-Time Systems
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
Laura Brandán Briones, Ed Brinksma
ITICSE
2003
ACM
16 years 14 days ago
Studying program correctness by constructing contracts
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D...