Search Sciweavers | Sciweavers

15155 search results - page 66 / 3031

» System Software

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

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

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

claim paper

Read More »

140

click to vote

QSIC
2008
IEEE

147views Software Engineering» more QSIC 2008»

An Executable Interface Specification for Industrial Embedded System Design

16 years 12 days ago

Download alexandria.tue.nl

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

claim paper

Read More »

141

click to vote

EUROMICRO
2007
IEEE

149views Software Engineering» more EUROMICRO 2007»

Applying a Model-based Approach for Embedded System Development

16 years 11 days ago

Download swerl.tudelft.nl

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

claim paper

Read More »

119

click to vote

B
2007
Springer

156views Software Engineering» more B 2007»

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

16 years 6 days ago

Download www.cse.unsw.edu.au

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

claim paper

Read More »

105

click to vote

ASWEC
2006
IEEE

114views Software Engineering» more ASWEC 2006»

Model-based runtime analysis of distributed reactive systems

16 years 2 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers