Directory Top sites directory
Arts Business Computers Games News Health Recreation Regional Science Shopping

Directory web directory open directory project

Whatever you are looking for in Computers, Programming, Languages, Specification, you can probably find it here. Actidir offers a large collection of annotated links to Computers, Programming, Languages, Specification sites organized by category. Browse thousands of web sites that are more focused on one particular aspect of Computers, Programming, Languages, Specification with just the click of your mouse.

Cheap Hotels - Cheap Hotels Reservation. Discount Hotel Reservations worldwide. Find discount hotels, cheap hotels, luxury hotels, lodging and motels at cheap prices.
OOHotels - Discount and cheap hotels worldwide. Hotel rates and lodging reservations at cheap prices.
Hotels Booking - Booking discount hotels worldwide. Book over 90 000 hotels worldwide with our online hotel reservations service.

Top: Computers: Programming: Languages: Specification:

  • CLU@  (4)
  • Z@  (24)

See also:

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

    http://www.brics.dk/Projects/CoFI/   » CoFI: Common Framework Initiative - 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.

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

    http://www.compapp.dcu.ie/~cpahl/research/DeStijl.html   » De Stijl - 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.

    http://www.ida.liu.se/labs/iislab/people/patla/DL/   » Description Logics - Includes courses, tutorials, research groups and publications. Collected by Patrick Lambrix.

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

    http://www.cogsci.ed.ac.uk/~fracas/   » FraCaS - A Framework for Computational Semantics.

    http://www.informatik.uni-bremen.de/cofi/projects/hascasl.html   » 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.

    http://www.dfki.de/vse/systems/inka/   » INKA Inductive Theorem Prover - 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.

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

    http://www4.informatik.tu-muenchen.de/proj/korso/   » 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.

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

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

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

    http://www.stateworks.com/product/product/   » StateWORKS Studio - 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.

OOHotels | Locations Vacances | Hotels | Cheap Hotels | Hotels Booking
The Open Directory Project is the largest, most comprehensive human-edited directory of the Web. It is constructed and maintained by a vast, global community of volunteer editors. The Open Directory is the most widely distributed data base of Web content classified by humans.
Help build the largest human-edited directory on the web.
Soumettre un site - Open Directory Project - Devenir Editeur

Copyright © ActiDir