Sciweavers

Share
RE   2002 IEEE International Conference on Requirements Engineering
Wall of Fame | Most Viewed RE-2002 Paper
RE
2002
Springer
9 years 10 months ago
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
Rik Eshuis, David N. Jansen, Roel Wieringa
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source205
2Download preprint from source188
3Download preprint from source163
4Download preprint from source153
5Download preprint from source152
6Download preprint from source130
7Download preprint from source129
8Download preprint from source126
9Download preprint from source126
10Download preprint from source124
11Download preprint from source124
12Download preprint from source121
13Download preprint from source120
14Download preprint from source118
15Download preprint from source116
16Download preprint from source113
17Download preprint from source113
18Download preprint from source113
19Download preprint from source112
20Download preprint from source111
21Download preprint from source109
22Download preprint from source105
23Download preprint from source99
24Download preprint from source98
25Download preprint from source95
26Download preprint from source93
27Download preprint from source86
books