HasCASL DFG Project - Algebraic Specification + Functional Programming = Environment for Formal Software Development.


Home		Set as Homepage		Add to Favorite		Contact

09 November, 2009

search for

egories

New Addition

Goat & Sheep Leather Manufacturers

Stainless Steels Bars Supplier India

Heavy Duty Relay Manufacturer

Industrial Gearboxes Exporter

Recruitment Agency supply skilled polish workers

Generic Drug Manufacturers India

Industrial Valve Supplier India

Wholesale Industrial Chemical Suppliers

Dhoop Incense Manufacturing Company

Loft conversion London

Spring Compression Manufacturer

Chemicals Supplier From India

Digital Linx Hosting

Madison Construction

Hearts of Gold Senior Home Care

Team Green Outdoor

Get This List Of Used Cars In Portland

Hudson Poly Bag, Inc.

Hydraulic Jack Wholesaler

IT Outsourcing Company

Category: Main » Computers » Programming » Languages » Specification	UPDATE URL \| REPORT BROKEN LINK
HasCASL DFG Project	Popularity: Hit: 80

Details:

	Algebraic Specification + Functional Programming = Environment for Formal Software Development. An extension of CASL that establishes a connection with the functional programming language Haskell. Sponsored Links:
URL:	http://www.informatik.uni-bremen.de/cofi/projects/hascasl.html
Title:	DFG Project HasCASL
Description:	Computers, Programming, Languages, Specification - HasCASL DFG Project. Algebraic Specification + Functional Programming = Environment for Formal Software Development.
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 ...
Interactive Software Development and Renovation Software (Popularity:

): ASF+SDF compiler runtime library, Meta-Environment, ATerm Library, SDF2 Parser generator, Completa, SGLR (Scannerless Generalized LR parser), ToolBus.
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.
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:

): 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

Calculus Help (Popularity:

): This article is regarding the re-launch of HomeworkHelp, which is, a Global community of Students and Subject Experts where Students ...
Do you need a more powerful mobile phones to support your communications needs? (Popularity:

): Do you need a more powerful mobile phones to support your communications needs? How about three sim card three standby? ...
Data Recovery becomes more faster with the Windows Data Recovery Software by Recover Data (Popularity:

): Recover Data announces the new series of Windows Data Recovery Software equipped with lot of new data recovery features & ...
Computer's Worth is now selling Windows 7 (Popularity:

): Dallas, TX November 5th, 2009 "It was only a matter of time that Microsoft actually released a highly reliable operating ...
SCOLR Pharma, Inc. Reports Third Quarter 2009 Financial Results (Popularity:

): SCOLR Pharma, Inc. (Amex: DDD) today reported financial results for the three and nine months ended September 30, 2009. Stephen J. ...

Related Articles

Home Office Design Ideas For a Comfortable Work Environment (Popularity:

): Although you are primarily creating a workroom or home office, it's important that you do not neglect to provide for ...
EToro Forex Forums-Why Participate (Popularity:

): The eToro forex forum is a major part of the educational and communal experience that the eToro platform strives to ...
Personal Branding Necessary For Internet Marketing Success (Popularity:

): Internet marketing has fast developed as a potential to sell what you have, what you know, what you can do ...
Decision Support System - Brief Information (Popularity:

): The plan of a DSS or Decision Support System is very broad and its meanings differ depending upon the writer's ...
Make Money on Facebook Or Via iPhone - Here's a Sure Fire Way to Generate a Huge Income (Popularity:

): An area of Facebook which is making several companies huge amounts of money is the applications that run on Facebook. ...