Sciweavers

12452 search results - page 169 / 2491
» An exploration of program as language
Sort
View
JUCS
2008
182views more  JUCS 2008»
15 years 6 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
IFIP
1999
Springer
15 years 10 months ago
The Tyranny of Space in Organizational Analysis
We want to understand organizational process as the temporal making of meanings, but our vocabulary for doing so is predominantly spatial. Some mistakes this has led to in my own ...
Richard J. Boland Jr.
VL
2010
IEEE
160views Visual Languages» more  VL 2010»
15 years 4 months ago
Toward End-User Debugging of Machine-Learned Classifiers
Many machine-learning algorithms learn rules of behavior from individual end users, such as taskoriented desktop organizers and handwriting recognizers. These rules form a generat...
Todd Kulesza
IJOE
2008
89views more  IJOE 2008»
15 years 6 months ago
Digital Astronomy in Education
: What causes seasons? Why day and night durations are so different with seasons alternation? Why the position of the full moon seems directed to the south in summer while it seems...
Saïd Boutiche