Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

ICSEA
2006
IEEE

favoriteEmaildiscussreport

89views Software Engineering» more ICSEA 2006»

Automatic Generation of Functional Programs from CASL Specifications

13 years 10 months ago

Automatic Generation of Functional Programs from CASL Specifications

Download www.epigenomique.genopole.fr

Agnès Arnould, Laurent Fuchs, Marc Aiguier,

Real-time Traffic

ICSEA 2006 | Software Engineering |

claim paper

Related Content

» Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases

» Automatic generation of equivalent architecture model from functional specification

» FORAYGEN Automatic Generation of Affine Functions for Memory Optimizations

» Automatic Generation of HistoryBased Access Control from Information Flow Specification

» GraphBased Functional Test Program Generation for Pipelined Processors

» Reliable Mining of Automatically Generated Test Cases from Software Requirements Specifica...

» From dirt to shovels fully automatic tool generation from ad hoc data

» Automatic uselesscode elimination for HOT functional programs

» Domainspecific interface generation from dataflow specifications

Post Info
More Details (n/a)

Added	11 Jun 2010
Updated	11 Jun 2010
Type	Conference
Year	2006
Where	ICSEA
Authors	Agnès Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet

Comments (0)