Sciweavers

4258 search results - page 424 / 852
» Languages and Interactive Software Development
Sort
View
OOPSLA
2007
Springer
15 years 11 months ago
CodeGenie: : a tool for test-driven source code search
We present CodeGenie, a tool that implements a test-driven approach to search and reuse of code available on largescale code repositories. With CodeGenie, developers design test c...
Otávio Augusto Lazzarini Lemos, Sushil Kris...
LREC
2010
206views Education» more  LREC 2010»
15 years 6 months ago
DICIT: Evaluation of a Distant-talking Speech Interface for Television
The EC-funded project DICIT developed distant-talking interfaces for interactive TV. The final DICIT prototype system processes multimodal user input by speech and remote control....
Timo Sowa, Fiorenza Arisio, Luca Cristoforetti
AGTIVE
2007
Springer
15 years 11 months ago
Communities of Autonomous Units for Pickup and Delivery Vehicle Routing
Communities of autonomous units are being developed for formal specification and semantic analysis of systems of interacting and mobile components. The autonomous units of a commu...
Hans-Jörg Kreowski, Sabine Kuske
142
Voted
CAISE
2006
Springer
15 years 8 months ago
Supporting Planned and Ad-Hoc Changes of Business Processes
Flexibility of business processes requires a modeling language that can distinguish between the stable and flexible parts of a business process. Starting from a general model of bu...
Peter Rittgen
123
Voted
FM
2009
Springer
171views Formal Methods» more  FM 2009»
15 years 11 months ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...