Expérience de programmation générique sur des structures non-séquentielles : les automates

Abstract : This thesis is a contribution to software engineering applied to automata programming. It started with the simple need of an open automaton manipulation software, efficient, extensible and easy to use. Generic programming in C++ seemed to be the right technique for those needs (the constraints on the time complexity of each operation are an help to achieve the quality goals). The aims are to extend these generic techniques to automata manipulation, then to all state machines and to make the library accessible with generative programming and active components. This work covers the need for an evaluation of the efficiency, expression power and utilisability of template programming in C++. This thesis hopes to bring a viable solution to template programming of automata with novel concepts, open implementation in C++, and an experiment of generative programming that extends obtained results on automaton to all kinds of state machines.
Document type :
Theses
Complete list of metadatas

Cited literature [72 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00720666
Contributor : Admin Ligm <>
Submitted on : Wednesday, July 25, 2012 - 12:48:48 PM
Last modification on : Wednesday, April 11, 2018 - 12:12:02 PM
Long-term archiving on : Friday, October 26, 2012 - 2:46:10 AM

Identifiers

  • HAL Id : tel-00720666, version 1

Collections

Citation

Vincent Le Maout. Expérience de programmation générique sur des structures non-séquentielles : les automates. Génie logiciel [cs.SE]. Université de Marne la Vallée, 2003. Français. ⟨tel-00720666⟩

Share

Metrics

Record views

368

Files downloads

2446