|
- Plublications scientifiques labellisées SCoT
- Séminaires sur SCoT
- Rapports internes au projet
- Références relatives au sujet du projet
|
 Plublications scientifiques labellisées SCoT
Daniel Deveaux. The design for trustability approach.
In Trusted Components Workshop, Prato Italy, 9 January 2003.
ETH Zürich, Monash University, TOOLS Conferences. D. Deveaux, J-F. Le Cam, and
A. Despland. Software Components Development and Follow-up: the
"Design for Trustability" (DfT) Approach. In xx, editor, Proceedings
of the Information System Technology Panel Symposium, Bonn
(Germany), September 2002. Research and Technology Agency (NATO). Accepted
for presentation and publication. Daniel Deveaux, Patrice Frison, and
Jean-Marc Jézéquel. Increase Software Trustability with
Self-Testable Components in Java. In D. D. Grant and L. Sterling,
editors, Proceedings 2001 Australian Sofware Engineering
Conference, pages 3-11, Canberra - Australia, August 2001.
ASWEC'2001, IEEE Computer Society. (PDF)
Jean-Marc Jézéquel, Daniel
Deveaux, and Yves Le Traon. Reliable Objects: Lightweight Testing for
00 Languages. IEEE-Software, 18(4):76-83, jul-aug 2001. (PDF)
Daniel Deveaux and Yves Le Traon. XML
to Manage Source Code Engineering in Object-Oriented Development: an
Example. In Cecilia Mascolo, Wolfgang Emmerich, and Anthony Finkelstein,
editors, XML Technologies and Software Engineering, pages
28-31, Toronto, Canada, May 2001. XSE01 workshop at ICSE'2001. (PDF)
Daniel Deveaux. Composants
auto-testables. Journée Thèmes Émergents de l'ASF
: Composants, January 2001. Conférencier invité. (PDF)
Séminaires sur SCoT
Daniel Deveaux. XML
pour le Génie Logiciel. Journées Pédagogiques
IFSIC, 12 June 2002. Vannes. (PDF)
Daniel
Deveaux. O2CM un modèle de code source
objet. Séminaire du groupe META, 13 September 2002. Daniel Deveaux. Xml
support to design for testability. Seminar at FEIT, August 2001.
Daniel
Deveaux. Equipe
Aglae : Support de Composants Testables (SCoT). Journées
composants : "flexibilité du système au langage" JC'2001,
October 2001. Daniel Deveaux. Increase
software trustability with self-testable classes in java. Seminaire au
CELAR (Centre de recherche de l'Armée), September 2001.
Rapports internes au projet
Références relatives au sujet du projet
I. Attali, D. Caromel,
L. Henrio, and H. Nilsson. SmartTools for Java Card. In
A. Watson, J. Domingo-Ferrer, and D. Chan, editors,
Smart Card Research and Advanced Applications - Proceedings of
CARDIS'2000, Bristol, UK, 2000. Kluwer Academic Publisher. I. Attali, C. Courbis,
P. Degenne, A. Fau, D. Parigot, and C. Pasquier.
SmartTools a generator of interactive environment tools. In
R. WilHelm, editor, Proceedings of International Conference on
Compiler Construction CC'01, Genova, Italy, April 2001.
Springer-Verlag. (PostScript)
Kent Beck.
Extreme Programming Explained: Embracing Change.
Addison-Wesley, 1999. Kent Beck. Extreme programming: A discipline of
software development. In Oscar Nierstrasz and Michel Lemoine, editors,
ESEC/FSE '99, volume 1687 of Lecture Notes in
Computer Science, page 1. Springer-Verlag / ACM Press, 1999.
Daniel
Deveaux, Guy Saint-Denis, and Rudolf K. Keller. XML support to design
for testability. In Proc. of XOT'2000 workshop at ECOOP'2000,
Cannes (France), June 2000. (PDF)
Daniel Deveaux, Régis Fleurquin,
Patrice Frison, Jean-Marc Jézéquel, and Yves Le Traon.
Composants objet fiables : une approche pragmatique. L'Objet,
April 2000. (PDF)
Reto Kramer.
icontract -- the java(tm) design by contract(tm) tool. In 26th
Conference on Technology of Object-Oriented Systems (TOOLS USA'98),
August 1998. Reto Kramer. Design by contract in java. In
Object World, UK: Objects for Developers, London, October
1998. Reto
Kramer. icontract(tm) and
idoc(tm) distribution. http://www.reliable-system.com/tools, 1999.
Bertrand Meyer.
Object-Oriented Software Construction, Second Edition.
Prentice Hall, New Jersey, 1997. Richard Mitchell and Jim
McKim. Design by Contract, by Example. Addison-Wesley,
2002.
|
