Sciweavers

15777 search results - page 125 / 3156
» Software Engineering
Sort
View
APSEC
2002
IEEE
16 years 4 days ago
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
126
Voted
APSEC
2002
IEEE
16 years 4 days ago
Theme-Based Literate Programming
Andreas Kacofegitis, Neville Churcher
COMPSAC
2002
IEEE
16 years 4 days ago
Towards an MDA-Oriented Methodology
Marie-Pierre Gervais