Search Sciweavers | Sciweavers

1809 search results - page 8 / 362

» A Formal Specification of dMARS

click to vote

DOLAP
2006
ACM

93views Information Technology» more DOLAP 2006»

Formal specification and optimization of ETL scenarios

14 years 1 months ago

Download www.cs.uoi.gr

Timos K. Sellis

claim paper

Read More »

click to vote

EDOC
2005
IEEE

77views Distributed And Parallel Com...» more EDOC 2005»

Dealing with contract violations: formalism and domain specific language

14 years 1 months ago

Download espace.uq.edu.au

Guido Governatori, Zoran Milosevic

claim paper

Read More »

click to vote

AMAST
2004
Springer

80views Software Engineering» more AMAST 2004»

Formalizing and Proving Semantic Relations between Specifications by Reflection

14 years 26 days ago

Download maude.sip.ucm.es

Manuel Clavel, Narciso Martí-Oliet, Miguel ...

claim paper

Read More »

click to vote

BIRTHDAY
2004
Springer

81views Applied Computing» more BIRTHDAY 2004»

Applied Formal Methods - From CSP to Executable Hybrid Specifications

14 years 26 days ago

Download www.informatik.uni-bremen.de

Jan Peleska

claim paper

Read More »

click to vote

HICSS
2003
IEEE

106views Biometrics» more HICSS 2003»

Formal Behavioural Synthesis of Handel-C Parallel Hardware Implementations from Functional Specifications

14 years 22 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers