Sciweavers

15777 search results - page 183 / 3156
» Engineering in Software
Sort
View
ADAEUROPE
1999
Springer
15 years 8 months ago
The Ceiling Protocol in Multi-moded Real-Time Systems
Jorge Real, Andy J. Wellings
106
Voted
ESEC
1999
Springer
15 years 8 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer
ESEC
1999
Springer
15 years 8 months ago
Efficient Points-to Analysis for Whole-Program Analysis
Donglin Liang, Mary Jean Harrold
EWSPT
1999
Springer
15 years 8 months ago
Process Modelling Languages
Reidar Conradi, Maria Letizia Jaccheri
99
Voted
FOSSACS
1999
Springer
15 years 8 months ago
Equational Properties of Mobile Ambients
Andrew D. Gordon, Luca Cardelli