Search Sciweavers | Sciweavers

6800 search results - page 38 / 1360

» Testing with Functions as Specifications

click to vote

ICSEA
2006
IEEE

78views Software Engineering» more ICSEA 2006»

Specification of Software Component Requirements Using the Trace Function Method

14 years 1 months ago

Download core.ecu.edu

Colm Quinn, Sergiy A. Vilkomir, David Lorge Parnas...

claim paper

Read More »

click to vote

ICTAI
2006
IEEE

71views Artificial Intelligence» more ICTAI 2006»

Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications

14 years 1 months ago

Download www.cs.iastate.edu

Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasa...

claim paper

Read More »

click to vote

DAC
2004
ACM

126views Computer Architecture» more DAC 2004»

Automatic generation of equivalent architecture model from functional specification

14 years 1 months ago

Download www.cs.york.ac.uk

Samar Abdi, Daniel Gajski

claim paper

Read More »

click to vote

SCOPES
2004
Springer

101views System Software» more SCOPES 2004»

Automatically Customising VLIW Architectures with Coarse Grained Application-Specific Functional Units

14 years 1 months ago

Download www.edaa.com

Diviya Jain, Anshul Kumar, Laura Pozzi, Paolo Ienn...

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 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers