[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

FeltyNamjoshi03

  1. Amy P Felty & Kedar S Namjoshi
  2. Feature Specification and automated Conflict Detection
  3. ACM TOSEM Trans Software Eng & Methodology V12n1(Jan 2003)pp3-27
  4. =CASESTUDY telecommunications SPECIFICATION FEATURES LOGIC LTL FSM Buchi MODEL Checking TOOL FIX COSPAN
  5. Features expressed in sugared LTL: pre/post conditions. including until/unless discharge requirements.
  6. Complex/careful definition of what it means for two features to conflict.
  7. FIX use LTL approximation to find witnesses for conflicts.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]