Sciweavers

6149 search results - page 127 / 1230
» Revealing the programming process
Sort
View
79
Voted
ECOOP
2000
Springer
15 years 5 months ago
On Inner Classes
Inner classes in object-oriented languages play a role similar to nested function definitions in functional languages, allowing an object to export other objects with direct acces...
Atsushi Igarashi, Benjamin C. Pierce
98
Voted
AIEDU
2007
108views more  AIEDU 2007»
15 years 27 days ago
Explicit Reflection in Prolog-Tutor
This paper describes a reflection-based approach for open learner modeling (OLM). Tutoring dialogues are used by learners to explicitly reveal their own knowledge state to themselv...
Joséphine M. P. Tchétagni, Roger Nka...
92
Voted
ICALP
2000
Springer
15 years 4 months ago
Efficient Verification Algorithms for One-Counter Processes
We study the problem of strong/weak bisimilarity between processes of one-counter automata and finite-state processes. We show that the problem of weak bisimilarity between process...
Antonín Kucera
121
Voted
IFIP
1993
Springer
15 years 4 months ago
Customization and Evolution of Process Models in EPOS
EPOS is a kernel software engineering environment, o ering integrated software con guration and process management. The EPOS process modeling PM support system runs on top of th...
Reidar Conradi, Maria Letizia Jaccheri
QUATIC
2007
IEEE
15 years 7 months ago
MPS Model-Based Software Acquisition Process Improvement in Brazil
This paper describes an initiative to improve software acquisition process in Brazil. This initiative was conducted in the context of the MPS.BR Program, a nationwide effort to de...
Kival Chaves Weber, Eratostenes Edson Ramalho de A...