Managing complex objects in Peirce

Abstract

No abstract available.

Index Terms

• General and reference

  • Cross-computing tools and techniques

    • Verification

• Information systems

  • Data management systems

    • Database management system engines

• Mathematics of computing

  • Discrete mathematics

    • Graph theory

• Software and its engineering

  • Software creation and management

    • Designing software

      • Requirements analysis

    • 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