Sciweavers

7961 search results - page 19 / 1593
» Input-Output Model Programs
Sort
View
126
Voted
CD
2005
Springer
15 years 11 months ago
A Model of Dynamic Binding in .NET
Alex Buckley
ESOP
2003
Springer
15 years 10 months ago
Flexible Models for Dynamic Linking
Sophia Drossopoulou, Giovanni Lagorio, Susan Eisen...
GPCE
2009
Springer
15 years 10 months ago
A model of refactoring physically and virtually separated features
Christian Kästner, Sven Apel, Martin Kuhleman...
ESOP
2001
Springer
15 years 10 months ago
On the Completeness of Model Checking
Francesco Ranzato