Sciweavers

2777 search results - page 18 / 556
» Example centric programming
Sort
View
SIGSOFT
2009
ACM
14 years 10 months ago
Learning from examples to improve code completion systems
The suggestions made by current IDE's code completion features are based exclusively on static type system of the programming language. As a result, often proposals are made ...
Marcel Bruch, Martin Monperrus, Mira Mezini
AIED
2005
Springer
14 years 3 months ago
NavEx: Providing Navigation Support for Adaptive Browsing of Annotated Code Examples
This paper presents NavEx, an adaptive environment for accessing interactive programming examples. NavEx implements a specific kind of adaptive navigation support known as adaptive...
Michael Yudelson, Peter Brusilovsky
FORTE
2003
13 years 11 months ago
Generation of All Counter-Examples for Push-Down Systems
We present a new, on-the-fly algorithm that given a push-down model representing a sequential program with (recursive) procedure calls and an extended finite-state automaton repr...
Samik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott ...

Book
392views
15 years 8 months ago
Squeak by Example
"The book helps you get started with A Quick Tour of Squeak and guides you through A First Application. The Smalltalk language is introduced in three chapters on Syntax in a N...
Andrew P. Black, Stéphane Ducasse, Oscar Nierstra...
IFIP
2004
Springer
14 years 3 months ago
The Problematic of Distributed Systems Supervision - An Example: Genesys
: This chapter presents the problematic of the distributed systems supervision through a comprehensive state-of-the-art. Issues are illustrated with a case study about an innovativ...
Jean-Eric Bohdanowicz, Stefan Wesner, Lászl...