1401 search results - page 203 / 281 » Tool Integration for Reasoned Programming |
SIGCSE
2009
ACM
14 years 10 months ago
2009
ACM
This paper describes using mobile game development as a motivational tool to engage students early in the curriculum. Mobile devices have become an integral part of everyday lives...
SAS
2007
Springer
14 years 4 months ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
PPDP
2010
Springer
13 years 8 months ago
2010
Springer
We show how to achieve typed and unambiguous declarative pattern matching on strings using regular expressions extended with a simple recording operator. We give a characterizatio...
CAISE
2004
Springer
14 years 3 months ago
2004
Springer
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
BMCBI
2007
13 years 10 months ago
2007
Background: Macromolecular visualization as well as automated structural and functional annotation tools play an increasingly important role in the post-genomic era, contributing ...