Search Sciweavers | Sciweavers

15253 search results - page 87 / 3051

» Integer-Programming Software Systems

108

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 23 days ago

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

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

claim paper

Read More »

146

click to vote

QSIC
2008
IEEE

147views Software Engineering» more QSIC 2008»

An Executable Interface Specification for Industrial Embedded System Design

16 years 20 days ago

Download alexandria.tue.nl

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

claim paper

Read More »

146

click to vote

EUROMICRO
2007
IEEE

149views Software Engineering» more EUROMICRO 2007»

Applying a Model-based Approach for Embedded System Development

16 years 19 days ago

Download swerl.tudelft.nl

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

claim paper

Read More »

122

click to vote

B
2007
Springer

156views Software Engineering» more B 2007»

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

16 years 14 days ago

Download www.cse.unsw.edu.au

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

claim paper

Read More »

108

click to vote

ASWEC
2006
IEEE

114views Software Engineering» more ASWEC 2006»

Model-based runtime analysis of distributed reactive systems

16 years 11 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers