3435 search results - page 40 / 687 » Aspect Model Unweaving |
125
click to vote
SPATIALCOGNITION
1998
Springer
15 years 8 months ago
1998
Springer
This paper describes the aspect map approach to model the processing of geographic maps. Geographic maps are described as spatial representation media which play an important role ...
118
click to vote
BIRTHDAY
2009
Springer
15 years 8 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
182
click to vote
AOSD
2008
ACM
15 years 6 months ago
2008
ACM
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...
135
click to vote
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...
146
click to vote
FOAL
2009
ACM
15 years 10 months ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...