Sciweavers

19 search results - page 1 / 4
» fase 2005
Sort
View
127
Voted
FASE
2005
Springer
15 years 11 months ago
Observational Purity and Encapsulation
David A. Naumann
FASE
2005
Springer
15 years 11 months ago
Automated Compositional Proofs for Real-Time Systems
Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Ange...
FASE
2010
Springer
16 years 27 days ago
Prescriptive Semantics for Big-Step Modelling Languages
f abstraction, providing an effective way to discover a Web service based on its interface. Awards and Scholarships - Ontario Graduate Scholarship (OGS), 2008 - Ontario Graduate S...
Shahram Esmaeilsabzali, Nancy A. Day
FASE
2005
Springer
15 years 11 months ago
A Framework for Counterexample Generation and Exploration
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
Marsha Chechik, Arie Gurfinkel