Directory of Specification Resources

Home > Computers > Programming > Languages > Specification

Synonyms: specification language, specification notation.

Subcategories

• CLU

Resources in This Category

• AMAST 2000

  http://dblp.uni-trier.de/db/conf/amast/amast2000.html
  Algebraic Methodology And Software Technology conference: online proceedings and all papers, in .pdf format, abstracts in HTML.

• COMPASS

  http://www.informatik.uni-bremen.de/agbkb/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.

• Formal Methods Europe

  http://www.fmeurope.org/
  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.

• HasCASL DFG Project

  http://www.informatik.uni-bremen.de/cofi/projects/hascasl.html
  Algebraic Specification + Functional Programming = Environment for Formal Software Development. An extension of CASL that establishes a connection with the functional programming language Haskell.

• KORSO

  http://www4.informatik.tu-muenchen.de/proj/korso/
  Deduction oriented Development of Specifications: language designed for modularizing large projects. Complex specifications can be hierarchically structured by combining specifications with renaming and hiding. Powerful enough to express implementation of specifications via more primitive specifications.

• ResearchIndex: Proof Theoretic Approach To Specification Languages

  http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.7714
  Thesis studies FORUM as specification language. FORUM is a higher order logic based on the logical connectives of Linear Logic. Initial example demonstrates that FORUM is well suited to specify concurrent computations by specifying the higher order ß calculus.

• ResearchIndex: Structure-preserving specification languages for knowledge-based systems

  http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.8800
  Much work on validation and verification of knowledge based systems (KBSs) has been done in implementation languages, mostly rule based. Recent papers suggest it is useful to do validation and verification in a more abstract and formal specification of the system.

• Statestep

  http://statestep.com/
  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.

• StateWORKS Studio

  http://www.stateworks.com/product/product/
  Professional software specification environment based on finite state machine (FSM) concept. Contains FSM editor, simulator, monitoring and debugging tools. Allows to build complex FSM systems. For WindowsNT/2000/XP operating systems.

Related Categories

• Home > Computers > Programming > Languages > Functional
• Home > Computers > Programming > Languages > Garbage Collected
• Home > Computers > Programming > Languages > Logic-based
• Home > Computers > Software > Software Engineering
• Home > Computers > Programming > Metaprogramming
• Home > Science > Math > Logic and Foundations > Software

 

Home > Computers > Programming > Languages > Specification

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us