Sciweavers

1552 search results - page 30 / 311
» Concepts and Concept-Oriented Programming
Sort
View
KI
2004
Springer
14 years 3 months ago
Improving Fault Localization of Programs by Using Labeled Dependencies
In this paper we present a new model of Java programs. We show how a program can be compiled into the model. The model can be directly used by a model-based diagnosis engine in ord...
Rong Chen, Daniel Köb, Franz Wotawa
ICSE
2008
IEEE-ACM
14 years 10 months ago
From programming to modeling: our experience with a distributed software engineering course
Distributed Software Engineering (DSE) concepts in Computer Science (or Engineering) Degrees are commonly introduced using a hands-on approach mainly consisting of teaching a part...
Antonio Vallecillo, Francisco Durán, Jordi ...
POPL
2007
ACM
14 years 10 months ago
Assessing security threats of looping constructs
There is a clear intuitive connection between the notion of leakage of information in a program and concepts from information theory. This intuition has not been satisfactorily pi...
Pasquale Malacaria
ERLANG
2003
ACM
14 years 3 months ago
A soft-typing system for Erlang
This paper presents a soft-typing system for the programming language Erlang. The system is based on two concepts; a (forward) data flow analysis that determines upper approximat...
Sven-Olof Nyström
SIGCSE
2002
ACM
135views Education» more  SIGCSE 2002»
13 years 9 months ago
Introducing computer science through animation and virtual worlds
We describe a course for non-majors that teaches computer science concepts and programming by creating simple animations and building 2D and 3D virtual worlds. Students work with ...
Susan H. Rodger