Sciweavers

844 search results - page 18 / 169
» Experiences Applying Agile Practices to Large Systems
Sort
View
ICAPR
2005
Springer
14 years 1 months ago
Applying Software Analysis Technology to Lightweight Semantic Markup of Document Text
Abstract. Software analysis techniques, and in particular software “design recovery”, have been highly successful at both technical and businesslevel semantic markup of large s...
Nadzeya Kiyavitskaya, Nicola Zeni, James R. Cordy,...
ITICSE
2005
ACM
14 years 1 months ago
Experiments in the automatic marking of ER-diagrams
In this paper we present an approach to the computer understanding of diagrams and show how it can be successfully applied to the automatic marking (grading) of student attempts a...
Pete G. Thomas, Kevin G. Waugh, Neil Smith
PERVASIVE
2007
Springer
14 years 1 months ago
Combining Web, Mobile Phones and Public Displays in Large-Scale: Manhattan Story Mashup
We present a large-scale pervasive game called Manhattan Story Mashup that combines the Web, camera phones, and a large public display. The game introduces a new form of interactiv...
Ville H. Tuulos, Jürgen Scheible, Heli Nyholm
SIGSOFT
1996
ACM
13 years 11 months ago
Model Checking Large Software Specifications
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
Richard J. Anderson, Paul Beame, Steve Burns, Will...
IWEC
2010
13 years 5 months ago
Investigating the Affective Quality of Motion in User Interfaces to Improve User Experience
This study focuses on motion in user interfaces as a design element which can contribute to an improved user experience of digital media entertainment. The design for user experien...
Doyun Park, Ji-Hyun Lee