Search Sciweavers | Sciweavers

15253 search results - page 87 / 3051

» Integer-Programming Software Systems

115

click to vote

COMPSAC
2008
IEEE

81views Software Engineering» more COMPSAC 2008»

So/M: A Requirements Definition Tool Using Characteristics of Existing Similar Systems

16 years 1 months ago

Download kaiunix.cs.shinshu-u.ac.jp

Naoyuki Kitazawa, Akira Osada, Kazuyuki Kamijo, Ha...

claim paper

Read More »

149

click to vote

QSIC
2008
IEEE

147views Software Engineering» more QSIC 2008»

An Executable Interface Specification for Industrial Embedded System Design

16 years 1 months ago

Download alexandria.tue.nl

Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Co...

claim paper

Read More »

152

click to vote

EUROMICRO
2007
IEEE

149views Software Engineering» more EUROMICRO 2007»

Applying a Model-based Approach for Embedded System Development

16 years 1 months ago

Download swerl.tudelft.nl

Christian Bunse, Hans-Gerhard Groß, Christia...

claim paper

Read More »

129

click to vote

B
2007
Springer

156views Software Engineering» more B 2007»

The B-Method for the Construction of Microkernel-Based Systems

16 years 25 days ago

Download www.cse.unsw.edu.au

Sarah Hoffmann, Germain Haugou, Sophie Gabriele, L...

claim paper

Read More »

117

click to vote

ASWEC
2006
IEEE

114views Software Engineering» more ASWEC 2006»

Model-based runtime analysis of distributed reactive systems

16 years 22 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers