Principles of the law of software contracts

Abstract

An overview of a new set of legal principles for software contracts developed by the American Law Institute.

Index Terms

• General and reference

  • Cross-computing tools and techniques

    • Verification

• Social and professional topics

  • Computing / technology policy

    • Government technology policy

    • Intellectual property

• Software and its engineering

  • Software creation and management

    • Software development process management

    • Software verification and validation

      • Formal software verification

  • Software organization and properties

    • Software functional properties

      • Formal methods

        • Software verification

• Theory of computation

  • Semantics and reasoning

    • Program reasoning

      • Program verification