Sciweavers

2853 search results - page 430 / 571
» A platform for software engineering research
Sort
View
CHI
2007
ACM
14 years 10 months ago
iStuff mobile: rapidly prototyping new mobile phone interfaces for ubiquitous computing
iStuff Mobile is the first rapid prototyping framework that helps explore new sensor-based interfaces with existing mobile phones. It focuses on sensor-enhanced physical interface...
Rafael Ballagas, Faraz Memon, Rene Reiners, Jan O....
CODES
2007
IEEE
14 years 4 months ago
HW/SW co-design for Esterel processing
We present a co-synthesis approach that accelerates reactive software processing by moving the calculation of complex expressions into external combinational hardware. The startin...
Sascha Gädtke, Claus Traulsen, Reinhard von H...
ECBS
2009
IEEE
114views Hardware» more  ECBS 2009»
14 years 2 months ago
Model-Based Product-Oriented Certification
Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present pro...
Damian Dechev, Bjarne Stroustrup
ICSE
2008
IEEE-ACM
14 years 11 months ago
A teamwork-based approach to programming fundamentals with scheme, smalltalk & java
In October 2004 the University of Lugano in southern Switzerland established a new faculty of informatics. Its founding principles are innovation in teaching and faculty participa...
Michele Lanza, Amy L. Murphy, Romain Robbes, Mirce...
SIGSOFT
2005
ACM
14 years 11 months ago
Online testing with model programs
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
Margus Veanes, Colin Campbell, Wolfram Schulte, Ni...