Search Sciweavers | Sciweavers

15727 search results - page 276 / 3146

» Software Engineering - Introduction

136

click to vote

WADT
1999
Springer

73views Software Engineering» more WADT 1999»

Towards an Evolutionary Formal Software-Development Using CASL

15 years 10 months ago

Download www.mais.informatik.tu-darmstadt.de

Serge Autexier, Dieter Hutter, Heiko Mantel, Axel ...

claim paper

Read More »

106

click to vote

CODES
1997
IEEE

62views Software Engineering» more CODES 1997»

Interface Optimization During Hardware-Software Partitioning

15 years 10 months ago

Download www.cecs.uci.edu

Laurent Freund, Denis Dupont, Michel Israël, ...

claim paper

Read More »

125

Voted

CODES
1997
IEEE

71views Software Engineering» more CODES 1997»

Software Implementation Techniques for Hw/Sw Embedded Systems

15 years 10 months ago

Download www.cecs.uci.edu

Jean Paul Calvez, Olivier Pasquier, J. Peckol

claim paper

Read More »

131

Voted

ICSM
1997
IEEE

70views Software Engineering» more ICSM 1997»

Software Evolution Observations Based on Product Release History

15 years 10 months ago

Download turingmachine.org

Harald Gall, Mehdi Jazayeri, René Klös...

claim paper

Read More »

129

click to vote

SEKE
1994
Springer

76views Software Engineering» more SEKE 1994»

A tool for assisting the understanding and formal development of software

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers