2623 search results - page 140 / 525 » tools 2010 |
TAP
2010
Springer
13 years 8 months ago
2010
Springer
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
UIST
2010
ACM
2010
ACM
D-Macs: building multi-device user interfaces by demonstrating, sharing and replaying design actions
13 years 8 months ago
Multi-device user interface design mostly implies creating a suitable interface for each targeted device, using a diverse set of design tools and toolkits. This is a time consumin...
EMSOFT
2010
Springer
13 years 7 months ago
2010
Springer
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...
ICIDS
2010
Springer
13 years 7 months ago
2010
Springer
Emohawk is a narrative-based serious game designed to be a supportive tool for teaching basics of virtual agents development at universities and high-schools. Emohawk is built util...
CAISE
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Formal specification and operational support of time constraints constitute fundamental challenges for any process-aware information system. Although temporal constraints...