Search Sciweavers | Sciweavers

1809 search results - page 7 / 362

» A Formal Specification of dMARS

Voted

CBSE
2009
Springer

78views Software Engineering» more CBSE 2009»

Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations

15 years 8 months ago

Download secure.ucd.ie

Joseph R. Kiniry, Fintan Fairmichael

claim paper

Read More »

click to vote

ADBIS
2007
Springer

127views Database» more ADBIS 2007»

ETL Workflows: From Formal Specification to Optimization

15 years 8 months ago

Download www.dis.uniroma1.it

Timos K. Sellis, Alkis Simitsis

claim paper

Read More »

112

Voted

SAFECOMP
2007
Springer

172views Security Privacy» more SAFECOMP 2007»

Formal Specification and Analysis of AFDX Redundancy Management Algorithms

15 years 8 months ago

Download rzv113.rz.tu-bs.de

Jan Täubrich, Reinhard von Hanxleden

claim paper

Read More »

click to vote

DATE
2006
IEEE

68views Hardware» more DATE 2006»

Functional verification methodology based on formal interface specification and transactor generation

15 years 8 months ago

Download www.date-conference.com

Felice Balarin, Roberto Passerone

claim paper

Read More »

109

Voted

EDOC
2006
IEEE

87views Distributed And Parallel Com...» more EDOC 2006»

Using Model-Driven Engineering to generate QoS Monitors from a formal specification

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers