BOTW Directory - Computers > Programming > Languages

Sponsor This Category Free for 60 Days - Customize your message and appear alongside search results. Start your Free Trial today!

Top: Computers: Programming: Languages: Specification:

Submit Site

Algebraic Methodology and Software Technology - Contains resources about the Algebraic Methodology And Software Technology conference that transpired in the year 2000.
Comprehensive Algebraic Approach to System Specification and Development - Compiles research study resources. Also includes publication, working group lists and research details.
Design and Specification Through Interfacing and Joining Languages - Network project on human capital mobility. Contains document resources, participants profile and meeting details.
Formal Methods Europe - Organization of researchers who develop computing systems and software. Includes project details and document releases.
Inductive Theorem Prover INKA - Contains feature descriptions, manual, version release, and related publications.
Meta-Environment - Provides information about language development frameworks and source code analysis and transformation.
Proof Theoretic Approach to Specification Languages - Presents a thesis that provides an overview about specification languages.
Statestep - Interactive specification tool for software development includes method details, documents, code templates, and FAQs.
Stateworks - Presents a product overview of a professional software development environment package. Includes support resources, newsletter subscription and contact information.
Structured-Preserving Specification Languages for Knowledge-Based Systems - Shows a summary of the use of formal specification languages for knowledge-based systems.

Search for Specification on Yahoo! Google MSN All the Web Ask.com Google Groups Wikipedia