Ditemukan 6 dokumen yang sesuai dengan query
"
This book constitutes the refereed proceedings of the 5th International Conference, ICMT 2012, held in Prague, Czech Republic, in May 2012, co-located with TOOLS 2012 Federated Conferences. The 18 full papers presented together with one invited paper were carefully revised and selected from numerous submissions. Topics addressed are such as testing, typing and verification; bidirectionality; applications and visualization; transformation languages, virtual machines; pattern matching; and transformations in modelling, reutilization ...
"
Berlin: Springer-Verlag, 2012
e20410330
eBooks Universitas Indonesia Library
Antonia Mas, editor
"
This book constitutes the refereed proceedings of the 12th International Conference on Software Process Improvement and Capability Determination, SPICE 2012, held in Palma de Mallorca, Spain, in May 2012. The 21 revised full papers presented and 14 short papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on organizational process improvement, SPI in small and very small enterprises, process models; SPI in automotive software and security, SPI in ...
"
Berlin: [, Springer-Verlag], 2012
e20410348
eBooks Universitas Indonesia Library
Kerstin Eder, editor
"
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011.
The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.
...
"
Berlin: Springer-Verlag, 2012
e20407813
eBooks Universitas Indonesia Library
Robert B. France, editor
"
This book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Innsbruck, Austria, in September/October 2012. The 50 papers presented in this volume were carefully reviewed and selected from a total of 181 submissions. They are organized in topical sections named, metamodels and domain specific modeling, models at runtime, model management, modeling methods and tools, consistency analysis, software product lines, foundations of modeling, static ...
"
Berlin: [, Springer-Verlag ], 2012
e20408615
eBooks Universitas Indonesia Library
"
This book constitutes the refereed proceedings of the 50th International Conference on Objects, Models, Components, Patterns, TOOLS Europe 2012, held in Prague, Czech Republic, during May 29-31,2012. The 24 revised full papers presented were carefully reviewed and selected from 77 submissions. The papers discuss all aspects of object technology and related fields and demonstrate practical applications backed up by formal analysis and thorough experimental evaluation. In particular, every topic in advanced software technology is adressed ...
"
Berlin: Springer-Verlag, 2012
e20410462
eBooks Universitas Indonesia Library
"
This book brings together a selection of the best papers from the twentiethedition of the Forum on specification and Design Languages Conference (FDL), which took place on September 18-20, 2017, in Verona, Italy. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology ...
"
Switzerland: Springer Nature, 2019
e20509145
eBooks Universitas Indonesia Library
