 |
Nantes B Libraries
sdssssssscbvcbvsssslhkhhkjhkjhkjhkhkjkjhkssssssdsdsdsdsdsdsdsdsdssd |
|
Nantes B Libraries
sdssssssscbvcbvsssslhkhhkjhkjhkjhkhkjkjhkssssssdsdsdsdsdsdsdsdsdssd |
|
|
|---|
|
|
| Project/Component | State | Description | Results | Comments |
| Data Structures: Stack / Pile | Component | Pile en B / Stack with B | [Pile.mch ] [ PileGen.mch] | - |
| Data Structures: Graphs / Graphes | Component | Graphes en B / Graphs in B | [GrapheV.mch] | - |
| Data Structures: Tuples / Records | Component | Structures / Record B | [GestionDate.mch] | - |
| Constructs: Disc. Math. / Fibonacci | Component | Fonction Fibonacci | [Fibonacci.mch] | - |
| Constructs: Disc. Math. / Ackermann | Component | Fonction Ackermann | [Ackermann.mch] | - |
| Project | State | Description | Results | Comments |
| Automata | Component | Construction and Manipulation of Automata [Description] | ||
| Operation Refinement_1 | Case Study | A simple refinement of operation | Operation Refinement_1 | |
| IP Routing | Case Study | Data Description for IP Routing Algorithm [Description] | ||
| Ethernet | Case Study | Formal Description of Ethernet frame and operations [Description] | ||
| Tree Editor | Case Study | Formal Desription of tree manipulation tools [Description] | ||
| Automata/
Analyser |
Case Study | Some tools for languages analysis [Description] | TermAnalyser1 |
|
| Fauna | Case Study | Formal Description of a fauna [Description] | ||
| Graphs
(and Applications) |
Case Study | Some Graphs specifications and applications [Description] | ||
| Cab.Medical | Case Study | A System for the managment of doctors's office [Description] | ||
| Bancaire | Case Study | A bank managment system [Description] | Doc1 | |
| Nuclear | Case Study | A nuclear system control [Description] | ||
| Debit System | Case Study | The debit system specification [ Description] | ||
| N/3 Architecture | Case Study | A N/3 system specification (based on the "video shop" case) [ Description] | ||
| Acces Control | Case Study | A system to control access to building (based on the "AFADL'00" case) [Description] | ||
| Palindrome | Case Study | A Palindrom case study | Palindrom | + C code |
| Euclide | Case Study | Euclide division | Euclide | +C Code |
| Contact : email
LINA - COLOSS |
Address LINA - UMR CNRS 6241 - Faculté des sciences 2, rue de la Houssinière BP 92298 44 322 Nantes Cedex 3 |