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 10 months ago

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

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

claim paper

Read More »

110

click to vote

QSIC
2008
IEEE

147views Software Engineering» more QSIC 2008»

An Executable Interface Specification for Industrial Embedded System Design

15 years 10 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 10 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 10 months ago

Download home.in.tum.de

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

claim paper

Read More »

102

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 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers