626 search results - page 92 / 126 » Closing the Gap Between Software Modelling and Code |
SIGSOFT
2009
ACM
14 years 9 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
CHI
2010
ACM
14 years 1 months ago
2010
ACM
We introduce a programming environment entitled Share that is designed to encourage loosely bound cooperation between individuals within communities of practice through the sharin...
ISMIS
2009
Springer
14 years 3 months ago
2009
Springer
Workflow mining aims to find graph-based process models based on activities, emails, and various event logs recorded in computer systems. Current workflow mining techniques mainly ...
ICALT
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper, we present an empirical study of using a new and cost-effective Web-based collaboration software, Wiki, in a freshman-level English as a second language (ESL) cours...
ISLPED
2004
ACM
14 years 2 months ago
2004
ACM
Mobile, battery-powered devices such as personal digital assistants and web-enabled mobile phones have successfully emerged as new access points to the world’s digital infrastru...