5 Matching Annotations
  1. Mar 2021
  2. Jul 2020
    1. TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones.

      Need to look more into TLA+ and formal verification with regards to software development.

  3. Apr 2019
  4. Aug 2015
    1. The TLA components align with 4 key concepts: experience tracking, learner profiles, content brokering and understanding, and competency networks.
    2. The Training and Learning Architecture (TLA) encompasses a set of standardized Web service specifications and Open Source Software (OSS) designed to create a rich environment for connected training and learning.