![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
2. SAM 2000: Col de Porte, Grenoble, France
- Edel Sherratt:
SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000. VERIMAG, IRISA, SDL Forum 2000
Invited Contributions
- Anca Muscholl, Doron A. Peled:
Analyzing Message Sequence Charts. SAM 2000: 3-17 - François Terrier, Sébastien Gérard:
Real Time System Modeling with UML: current status and some prospects. SAM 2000: 18-32
MSC I
- André Engels:
Design Decisions on Data and Guards in MSC2000. SAM 2000: 33-46 - Loïc Hélouët, Pierre Le Maigat:
Decomposition of Message Sequence Charts. SAM 2000: 47-60 - F. A. Meijs:
Connecting Message Sequence Charts. SAM 2000: 61-75 - Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski:
HyperMSC - a Graphical Representation of TTCN. SAM 2000: 76-
Real-Time Extensions
- José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya:
SDL and hard real time systems: new design and analyze techniques. SAM 2000: 92-107 - Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent:
SDL for Real-Time: What is Missing? SAM 2000: 108-
UML
- Francis Bordeleau, Donald Cameron:
On the Relationship between use-case maps and Message Sequence Charts. SAM 2000: 123-138 - J. P. Albaladejo, Javier Poncela-González, José T. Entrambasaguas:
Adaptation Of SOMT To The Development Of Systems Based Upon a Standard. SAM 2000: 139-153 - Nikolai Mansurov, Dmitri Vasura:
Approximation of (H)MSC Semantics By Automata. SAM 2000: 154-
Test I
- Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw:
Probabilities In The Torx Test Derivation Algorithm. SAM 2000: 173-188 - Olaf Henniger, Hasan Ural:
Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications. SAM 2000: 189-202 - Karl Meinke:
Validation and Test Case Generations for MSCs Using A Propositional SAT Solver. SAM 2000: 203-
Semantics
- Andreas Prinz, Robert Eschbach, Reinhard Gotzhein:
A Executable Formal Semantics for SDL-2000. SAM 2000: 249-261 - Stefan Heymer:
A Semantics for MSC Based on Petri Net Components. SAM 2000: 262-
Case Study
- Ketil Stølen, P. Mohn:
Experience from Using MSC, UML and SDL in the Development of the FAME Communication Manager. SAM 2000: 276-
SDL
- Stefan Bläsius, Stefan Karg, Josef Maier, Günther Kohler:
Development of SDL Based Software for an Embedded System - Practical Experience. SAM 2000: 292-304 - Ferhat Khendek, Daniel Vincent:
Enriching SDL Specifications with MSCs. SAM 2000: 305-319 - F. Boutet, E. Choveau, G. Rieux, Y. Lejeune:
Scheduling in SDL Simulation. Application to Future Air Navigation Systems. SAM 2000: 320-332 - B. Rao:
SDL Based Auto Code Generation: A Multi Beneficial Approach. SAM 2000: 333-340
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.