The Book

This book is meant for anyone who wants to get started with the func language.

• 1 Getting Started
• 2 Materials
  • 2.1 System terminology
    • 2.1.1 Functional specification
    • 2.1.2 State constraint
    • 2.1.3 System verification
    • 2.1.4 Document generation
    • 2.1.5 Configuration management
  • 2.2 Terminology usage
    • 2.2.1 Engineering usages
    • 2.2.2 Descriptive Language
• 3 Tutorials

Reference

This reference formally defines the language rules and design templates.

• 1 Introduction
• 2 Links
• 3 Comment
  • 3.1 Tags
  • 3.2 Inline comment
  • 3.3 Block comment
• 4 Literals
  • 4.1 Strings
    • 4.1.1 Character strings
    • 4.1.2 Digit strings
  • 4.2 Numerics
    • 4.2.1 Boolean
    • 4.2.2 Integer
    • 4.2.3 Rational
    • 4.2.4 Decimal
    • 4.2.5 Special
• 5 Quantity
  • 5.1 Explanations
  • 5.2 Modifier
  • 5.3 Constraint
    • 5.3.1 Domain
      • 5.3.1.1 Builtin
      • 5.3.1.2 Explicit
      • 5.3.1.3 Intervals
      • 5.3.1.4 Product
      • 5.3.1.5 Union
      • 5.3.1.6 Intersection
      • 5.3.1.7 Power set
    • 5.3.2 Algebraical
      • 5.3.2.1 Arguments
      • 5.3.2.2 Scalar
      • 5.3.2.3 Vector
      • 5.3.2.4 Matrix
      • 5.3.2.5 Tensor
    • 5.3.3 Blocks
      • 5.3.3.1 Semantic
      • 5.3.3.2 Algorithmic
      • 5.3.3.3 Mathematic
  • 5.4 Function
• 6 Components
  • 6.1 Block
    • 6.1.1 Scope
  • 6.2 Quantity
  • 6.3 Requirement
• 7 Architecture