Ditemukan 11 dokumen yang sesuai dengan query
Ricardo Pena, editor
"
This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. The 8 revised full papers were carefully reviewed and selected from the papers presented at the workshop and papers submitted following an open call for contributions after the workshop. The papers are organized in the following topical sections, implicit complexity, analysis and verfication of cost expressions, and ...
"
Berlin : [, Springer-Verlag], 2012
e20410058
eBooks Universitas Indonesia Library
"
The book constitutes the refereed proceedings of the 11th International Conference on Software Composition, SC 2012, held in Prague, Czech Republic, in May/June 2012, co-located with TOOLS 2012 Federated Conferences. The 12 revised full papers were carefully reviewed and selected from 42 submissions for inclusion in the book. The papers reflect all current research in software composition and are organized in topical sections on software composition in specification languages; context-aware and dynamic composition; composition in ...
"
Berlin: Springer-Verlag, 2012
e20410350
eBooks Universitas Indonesia Library
Tomasz Szmuc, editor
"
This book constitutes the thoroughly refereed post-conference proceedings of the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, held in Krakow, Poland, in October 2009. The 19 revised full papers presented were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on software architectures and development, modelling and formal methods in software development, measurements, testing, and quality of software ...
"
Heidelberg: [, Springer], 2012
e20410513
eBooks Universitas Indonesia Library
"
This book constitutes the refereed proceedings of the 4th Software Quality Days Conference (SWQD) held in Vienna Austria in January 2012. The selection of presentations at the conference encompasses a mixture of practical presentations and scientific papers covering new research topics. The seven scientific full papers accepted for SWQD were each peer-reviewed by three or more reviewers and selected out of 18 high-quality submissions. Further six short papers on promising research directions were also presented ...
"
Berlin: Springer-Verlag, 2012
e20408097
eBooks Universitas Indonesia Library
Till Mossakowski, editor
"
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany. The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop deals with the following topics, foundations of algebraic specification, other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing, specification languages, methods, and environments, semantics of conceptual modeling ...
"
Berlin: [, Springer-Verlag], 2012
e20409941
eBooks Universitas Indonesia Library
"
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
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
Jorg Kienzle, editor
"
This book presents a comprehensive documentation of the scientific outcome of satellite events held at the 14th International Conference on Model-Driven Engineering, Languages and Systems, MODELS 2011, held in Wellington, New Zealand, in October 2011. In addition to 3 contributions each of the doctoral symposium and the educators' symposium, papers from the following workshops are included: variability for you, multi-paradigm modeling, experiences and empirical studies in software modelling, models@run.time, model-driven engineering, verification and validation, comparing ...
"
Berlin: [Springer-Verlag, ], 2012
e20409497
eBooks Universitas Indonesia Library
"
This volume constitutes the refereed proceedings of the 19th EuroSPI conference, held in Vienna, Austria, in June 2012. The 29 revised papers presented in this volume were carefully reviewed and selected. They are organized in topical sections on SPI and business factors, SPI lifecycle and models, SPI assessment and quality, SPI processes and standards, SPI in SMEs, SPI and implementation, creating environments supporting innovation and improvement, standards and experiences with the implementation of functional safety, ...
"
Berlin: Springer-Verlag, 2012
e20410441
eBooks Universitas Indonesia Library
