Search for
Home > Computers > Programming > Languages >

Specification
New! Submit a site
 
Categories:
DSSSL *(5)  
 
 
whatUseek Collection Sites (submit a site ):
 
Give your site great placement in this category in as little as two business days!
 
 
whatUseek Directory Site Listings:
 
A Roadmap to Ontology Specification Languages - Part of 12th International Conference on Knowledge Engineering and Knowledge Management: Methods, Models and Tools.
 
AMAST 2000 - Algebraic Methodology And Software Technology conference: online proceedings and all papers, in .ps format, abstracts in HTML.
 
AMAST Links - Algebraic Methodology And Software Technology, newsletter named after related conference series; Index at CS Faculty of University of Twente; newsletter, mailing lists, subscription options.
 
B-Method - Formal method for developing program code from a specification in the Abstract Machine Notation, with tool support, aimed at aiding the improved development of computer-based systems. Developed by Jean-Raymond Abrial, originator of Z notation, and others.
 
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.
 
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.
 
Concurrency-1993: International Workshop on Semantics of Specification Languages - Detailed Call for participation: location, dates, topics, schedule, speakers, more.
 
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.
 
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.
 
Formal Specification Languages - Research to understand and describe principles that are or may be used in specification languages; for the study of formal (mathematically based) specification languages to develop provably correct software.
 
Formal Specification Languages - Research to understand and describe principles that are or may be used in specification languages; for the study of formal (mathematically based) specification languages to develop provably correct software.
 
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.
 
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.
 
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.
 
KEML Archive - Knowledge Engineering Methods and Languages: started by members of a series of informal workshops who discussed languages for operationalizing and/or formalizing KADS models of expertise, models widely used in Europe to build Knowledge Based Systems in industry and academia.
 
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.
 
Policy Specification Languages - Two languages to express security policies. Keynote language: more general, express most kinds of policy in form that can be used to automatically test conditions expressed in same format. Security Policy Specification Language, SPSL: more limited, for communications security policies; easily usable to implement firewall rules, control IPSEC connections.
 
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.
 
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.
 
Specification Languages: Understanding Their Role in Simulation Model Development - Reviews 1987 software specification methods and specification languages, emphasizes language research. Describes/compares alternate software life cycle models to simulation life cycle model. Focus: need to create model specification before creating programmed model.
 
 
[ 1 2 ]
Help build the largest human-edited directory on the web.
  Submit a Site - Open Directory Project - Become an Editor  
About   Help   Content Filter   Terms   Privacy Policy

© 2018 whatUseek