Nantilus
Model-Driven Engineering Languages and Systems : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 October 4, 2013. Proceedings
This book constitutes the refereed proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems, MODELS 2013, held in Miami, FL, USA, in September/October 2013. The 47 full papers presented in this volume were carefully reviewed and selected from a total of 180...
Enregistré dans:
| Auteurs principaux : | , , , , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Model-Driven Engineering Languages and Systems : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 October 4, 2013. Proceedings / edited by Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke. |
| Édition : | 1st ed. 2013. |
| Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, [20..] Cham : Springer Nature |
| Collection : | Programming and Software Engineering ; 8107 |
| 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 : | Tool support. Dependability. Comprehensibility. Testing. Evolution. Verification. Product lines. Semantics. Domain-specific modeling languages. Design and architecture. Model transformation. Model analysis.- System synthesis |
| Sujets : | |
| Documents associés : | Autre format:
Model-Driven Engineering Languages and Systems Autre format: Model-Driven Engineering Languages and Systems |
| LEADER | 04267clm a2200769 4500 | ||
|---|---|---|---|
| 001 | PPN172430674 | ||
| 003 | http://www.sudoc.fr/172430674 | ||
| 005 | 20241001155400.0 | ||
| 010 | |a 978-3-642-41533-3 | ||
| 017 | 7 | 0 | |a 10.1007/978-3-642-41533-3 |2 DOI |
| 035 | |a (OCoLC)864747039 | ||
| 035 | |a Springer978-3-642-41533-3 | ||
| 035 | |a SPRINGER_EBOOKS_LN_PLURI_10.1007/978-3-642-41533-3 | ||
| 035 | |a Springer-11645-978-3-642-41533-3 | ||
| 100 | |a 20131018f20 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 Model-Driven Engineering Languages and Systems |e 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 October 4, 2013. Proceedings |f edited by Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke. | |
| 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 Programming and Software Engineering |x 2945-9168 |v 8107 | |
| 327 | 1 | |a Tool support |a Dependability |a Comprehensibility |a Testing |a Evolution |a Verification |a Product lines |a Semantics |a Domain-specific modeling languages |a Design and architecture |a Model transformation |a Model analysis.- System synthesis | |
| 330 | |a This book constitutes the refereed proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems, MODELS 2013, held in Miami, FL, USA, in September/October 2013. The 47 full papers presented in this volume were carefully reviewed and selected from a total of 180 submissions. They are organized in topical sections named: tool support; dependability; comprehensibility; testing; evolution; verification; product lines; semantics; domain-specific modeling languages; models@RT; design and architecture; model transformation; model analysis; and system synthesis | ||
| 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 Programming and Software Engineering |x 2945-9168 |v 8107 | |
| 452 | | | |t Model-Driven Engineering Languages and Systems |b Texte imprimé |y 9783642415326 | |
| 452 | | | |t Model-Driven Engineering Languages and Systems |b Texte imprimé |y 9783642415340 | |
| 610 | 1 | |a Computer Science | |
| 610 | 2 | |a Programming Languages, Compilers, Interpreters | |
| 610 | 2 | |a Logics and Meanings of Programs | |
| 610 | 2 | |a Management of Computing and Information Systems | |
| 610 | 2 | |a Simulation and Modeling | |
| 610 | 2 | |a Software Engineering | |
| 610 | 2 | |a System Performance and Evaluation | |
| 610 | 2 | |a Computer Science Logic and Foundations of Programming | |
| 610 | 2 | |a IT Operations | |
| 610 | 2 | |a Computer Modelling | |
| 610 | 1 | |a Compilers and Interpreters | |
| 615 | |a @Computer Science |n 11645 |2 Springer | ||
| 615 | |a Computer Science |n 11645 |2 Springer | ||
| 676 | |a 005.13 |v 23 | ||
| 680 | |a QA76.7-76.73 | ||
| 680 | |a QA76.76.C65 | ||
| 700 | 1 | |3 PPN175399387 |a Moreira |b Ana |f 1962-.... |4 651 | |
| 701 | 1 | |3 PPN156507226 |a Schätz |b Bernhard |4 651 | |
| 701 | 1 | |a Gray |b Jeff |4 651 | |
| 701 | 1 | |3 PPN075449773 |a Vallecillo |b Antonio |f 1962-.... |4 651 | |
| 701 | 1 | |a Clarke |b Peter |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-41533-3 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-ZT6M9X8J-2 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 441099901:830862579 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-41533-3 | |
| 915 | |5 441099901:830862579 |b SPRING13-01223 | ||
| 930 | |5 441099901:830862579 |b 441099901 |j g | ||
| 991 | |5 441099901:830862579 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:17 | ||
| 997 | |a NUM |b SPRING13-01223 |d NUMpivo |e EM |s d | ||
| 998 | |a 979042 | ||