YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname.    Price: USD 499.999,-    Phone: +49(176)74919078
 
     
     
www.yurtseven.org
 www.yurtseven.org
 

 
 Computers » Programming » Languages » Specification


 Categories

CLU (4) Z (4)  

 Web Pages    1 - 10   of   12


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.brics.dk/Projects/CoFI/

[more pages from this URL] 


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

[more pages from this URL] 


 3 - Statestep Browse Website open in new window
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://statestep.com

[more pages from this URL] 


 4 - AMAST 2000 Browse Website open in new window
Algebraic Methodology And Software Technology conference: online proceedings and all papers, in .pdf format, abstracts in HTML.

http://www.informatik.uni-trier.de/~ley/db/conf/amast/amast2000.html

[more pages from this URL] 


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.dfki.de/vse/systems/inka/

[more pages from this URL] 


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...

http://www.informatik.uni-bremen.de/agbkb/compass/

[more pages from this URL] 


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.

http://www.stateworks.com/product/product/

[more pages from this URL] 


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 implementatio...

http://www4.informatik.tu-muenchen.de/proj/korso/

[more pages from this URL] 


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

[more pages from this URL] 


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 o...

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.8800

[more pages from this URL] 




1  2  Next »»




Olympos Beach


Add URL  |  My Listings  |  My Account  |  New Membership  |  Contact