Sciweavers

15727 search results - page 127 / 3146
» Software Engineering - Introduction
Sort
View
APSEC
2002
IEEE
15 years 11 months ago
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
APSEC
2002
IEEE
15 years 11 months ago
Theme-Based Literate Programming
Andreas Kacofegitis, Neville Churcher
APSEC
2002
IEEE
15 years 11 months ago
Extracting threads from concurrent objects for the design of embedded systems
Mitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama
COMPSAC
2002
IEEE
15 years 11 months ago
Towards an MDA-Oriented Methodology
Marie-Pierre Gervais