Sciweavers

3889 search results - page 440 / 778
» The Use of Program Dependence Graphs in Software Engineering
Sort
View
TASE
2009
IEEE
16 years 1 months ago
Verifying Self-stabilizing Population Protocols with Coq
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
Yuxin Deng, Jean-François Monin
ECLIPSE
2005
ACM
15 years 8 months ago
Building a whole-program type analysis in Eclipse
Eclipse has the potential to become a widely-used platform for implementation and dissemination of various static analyses for Java. In order to realize this potential, it is impo...
Mariana Sharp, Jason Sawin, Atanas Rountev
SIGCSE
2002
ACM
152views Education» more  SIGCSE 2002»
15 years 6 months ago
Learning styles and performance in the introductory programming sequence
This paper reports on the implication of different preferred learning styles on students'performance in the introductory programming sequence and on work in progress on how t...
Lynda Thomas, Mark Ratcliffe, John Woodbury, Emma ...
IWPC
2008
IEEE
16 years 1 months ago
Exploiting Runtime Information in the IDE
Developers rely on the mechanisms provided by their IDE to browse and navigate a large software system. These mechanisms are usually based purely on a system’s static source cod...
David Röthlisberger, Orla Greevy, Oscar Niers...
ICSE
1999
IEEE-ACM
15 years 11 months ago
Exploiting Smalltalk Modules in a Customizable Programming Environment
This paper describes how we have extended a module structure of the Smalltalk LearningWorks to provide a programming environment deigned for very large scale technology transfer. ...
Mark Woodman, Robert Griffiths, Malcolm Macgregor,...