Nantilus
SDL 2013 : model-driven dependability engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013 proceedings
This book constitutes the refereed proceedings of the 16th System Design Languages Forum, SDL 2013, held in Montreal, QC, Canada, in June 2013. The 16 revised, high-quality, full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections o...
| Auteurs principaux : | , , , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | SDL 2013 : model-driven dependability engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013 : proceedings / edited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed |
| Édition : | 1st ed. 2013. |
| Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, [20..] Cham : Springer Nature |
| Collection : | Computer Communication Networks and Telecommunications ; 7916 |
| Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
| Note sur l'URL : | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex |
| Condition d'utilisation et de reproduction : | Conditions particulières de réutilisation pour les bénéficiaires des licences nationales : https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 |
| Contenu : | Verification and testing. Dependability engineering. Analysis. Domain specific languages. Model transformation. Specification and description language.- Evolution |
| Sujets : | |
| Documents associés : | Autre format:
SDL 2013: Model-Driven Dependability Engineering Autre format: SDL 2013: Model Driven Dependability Engineering |
| LEADER | 04024clm a2200757 4500 | ||
|---|---|---|---|
| 001 | PPN170492915 | ||
| 003 | http://www.sudoc.fr/170492915 | ||
| 005 | 20241001155300.0 | ||
| 010 | |a 978-3-642-38911-5 | ||
| 017 | 7 | 0 | |a 10.1007/978-3-642-38911-5 |2 DOI |
| 035 | |a (OCoLC)854576316 | ||
| 035 | |a Springer978-3-642-38911-5 | ||
| 035 | |a SPRINGER_EBOOKS_LN_PLURI_10.1007/978-3-642-38911-5 | ||
| 035 | |a Springer-11645-978-3-642-38911-5 | ||
| 100 | |a 20130704f20 u |0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a DE | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a SDL 2013 |e model-driven dependability engineering |e 16th International SDL Forum, Montreal, Canada, June 26-28, 2013 |e proceedings |f edited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed | |
| 205 | |a 1st ed. 2013. | ||
| 214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
| 214 | 2 | |a Cham |c Springer Nature |d [20..] | |
| 225 | 0 | |a Computer Communication Networks and Telecommunications |x 2945-9184 |v 7916 | |
| 327 | 1 | |a Verification and testing |a Dependability engineering |a Analysis |a Domain specific languages |a Model transformation |a Specification and description language.- Evolution | |
| 330 | |a This book constitutes the refereed proceedings of the 16th System Design Languages Forum, SDL 2013, held in Montreal, QC, Canada, in June 2013. The 16 revised, high-quality, full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on verification and testing; dependability engineering; analysis; domain specific languages; model transformation; specification and description language and evolution | ||
| 371 | 0 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | |
| 371 | 0 | |a Accès soumis à abonnement pour tout autre établissement | |
| 371 | 1 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales |c https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | |
| 410 | | | |t Computer Communication Networks and Telecommunications |x 2945-9184 |v 7916 | |
| 452 | | | |t SDL 2013: Model-Driven Dependability Engineering |b Texte imprimé |y 9783642389108 | |
| 452 | | | |t SDL 2013: Model Driven Dependability Engineering |b Texte imprimé |y 9783642389122 | |
| 610 | 1 | |a Computer Science | |
| 610 | 2 | |a Computer Systems Organization and Communication Networks | |
| 610 | 2 | |a Logics and Meanings of Programs | |
| 610 | 2 | |a Programming Languages, Compilers, Interpreters | |
| 610 | 2 | |a Management of Computing and Information Systems | |
| 610 | 2 | |a Software Engineering | |
| 610 | 2 | |a Computer Communication Networks | |
| 610 | 2 | |a Computer Science Logic and Foundations of Programming | |
| 610 | 2 | |a Compilers and Interpreters | |
| 610 | 1 | |a Computer Engineering and Networks | |
| 610 | 2 | |a IT Operations | |
| 615 | |a @Computer Science |n 11645 |2 Springer | ||
| 615 | |a Computer Science |n 11645 |2 Springer | ||
| 676 | |a 004.6 |v 23 | ||
| 680 | |a QA76.9.C643 | ||
| 680 | |a TK5105.5-5105.9 | ||
| 701 | 1 | |a Khendek |b Ferhat |4 651 | |
| 701 | 1 | |a Toeroe |b Maria |4 651 | |
| 701 | 1 | |a Gherbi |b Abdelouahed |4 651 | |
| 701 | 1 | |a Reed |b Rick |4 651 | |
| 801 | 3 | |a FR |b Abes |c 20231126 |g AFNOR | |
| 801 | 1 | |a DE |b Springer |c 20220401 |g AACR2 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-3-642-38911-5 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-XZWJBD3T-V |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 441099901:830859489 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-38911-5 | |
| 915 | |5 441099901:830859489 |b SPRING13-00949 | ||
| 930 | |5 441099901:830859489 |b 441099901 |j g | ||
| 991 | |5 441099901:830859489 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:15 | ||
| 997 | |a NUM |b SPRING13-00949 |d NUMpivo |e EM |s d | ||
| 998 | |a 978777 | ||