Sciweavers

4109 search results - page 122 / 822
» User Interface Software Tools
Sort
View
84
Voted
EICS
2009
ACM
15 years 2 months ago
Plug-and-design: embracing mobile devices as part of the design environment
Due to the large amount of mobile devices that continue to appear on the consumer market, mobile user interface design becomes increasingly important. The major issue with many ex...
Jan Meskens, Kris Luyten, Karin Coninx
ICSE
1999
IEEE-ACM
15 years 3 months ago
A Practical Method for Verifying Event-Driven Software
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
Gerard J. Holzmann, Margaret H. Smith
ICSE
2010
IEEE-ACM
15 years 4 months ago
Codebook: discovering and exploiting relationships in software repositories
Large-scale software engineering requires communication and collaboration to successfully build and ship products. We conducted a survey with Microsoft engineers on inter-team coo...
Andrew Begel, Yit Phang Khoo, Thomas Zimmermann
ISMIR
2004
Springer
114views Music» more  ISMIR 2004»
15 years 4 months ago
CsoundXML: a meta-language in XML for sound synthesis
The software sound synthesis is closely related to the Music N programs started with Music I in 1957. Although Music N has many advantages such as unit generators and a flexible ...
Pedro Kröger
SOFTVIS
2003
ACM
15 years 4 months ago
Visualizing Software for Telecommunication Services
An active research area in telecommunications concerns how to specify and control the addition of new services, such as call waiting or instant messaging, into existing software. ...
Emden R. Gansner, John M. Mocenigo, Stephen C. Nor...