 |
|
|
|
 |
egories |
 |
|
New Addition |
|
|
|
 |
Details: |
 |
|
ASF+SDF compiler runtime library, Meta-Environment, ATerm Library, SDF2 Parser generator, Completa, SGLR (Scannerless Generalized LR parser), ToolBus.
Sponsored Links:
|
| URL: |
http://www.cwi.nl/htbin/sen1/twiki/bin/view/SEN1/MetaEnvironment
|
| Title: |
MetaEnvironment |
| Description: |
Computers, Programming, Languages, Specification - 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. |
| Specialized in: |
|
|
|
|
|
CoFI: Common Framework Initiative (Popularity:  ): Open collaborative effort to produce a Common Algebraic Specification Language (CASL) as the center of an internationally standardized family of ...
Concurrency-1993: International Workshop on Semantics of Specification Languages (Popularity: ): Detailed Call for participation: location, dates, topics, schedule, and speakers.
AMAST 2000 (Popularity: ): Algebraic Methodology And Software Technology conference: online proceedings and all papers, in .pdf format, abstracts in HTML.
HasCASL DFG Project (Popularity: ): Algebraic Specification + Functional Programming = Environment for Formal Software Development. An extension of CASL that establishes a connection with ...
COMPASS (Popularity: ): Goal: consolidate, integrate theoretical basis of algebraic specification methods and apply it to software. The algebraic approach supports precise specification ...
Formal Methods Europe (Popularity: ): An organisation with the mission of promoting and supporting the industrial use of formal methods for computer systems development. The ...
INKA Inductive Theorem Prover (Popularity: ): First-order theorem prover with induction based on the explicit induction paradigm. It is based on a full first-order calculus, a ...
KORSO (Popularity: ): Deduction oriented Development of Specifications: language designed for modularizing large projects. Complex specifications can be hierarchically structured by combining specifications ...
De Stijl (Popularity: ): Design and Specification Through Interfacing and Joining Languages: fits in the framework of formal language engineering, aims at fundamental theoretical ...
Statestep (Popularity: ): A lightweight, systematic method for finite state machine specification: a tool includes interactive checking and a kind of spreadsheet for ...
|
|
Popular Sites |
|
Concurrency-1993: International Workshop on Semantics of Specification Languages (Popularity: ): Detailed Call for participation: location, dates, topics, schedule, and speakers.
HasCASL DFG Project (Popularity: ): Algebraic Specification + Functional Programming = Environment for Formal Software Development. An extension of CASL that establishes a connection with ...
KORSO (Popularity: ): Deduction oriented Development of Specifications: language designed for modularizing large projects. Complex specifications can be hierarchically structured by combining specifications ...
Formal Methods Europe (Popularity: ): An organisation with the mission of promoting and supporting the industrial use of formal methods for computer systems development. The ...
CoFI: Common Framework Initiative (Popularity: ): Open collaborative effort to produce a Common Algebraic Specification Language (CASL) as the center of an internationally standardized family of ...
|
|
Related Press |
|
TiVo Reports Results for the Third Quarter Fiscal Year 2010 Ended October 31, 2009 (Popularity: ): TiVo Inc. (Nasdaq: TIVO), the creator of and a leader in television services for digital video recorders (DVRs), today reported ...
Survey: 90 Percent of Consumers to Shop Online this Holiday Season; Majority Have Security Concerns (Popularity: ): A new exclusive survey from Sunbelt Software, a leading provider of Windows security software, reveals that more than half (56 ...
Our Stock Picks for today (www.hypergrowthstock.com) 25th Nov. 2009 (Popularity: ): CLF, BDGH, KNDR, AWSL, VGPR Current HOT Watch List
MIAMI, Nov. 25th 2009 (M2 PRESSWIRE via COMTEX) – HyperGrowthStocks.com is pleased ...
Infant Entrapment and Suffocation Prompts Stork Craft to Recall More Than 2.1 Million Drop-Side Cribs (Popularity: ): The U.S. Consumer Product Safety Commission (CPSC), in cooperation with Stork Craft Manufacturing Inc., of British Columbia, Canada, today announced ...
Amid the Flu Epidemic, Don't Forget RSV in Young Children (Popularity: ): Influenza, particularly H1N1, has understandably captured the attention of public health officials, the media and the public. However, an analysis ...
|
|
Related Articles |
|
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|
