[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Amy P Felty & Kedar S Namjoshi
- Feature Specification and automated Conflict Detection
- ACM TOSEM Trans Software Eng & Methodology V12n1(Jan 2003)pp3-27
- =CASESTUDY telecommunications SPECIFICATION FEATURES LOGIC LTL FSM Buchi MODEL Checking TOOL FIX COSPAN
- Features expressed in sugared LTL: pre/post conditions. including until/unless discharge requirements.
- Complex/careful definition of what it means for two features to conflict.
- FIX use LTL approximation to find witnesses for conflicts.
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]