Tygrys.com - katalog stron : Computers : Programming : Languages : Specification

---

Znaleziono 15 stron w kategorii Specification:

Tytuł strony: AMAST 2000
Opis strony: Algebraic Methodology And Software Technology conference: online proceedings and all papers, in .pdf format, abstracts in HTML.
Adres: http://www.informatik.uni-trier.de/~ley/db/conf/amast/amast2000.html

Tytuł strony: CoFI: Common Framework Initiative
Opis strony: Open collaborative effort to produce a Common Algebraic Specification Language (CASL) as the center of an internationally standardized family of specification languages. Contacts with industry groups.
Adres: http://www.brics.dk/Projects/CoFI/

Tytuł strony: COMPASS
Opis strony: 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.
Adres: http://www.informatik.uni-bremen.de/agbkb/compass/

Tytuł strony: De Stijl
Opis strony: Design and Specification Through Interfacing and Joining Languages: fits in the framework of formal language engineering, aims at fundamental theoretical results relating features of extant languages for software specification and design, which should be useful to integrate and improve specification and design methods.
Adres: http://www.compapp.dcu.ie/~cpahl/research/DeStijl.html

Tytuł strony: Description Logics
Opis strony: Includes courses, tutorials, research groups and publications. Collected by Patrick Lambrix.
Adres: http://www.ida.liu.se/labs/iislab/people/patla/DL/

Tytuł strony: Formal Methods Europe
Opis strony: 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.
Adres: http://www.fmeurope.org/

Tytuł strony: FraCaS
Opis strony: A Framework for Computational Semantics.
Adres: http://www.cogsci.ed.ac.uk/~fracas/

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

Tytuł strony: INKA Inductive Theorem Prover
Opis strony: First-order theorem prover with induction based on the explicit induction paradigm. It is based on a full first-order calculus, a special variant of the resolution calculus with paramodulation.
Adres: http://www.dfki.de/vse/systems/inka/

Tytuł strony: Interactive Software Development and Renovation Software
Opis strony: ASF+SDF compiler runtime library, Meta-Environment, ATerm Library, SDF2 Parser generator, Completa, SGLR (Scannerless Generalized LR parser), ToolBus.
Adres: http://www.cwi.nl/htbin/sen1/twiki/bin/view/Meta-Environment

Tytuł strony: KORSO
Opis strony: 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.
Adres: http://www4.informatik.tu-muenchen.de/proj/korso/

Tytuł strony: ResearchIndex: Proof Theoretic Approach To Specification Languages
Opis strony: 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.
Adres: http://citeseer.ist.psu.edu/chirimar95proof.html

Tytuł strony: ResearchIndex: Structure-preserving specification languages for knowledge-based systems
Opis strony: 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.
Adres: http://citeseer.ist.psu.edu/202219.html

Tytuł strony: Statestep
Opis strony: 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.
Adres: http://statestep.com

Tytuł strony: StateWORKS Studio
Opis strony: 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.
Adres: http://www.stateworks.com/product/product/

---

SEO Tools:

Help build the largest human-edited directory on the web.   Submit a Site - Open Directory Project - Become an Editor

Zapraszamy do Globalnego Katalogu Stron - największy zbiór stron w sieci
Parlicki Mariusz wiersze | Lipnicka Anita wiersze | Przerwa-Tetmajer Kazimierz wiersze | fotografia ślubna | Szymborska Wisława wiersze