• English
    • svenska
  • English 
    • English
    • svenska
  • Login
Search 
  •   Home
  • IT Faculty / IT-fakulteten
  • Search
  •   Home
  • IT Faculty / IT-fakulteten
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-2 of 2

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

Analysing normative contracts - On the semantic gap between natural and formal languages 

Camilleri, John J. (2015)
Normative contracts are documents written in natural language, such as English or Swedish, which describe the permissions, obligations, and prohibitions of two or more parties over a set of actions, including descriptions ...
Thumbnail

Contracts and Computation — Formal modelling and analysis for normative natural language 

Camilleri, John J. (2017-10-11)
Whether we are aware of it or not, our digital lives are governed by contracts of various kinds, such as privacy policies, software licenses, service agreements, and regulations. At their essence, normative documents like ...

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CommunityBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Discover

AuthorCamilleri, John J. (2)Subject
contract analysis (2)
controlled natural language (2)model checking (2)formal methods (1)normative texts (1)timed automata (1)... View MoreDate Issued2015 (1)2017 (1)Has File(s)Yes (2)

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV