Sciweavers

16844 search results - page 59 / 3369
» How to Design Programs
Sort
View
119
Voted
SAC
2008
ACM
15 years 2 months ago
Extending omniscient debugging to support aspect-oriented programming
Debugging is a tedious and costly process that demands a profound understanding of the dynamic behavior of programs. Debugging aspect-oriented software is even more difficult: to ...
Guillaume Pothier, Éric Tanter
PADL
2004
Springer
15 years 7 months ago
A Typeful Approach to Object-Oriented Programming with Multiple Inheritance
The wide practice of objected oriented programming (OOP) in current software practice is evident. Despite extensive studies on typing programming objects, it is still undeniably a ...
Chiyan Chen, Rui Shi, Hongwei Xi
ICSE
2010
IEEE-ACM
15 years 7 months ago
Using dynamic execution traces and program invariants to enhance behavioral model inference
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
Ivo Krka, Yuriy Brun, Daniel Popescu, Joshua Garci...
ICSE
2003
IEEE-ACM
16 years 2 months ago
Teaching Contract Programming Concepts to Future Software Engineers
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...
Donald F. Ross
VL
2005
IEEE
108views Visual Languages» more  VL 2005»
15 years 8 months ago
Achieving Flexibility in Direct-Manipulation Programming Environments by Relaxing the Edit-Time Grammar
Structured program editors can lower the entry barrier for beginning computer science students by preventing syntax errors. However, when editors force programs to be executable a...
Benjamin E. Birnbaum, Kenneth J. Goldman