Sciweavers

2700 search results - page 303 / 540
» The role of abstraction in software engineering
Sort
View
WADT
1998
Springer
15 years 10 months ago
Semantic Constructions for Hidden Algebra
Abstract. Hidden algebra is a behavioural algebraic specification formalism for objects. It captures their constructional aspect, concerned with the initialisation and evolution of...
Corina Cîrstea
WADT
1998
Springer
15 years 10 months ago
Non-deterministic Computations in ELAN
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
Hélène Kirchner, Pierre-Etienne More...
IUI
1997
ACM
15 years 10 months ago
Intelligent Network News Reader
We are developing an Intelligent Network News Reader which extracts news articles for users. In contrast to ordinary information retrieval and abstract generation, this method uti...
Hitoshi Isahara, Hiromi Ozaku
ARCS
1997
Springer
15 years 10 months ago
Compiler Technology for Two Novel Computer Architectures
Before it can achieve wide acceptance, parallelcomputation must be made significantlyeasier to program. One ain obstacles to this goal is the current usage of memory, both abstra...
Ronald Moore, Bernd Klauer, Klaus Waldschmidt
ICSM
1996
IEEE
15 years 10 months ago
VIFOR 2: a tool for browsing and documentation
During the maintenance of legacy systems, the structure and the documentationofthe system usually deteriorates, and hence the maintenance becomesprogressively harder and harder. I...
Vaclav Rajlich, Sridhar Reddy Adnapally