Sciweavers

8623 search results - page 90 / 1725
» Software engineering for secure systems
Sort
View
76
Voted
COMPSAC
2008
IEEE
15 years 9 months ago
So/M: A Requirements Definition Tool Using Characteristics of Existing Similar Systems
Naoyuki Kitazawa, Akira Osada, Kazuyuki Kamijo, Ha...
98
Voted
QSIC
2008
IEEE
15 years 9 months ago
An Executable Interface Specification for Industrial Embedded System Design
Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Co...
84
Voted
B
2007
Springer
15 years 9 months ago
The B-Method for the Construction of Microkernel-Based Systems
Sarah Hoffmann, Germain Haugou, Sophie Gabriele, L...
ASWEC
2006
IEEE
15 years 8 months ago
Model-based runtime analysis of distributed reactive systems
Andreas Bauer 0002, Martin Leucker, Christian Scha...
97
Voted
APSEC
2005
IEEE
15 years 8 months ago
A Lightweight Integration of Theorem Proving and Model Checking for System Verification
Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, ...