https://e-sygoing.link Latest links in the Specification category en-us Mon, 25 May 2026 16:47:36 -0400 https://e-sygoing.link/link/5646814-hascasl-dfg-project Algebraic Specification + Functional Programming = Environment for Formal Software Development. An extension of CASL that establishes a connection with the functional programming language Haskell. Sun, 24 Aug 2025 11:10:17 -0400 https://e-sygoing.link/go/5646814 https://e-sygoing.link/link/5646821-statestep A lightweight, systematic method for finite state machine specification: a tool includes interactive checking and a kind of spreadsheet for invariants; it also supports decision tables and combinatorial completion. Tue, 13 May 2025 12:40:16 -0400 https://e-sygoing.link/go/5646821 https://e-sygoing.link/link/5646815-compass Goal: consolidate, integrate theoretical basis of algebraic specification methods and apply it to software. The algebraic approach supports precise specification of semantics of generic reusable system components, providing formal conceptual basis for stepwise, correct development. Fri, 06 Dec 2024 22:53:52 -0500 https://e-sygoing.link/go/5646815 https://e-sygoing.link/link/5646812-fracas A Framework for Computational Semantics. Wed, 18 Sep 2024 18:27:47 -0400 https://e-sygoing.link/go/5646812 https://e-sygoing.link/link/5646808-description-logics Includes courses, tutorials, research groups and publications. Collected by Patrick Lambrix. Wed, 11 Sep 2024 14:52:24 -0400 https://e-sygoing.link/go/5646808 https://e-sygoing.link/link/5646816-formal-methods-europe An organisation with the mission of promoting and supporting the industrial use of formal methods for computer systems development. The site contains information on formal methods and on FME itself. Sat, 20 Jul 2024 09:31:21 -0400 https://e-sygoing.link/go/5646816