658 search results - page 67 / 132 » A formal approach to object-oriented software engineering |
130
click to vote
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
Context-aware systems are software systems which adapt their behaviour according to the context of use. The requirements engineering phase is recognized as a primordial step to dev...
116
click to vote
COMPSAC
1996
IEEE
15 years 8 months ago
1996
IEEE
Cohesion was rst developed to predict properties of implementations created from a given design. Unfortunately, cohesion, as originally de ned, could not be objectively assessed, ...
150
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Performance profiling consists of monitoring a software system during execution and then analyzing the obtained data. There are two ways to collect profiling data: event tracing t...
140
click to vote
ESEC
1997
Springer
15 years 8 months ago
1997
Springer
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...
134
click to vote
COMPSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written i...