Loading...
Please wait, while we are loading the content...
Similar Documents
An Experience on Verification of Aspect Properties [ Position Paper ]
| Content Provider | Semantic Scholar |
|---|---|
| Author | Denaro, Giovanni |
| Copyright Year | 2001 |
| Abstract | Aspect oriented technologies enable concerns like concurrency or security to be coded in separate units. This paper suggests that relevant system properties can be verified just based on such separated code. A simple experience is reported for showing how the proposed approach works. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.elet.polimi.it/Users/DEI/Sections/Compeng/Mattia.Monga/lib/iwpse01.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |