Sciweavers

2206 search results - page 44 / 442
» Software Engineering and Modeling Education: Problems and So...
Sort
View
XPU
2005
Springer
15 years 11 months ago
An Approach for Assessing Suitability of Agile Solutions: A Case Study
Dynamic market situation and changing customer requirements generate more demands for the product development. Product releases should be developed and managed in short iterations ...
Minna Pikkarainen, Ulla Passoja
ICFEM
2000
Springer
15 years 9 months ago
Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...
Tetsuo Tamai
FOSSACS
2009
Springer
16 years 24 days ago
Facets of Synthesis: Revisiting Church's Problem
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
Wolfgang Thomas
CISSE
2009
Springer
15 years 10 months ago
Unbiased Statistics of a Constraint Satisfaction Problem - a Controlled-Bias Generator
: We show that estimating the complexity (mean and distribution) of the instances of a fixed size Constraint Satisfaction Problem (CSP) can be very hard. We deal with the main two ...
Denis Berthier
INTERACT
2003
15 years 7 months ago
Chemistry Education: A Tangible Interaction Approach
: This system paper reports on some of the advantages tangible interaction can bring to chemistry education. The paper describes how we realized a Tangible User Interface (TUI) cal...
Morten Fjeld, Patrick Juchli, Benedikt M. Voegtli