Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"Software Contracts"”.
-
SOFTWARE CONTRACTS - A Comparative Legal Analysis on Software Transactions in Germany, the United States, South Africa, and under the Convention on Contracts for the International Sale of Goods.
I will examine the treatment of software under the contract laws of the United States, Germany, and South Africa. Furthermore I will analyse the existing international uniform contract law, the Vienna Convention on the International Sale of Goods. I will illustrate how the different legal …
-
Generating high confidence contracts without user input using Daikon and ESC/Java2
… constructor, and class invariants can serve as contracts which specify program behavior and can lead to more accurate reuse of code; more accurate than comments because contracts are less error prone and they may be proved without testing. Dynamic invariant generation techniques run the program …