Models@run.time : Foundations, Applications, and Roadmaps /
En esta obra se reúnen los trabajos presentados en el Seminario Dagstuhl 11481 en models@run.time, celebrado en Wadern, Alemania, en noviembre-diciembre de 2011. En los artículos incluidos se analizan principalmente los fundamentos, técnicas, estado del arte de la investigación y desarrollo de aplic...
Guardado en:
| Autor corporativo: | |
|---|---|
| Otros autores: | |
| Formato: | Procedimiento de la conferencia Libro |
| Idioma: | Inglés |
| Publicado: |
Cham, Suiza :
Springer,
2014, c2014
|
| Colección: | (Lecture Notes in Computer Science ;
8378) |
| Temas: | |
| Acceso en línea: | Ver documento en línea |
| Etiquetas: |
Sin etiquetas, Sé el primero en etiquetar este registro!
|
Ejemplares similares: Models@run.time :
- Código sostenible : cómo programar código fácil de mantener /
- Agile Processes in Software Engineering and Extreme Programming : 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014 : Proceedings /
- Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014 : Proceedings /
- NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014 : Proceedings /
- System Analysis and Modeling : Models and Reusability : 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014 : Proceedings /
- Verification, Model Checking, and Abstract Interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : Proceedings /