Stéphane Barbey

According to our database, Stéphane Barbey authored at least 9 papers between 1994 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1998

Test selection for object-oriented software based on formal specifications.

Cécile Péraire, Stéphane Barbey, Didier Buchs

Proceedings of the Programming Concepts and Methods, 1998

Quality-for-ASIS: A Portable Testing Facility for ASIS.

Alfred Strohmeier, Vasiliy Fofanov, Sergey Rybin, Stéphane Barbey

Proceedings of the Reliable Software Technologies, 1998

1996

A Theory of Specification-Based Testing for Object-Oriented Software.

Stéphane Barbey, Didier Buchs, Cécile Péraire

Proceedings of the Dependable Computing, 1996

1995

Advanced Object-Oriented Features and Programming in Ada 95.

Stéphane Barbey, Magnus Kempe, A. Strohmeir

Proceedings of the Tutorial Proceedings on Ada's Role in Global Markets: solutions for a changing complex world, 1995

Experiences in object-oriented programming (panel session).

Stéphane Barbey, Bill Beckwith, David Weller, Brad Balfour

Proceedings of the conference on TRI-Ada 1995: Ada's role in global markets: solutions for a changing complex world, 1995

Ada 95 as implementation language for object-oriented designs.

Stéphane Barbey

Proceedings of the conference on TRI-Ada 1995: Ada's role in global markets: solutions for a changing complex world, 1995

Testing Ada 95 Object-Oriented Programs.

Stéphane Barbey

Proceedings of the Ada in Europe, Second International Eurospace, 1995

1994

Working with Ada 9X Classes.

Stéphane Barbey

Proceedings of the 1994 Conference on TRI-Ada 1994, 1994

Testing Ada Abstract Data Types Using Formal Specifications.

Stéphane Barbey, Didier Buchs

Proceedings of the Ada in Europe, First International Eurospace, 1994