Sciweavers

2700 search results - page 36 / 540
» The role of abstraction in software engineering
Sort
View
ICFEM
2009
Springer
16 years 1 months ago
RAFFS: Model Checking a Robust Abstract Flash File Store
Flash File Store Paul Taverne and C. (Kees) Pronk Report TUD-SERG-2009-033 SERG
Paul Taverne, Cornelis Pronk
VMCAI
2005
Springer
16 years 6 days ago
The Arithmetic-Geometric Progression Abstract Domain
Domain VMCAI 2005 Jérôme Feret Laboratoire d’Informatique de l’École Normale Supérieure INRIA, ÉNS, CNRS ØØÔ »»ÛÛÛº º Ò׺ Ö»∼ Ö Ø December, 2008.
Jérôme Feret
AMAST
2006
Springer
15 years 10 months ago
Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues
Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J
Tristan Le Gall, Bertrand Jeannet, Thierry J&eacut...
APAQS
2001
IEEE
15 years 10 months ago
Combining the Animation and Testing of Abstract Data Types
Data Types Tim Miller Paul Strooper May 2001 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 http://svrc.it.uq.edu.au
Tim Miller, Paul A. Strooper
VMCAI
2010
Springer
16 years 1 months ago
Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction
Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun...