840 search results - page 3 / 168 » Programming the future |
IFIP
2004
Springer
13 years 11 months ago
2004
Springer
IWPC
2005
IEEE
13 years 12 months ago
2005
IEEE
Program comprehension research can be characterized by both the theories that provide rich explanations about how programmers comprehend software, as well as the tools that are us...
ICSE
2003
IEEE-ACM
14 years 6 months ago
2003
IEEE-ACM
Current research in software engineering at Karlstad University is concentrated on non-formal software design methods with a focus on semantics. One goal is to produce methods, wh...
LPAR
1992
Springer
13 years 10 months ago
1992
Springer
We describe some of the techniques which have been used to implement METATEM, a programming language based on temporal logic, and address problems such as non-determinism and loopi...
ICS
1987
Tsinghua U.
13 years 9 months ago
1987
Tsinghua U.