2700 search results - page 293 / 540 » The role of abstraction in software engineering |
144
click to vote
VISSOFT
2005
IEEE
16 years 5 days ago
2005
IEEE
Understanding classes and methods is a key activity in object-oriented programming, since classes represent the abstractions from which applications are built, while methods conta...
160
click to vote
AOSD
2005
ACM
16 years 5 days ago
2005
ACM
In this paper, we present a collection of aspect-oriented refactorings covering both the extraction of aspects from objectoriented legacy code and the subsequent tidying up of the...
158
click to vote
ADAEUROPE
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
172
click to vote
TMRA
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This paper describes a query algebra for tolog, a query language for Topic Maps inspired by Prolog and very similar to Datalog. The language is based on binding variables...
168
click to vote
VMCAI
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...