Search Sciweavers | Sciweavers

6800 search results - page 38 / 1360

» Testing with Functions as Specifications

135

click to vote

ICSEA
2006
IEEE

78views Software Engineering» more ICSEA 2006»

Specification of Software Component Requirements Using the Trace Function Method

15 years 12 months ago

Download core.ecu.edu

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

claim paper

Read More »

133

click to vote

ICTAI
2006
IEEE

71views Artificial Intelligence» more ICTAI 2006»

Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications

15 years 12 months ago

Download www.cs.iastate.edu

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

claim paper

Read More »

129

click to vote

DAC
2004
ACM

126views Computer Architecture» more DAC 2004»

Automatic generation of equivalent architecture model from functional specification

15 years 11 months ago

Download www.cs.york.ac.uk

Samar Abdi, Daniel Gajski

claim paper

Read More »

119

click to vote

SCOPES
2004
Springer

101views System Software» more SCOPES 2004»

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

15 years 11 months ago

Download www.edaa.com

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

claim paper

Read More »

140

click to vote

HICSS
2003
IEEE

106views Biometrics» more HICSS 2003»

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

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers