Home
Music_Metasearch
Music Top Sites
Music Store
AllMusicListings
Concert Listings
Concert Tickets
AllMusicTalk
Chat Rooms
Message Boards
MusicNews
Pop Music News
Pop Music Reviews
Music Business
MP3 News
Community
Blogs
Free Member Blogs
AllMusicPages
Free Web Pages
AllMusicBookmarks
Your Bookmarks
AllMusicFun
Musical Postcards
Relationship Test
Tarot Readings
Numerology
Music Auctions
Auctions
Classifieds
Music Apparel
AllMusicSearch Apparel
Music Store
MP3 Players
Audio Equipment
MP3 Software
Musical Instruments
Music Books
Music Magazines
Music T-Shirts
Alternative Rock
Blues
Broadway & Vocal
Children's
Christian & Gospel
Classic Rock
Classical
Country
Dance & DJ
Folk
Hard Rock & Metal
International
Jazz
Latin Music
Miscellaneous
New Age
Opera & Vocal
Pop
R&B
Rap & Hip-Hop
Rock
Soundtracks
Music Videos
Music DVDs
Specification (12)
- Top/Computers/Programming/Languages/Functional
- Top/Computers/Programming/Languages/Garbage Collected
- Top/Computers/Programming/Languages/Logic-based
- Top/Computers/Programming/Metaprogramming
- Top/Computers/Software/Software Engineering
- Top/Science/Math/Logic and Foundations/Software
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
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 ste
http://www.informatik.uni-bremen.de/agbkb/compass/
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/
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
http://www.compapp.dcu.ie/~cpahl/research/DeStijl.html
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/
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
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/
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
http://www4.informatik.tu-muenchen.de/proj/korso/
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
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 th
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.8800
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/
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
Last Updated: 2007-01-02 19:58:03
|
The content of this directory is based on the Open Directory and has been modified by AllMusicSearch.com editors
