Search Sciweavers | Sciweavers

8623 search results - page 90 / 1725

» Software engineering for secure systems

click to vote

COMPSAC
2008
IEEE

81views Software Engineering» more COMPSAC 2008»

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

15 years 6 months ago

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

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

claim paper

Read More »

click to vote

QSIC
2008
IEEE

147views Software Engineering» more QSIC 2008»

An Executable Interface Specification for Industrial Embedded System Design

15 years 6 months ago

Download alexandria.tue.nl

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

claim paper

Read More »

click to vote

B
2007
Springer

156views Software Engineering» more B 2007»

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

15 years 6 months ago

Download www.cse.unsw.edu.au

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

claim paper

Read More »

click to vote

ASWEC
2006
IEEE

114views Software Engineering» more ASWEC 2006»

Model-based runtime analysis of distributed reactive systems

15 years 6 months ago

Download home.in.tum.de

Andreas Bauer 0002, Martin Leucker, Christian Scha...

claim paper

Read More »

click to vote

APSEC
2005
IEEE

95views Software Engineering» more APSEC 2005»

A Lightweight Integration of Theorem Proving and Model Checking for System Verification

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers