Sciweavers

6149 search results - page 497 / 1230
» Revealing the programming process
Sort
View
QSIC
2009
IEEE
16 years 1 months ago
A Bayesian Approach for the Detection of Code and Design Smells
The presence of code and design smells can have a severe impact on the quality of a program. Consequently, their detection and correction have drawn the attention of both research...
Foutse Khomh, Stéphane Vaucher, Yann-Ga&eum...
UM
2009
Springer
16 years 1 months ago
Context-Dependent Personalised Feedback Prioritisation in Exploratory Learning for Mathematical Generalisation
Abstract. In this paper we address the problem of prioritising feedback on the basis of multiple heterogeneous pieces of information in exploratory learning. The problem arises whe...
Mihaela Cocea, George D. Magoulas
APLAS
2009
ACM
16 years 1 months ago
The Higher-Order, Call-by-Value Applied Pi-Calculus
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...
Nobuyuki Sato, Eijiro Sumii
ESOP
2007
Springer
16 years 1 months ago
A Calculus for Orchestration of Web Services
We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
160
Voted
ECOOP
2004
Springer
16 years 13 days ago
Dynamic Framed Aspects for Dynamic Software Evolution
Software evolution is an inevitable process when developing a system of any notable size and is the most costly stage in the life cycle of a system. Automating parts of this proces...
Philip Greenwood