Sciweavers

2878 search results - page 170 / 576
» Analyzing the Uses of a Software Modeling Tool
Sort
View
UIST
2004
ACM
15 years 11 months ago
Topiary: a tool for prototyping location-enhanced applications
Location-enhanced applications use the location of people, places, and things to augment or streamline interaction. Location-enhanced applications are just starting to emerge in s...
Yang Li, Jason I. Hong, James A. Landay
BCSHCI
2007
15 years 7 months ago
Using formal models to design user interfaces: a case study
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
Judy Bowen, Steve Reeves
PASTE
2005
ACM
15 years 11 months ago
An empirical framework for comparing effectiveness of testing and property-based formal analysis
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
Jeremy S. Bradbury, James R. Cordy, Jürgen Di...
HICSS
2007
IEEE
115views Biometrics» more  HICSS 2007»
16 years 2 days ago
Open Source Software Adoption in ASEAN Member Countries
This paper investigates the extent to which Open Source software is being adopted for web hosts within member countries of the Association of South East Asian Nations (ASEAN), and...
Joshua L. Mindel, Lik Mui, Sameer Verma
GROUP
2007
ACM
15 years 9 months ago
Supporting collaborative software development through the visualization of socio-technical dependencies
One of the reasons large-scale software development is difficult is the number of dependencies that software engineers face. These dependencies create a need for communication and...
Cleidson R. B. de Souza, Stephen Quirk, Erik Train...