6149 search results - page 3 / 1230 » Revealing the programming process |
EDM
2009
13 years 3 months ago
2009
Data mining methods are successful in educational environments to discover new knowledge or learner skills or features. Unfortunately, they have not been used in depth with collabo...
IFIP
1999
Springer
13 years 10 months ago
1999
Springer
This paper initiates a framework for improving product development processes. The starting point is the present gap between the theory of product and process models and their actu...
ICALP
2010
Springer
13 years 10 months ago
2010
Springer
Higher-order process calculi are calculi in which processes can be communicated. We study the expressiveness of strictly higher-order process calculi, and focus on two issues well-...
APLAS
2010
ACM
13 years 6 months ago
2010
ACM
Semantic preorders between processes are usually applied in practice to model approximation or implementation relationships. For interactive models these preorders depend crucially...
DBPL
1991
Springer
13 years 9 months ago
1991
Springer
We present a functional DBPL in the style of FP that facilitates the definition of precise semantics and opens up opportunities for far-reaching optimizations. The language is int...