Directory: Top/Computers/Programming/Languages/Specification

Top / Computers / Programming / Languages / Specification /

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://statestep.com
Statestep.com ~ Site Info Whois Trace Route RBL Check

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.
http://www.stateworks.com/product/product/
Stateworks.com ~ Site Info Whois Trace Route RBL Check

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 t
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.8800
Psu.edu ~ Site Info Whois Trace Route RBL Check

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 ß cal
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.7714
Psu.edu ~ Site Info Whois Trace Route RBL Check