Matches in DBpedia 2015-10 for { ?s ?p "TLA+ (pronounced as tee ell a plus, /ˈtiː ɛl eɪ plʌs/) is a formal specification language developed by Leslie Lamport. It is used to design, model, document, and verify concurrent systems. TLA+ has been described as exhaustively-testable pseudocode and blueprints for software systems.For design and documentation, TLA+ fulfills the same purpose as informal technical specifications."@en }
Showing triples 1 to 1 of
1
with 100 triples per page.
- TLA+ comment "TLA+ (pronounced as tee ell a plus, /ˈtiː ɛl eɪ plʌs/) is a formal specification language developed by Leslie Lamport. It is used to design, model, document, and verify concurrent systems. TLA+ has been described as exhaustively-testable pseudocode and blueprints for software systems.For design and documentation, TLA+ fulfills the same purpose as informal technical specifications.".