1129 search results - page 22 / 226 » From programming to modeling: our experience with a distribu... |
COODBSE
1994
13 years 9 months ago
1994
Software engineering research has focused primarily on software construction, neglecting software maintenance and evolution. Observed is a shift in research from synthesis to anal...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
The fault-prone module detection in source code is of importance for assurance of software quality. Most of previous fault-prone detection approaches are based on software metrics...
ICMT
2009
Springer
14 years 2 months ago
2009
Springer
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to me...
CSEE
2006
Springer
13 years 9 months ago
2006
Springer
In this paper we describe the use of a tool from Viope for teaching introductory programming. We have noticed in our previous courses that the students often have trouble connecti...