2777 search results - page 258 / 556 » Example centric programming |
104
Voted
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
Our industrial partners have difficulties coping with maintenance and reuse of their software applications, due to the hard coded presence of domain knowledge in the implementation...
128
Voted
CSMR
1998
IEEE
15 years 8 months ago
1998
IEEE
A conceptual reengineering framework is presented that proposes extract, transform and rewrite as three characteristic steps to be performed within a reengineering cycle. The cycl...
139
Voted
AADEBUG
1997
Springer
15 years 7 months ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...
116
Voted
AGENTS
1997
Springer
15 years 7 months ago
1997
Springer
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representatio...
98
Voted
OOPSLA
1992
Springer
15 years 7 months ago
1992
Springer
JAC is a Java extension for high-level concurrent programming, meant to hide the notions of threads and synchronization statements from the programmer. Putting into practice the c...