Sciweavers

15727 search results - page 127 / 3146
» Software Engineering - Introduction
Sort
View
69
Voted
APSEC
2002
IEEE
15 years 7 months ago
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
APSEC
2002
IEEE
15 years 7 months ago
Theme-Based Literate Programming
Andreas Kacofegitis, Neville Churcher
76
Voted
COMPSAC
2002
IEEE
15 years 7 months ago
Towards an MDA-Oriented Methodology
Marie-Pierre Gervais