Sciweavers

499 search results - page 53 / 100
» Why neighbor-joining works
Sort
View
SAS
2004
Springer
14 years 3 months ago
Program Generators and the Tools to Make Them
Program generation is among the most promising techniques in the effort to increase the automation of programming tasks. In this paper, we discuss the potential impact and resear...
Yannis Smaragdakis
CAISE
2001
Springer
14 years 2 months ago
Objects Control for Software Configuration Management
A major requirement in Software Engineering is to reduce the time to market. This requirement along with a demand for product sophistication and better quality has led to larger te...
Jacky Estublier
KBSE
2000
IEEE
14 years 2 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
PLILP
1992
Springer
14 years 2 months ago
Unfold/fold Transformations Preserving Termination Properties
The unfold/fold framework constitutes the spine of many program transformation strategies. However, by unrestricted use of folding the target program may terminate less often than...
Torben Amtoft
ITS
2000
Springer
116views Multimedia» more  ITS 2000»
14 years 1 months ago
An Adaptive, Collaborative Environment to Develop Good Habits in Programming
In this paper we discuss how computer supported collaborative learning (CSCL) can be deployed to develop new skills and habits in students at university level. These considerations...
Aurora Vizcaíno, Juan Contreras-Castillo, J...