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

Bibliographic Item (1.0)

MetayerEtAl11
  1. Daniel Le Metayer & Manuel Maarek & Eduardo Mazza & Marie-Laure Potet & Stephane Frience & Valerie Viet Triem Tong & Nicolas Craipeau & Ronan Hardouin
  2. Liability Issues in Software Engineering: the use of formal methods to reduce legal uncertainties
  3. Commun ACM V54n4(Apr 2011)pp99-106 [ 1924421.1924444 ]
  4. =DEMO MASS MARKET SOFTWARE CONTRACTS LOGIC TOOLS CHECKING EULA
  5. Shows how symbolic logic can be used to clarify who is responsible for various bad things happening.
  6. formal model in terms of mappings time stamps ->@( {Send, Receive} >< (Components | Users )^2 >< Data).
  7. Example: A document is only received if it has been sent:
  8. For all documents d ( (Receive, Serv, SigApp, d) in T(θ) iff (Send, SigApp, IO, d) ).
  9. Liability maps Claims><Traces><θ -> @(Parties).

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]