Search Sciweavers | Sciweavers

15778 search results - page 251 / 3156

» Aikido and software engineering

123

click to vote

CSMR
2006
IEEE

81views Software Engineering» more CSMR 2006»

Semantic-Based Toolkit for Automated Building Block Composition in SAP R/3

15 years 10 months ago

Download sisinflab.poliba.it

Francesco di Cugno, Tommaso Di Noia, Eugenio Di Sc...

claim paper

Read More »

125

click to vote

EMSOFT
2006
Springer

97views Software Engineering» more EMSOFT 2006»

Formal performance evaluation of AMBA-based system-on-chip designs

15 years 10 months ago

Download www.ics.uci.edu

Gabor Madl, Sudeep Pasricha, Luis Angel D. Bathen,...

claim paper

Read More »

160

click to vote

EMSOFT
2006
Springer

96views Software Engineering» more EMSOFT 2006»

Communication by sampling in time-sensitive distributed systems

15 years 10 months ago

Download www.irisa.fr

Albert Benveniste, Benoît Caillaud, Luca P. ...

claim paper

Read More »

130

click to vote

CODES
2001
IEEE

81views Software Engineering» more CODES 2001»

Deriving hard real-time embedded systems implementations directly from SDL specifications

15 years 10 months ago

Download www.cs.york.ac.uk

José M. Álvarez, Manuel Díaz,...

claim paper

Read More »

147

click to vote

ICSE
2000
IEEE-ACM

120views Software Engineering» more ICSE 2000»

Bandera: extracting finite-state models from Java source code

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers