Sciweavers

1713 search results - page 17 / 343
» Production programming in the classroom
Sort
View
JUCS
2008
182views more  JUCS 2008»
14 years 9 months ago
Modularizing Theorems for Software Product Lines: The Jbook Case Study
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
Don S. Batory, Egon Börger
AOSD
2011
ACM
14 years 4 months ago
Reducing combinatorics in testing product lines
A Software Product Line (SPL) is a family of programs where each program is defined by a unique combination of features. Testing or checking properties of an SPL is hard as it ma...
Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurs...
EMSOFT
2008
Springer
14 years 11 months ago
Tax-and-spend: democratic scheduling for real-time garbage collection
Real-time Garbage Collection (RTGC) has recently advanced to the point where it is being used in production for financial trading, military command-and-control, and telecommunicat...
Joshua S. Auerbach, David F. Bacon, Perry Cheng, D...
SIGCSE
2009
ACM
179views Education» more  SIGCSE 2009»
15 years 10 months ago
Methods, metrics and motivation for a green computer science program
Computer science educators are uniquely positioned to promote greater awareness of Green Computing, using the academic setting to encourage environmentally conscious use of techno...
Mujtaba Talebi, Thomas Way
CGF
2008
78views more  CGF 2008»
14 years 9 months ago
Tangible Heritage: Production of Astrolabes on a Laser Engraver
The astrolabe, an analog computing device, used to be the iconic instrument of astronomers during the Middle Ages. It allowed a multitude of operations of practical astronomy whic...
G. Zotti