2245 search results - page 244 / 449 » A Case Study Implementing Features Using AspectJ |
157
Voted
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
Many middleware platforms use computational reflection to support adaptive functionality. Most approaches intertwine the activity of observing behavior (introspection) with the a...
169
Voted
DATE
2000
IEEE
15 years 10 months ago
2000
IEEE
The design process for an engine management system is presented. The functional specification of the system has been captured using C and C++ as specification languages. The val...
192
click to vote
FMSP
2000
ACM
15 years 10 months ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
156
click to vote
GROUP
1999
ACM
15 years 10 months ago
1999
ACM
Research into collaborative document use often concentrates on how people share document content. However, studies of real-world document practices reveal that the structures by w...
171
Voted
ITP
2010
15 years 10 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...