Stéphane Barbey

Publication Activity (10 Years)

Years Active: 1994-1998
Publications (10 Years): 0

Publications

Alfred Strohmeier, Vasiliy Fofanov, Sergey Rybin, Stéphane Barbey
Quality-for-ASIS: A Portable Testing Facility for ASIS. Ada-Europe (1998)
Cécile Péraire, Stéphane Barbey, Didier Buchs
Test selection for object-oriented software based on formal specifications. PROCOMET (1998)
Stéphane Barbey, Didier Buchs, Cécile Péraire
A Theory of Specification-Based Testing for Object-Oriented Software. EDCC (1996)
Stéphane Barbey
Ada 95 as implementation language for object-oriented designs. TRI-Ada (1995)
Stéphane Barbey, Magnus Kempe, A. Strohmeir
Advanced Object-Oriented Features and Programming in Ada 95. TRI-Ada Tutorials (1995)
Stéphane Barbey
Testing Ada 95 Object-Oriented Programs. Ada-Europe (1995)
Stéphane Barbey, Bill Beckwith, David Weller, Brad Balfour
Experiences in object-oriented programming (panel session). TRI-Ada (1995)
Stéphane Barbey
Working with Ada 9X Classes. TRI-Ada (1994)
Stéphane Barbey, Didier Buchs
Testing Ada Abstract Data Types Using Formal Specifications. Ada-Europe (1994)