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...
Berlin : [, Springer-Verlag], 2012
e20410058
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...
Heidelberg: [, Springer], 2012
e20410513
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...
Berlin: Springer-Verlag, 2012
e20410350
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,...
Berlin: [, Springer-Verlag], 2012
e20409941
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...
Berlin: [, Springer-Verlag], 2012
e20410348
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...
Berlin: Springer-Verlag, 2012
e20410330
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...
Berlin: Springer-Verlag, 2012
e20408097
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...
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...
Berlin: [Springer-Verlag, ], 2012
e20409497
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, held in Tallinn, Estonia, in March/April 2012, as part of ETAPS 2012, the European Joint Conferences on Theory and Practice of Software. The 33 full papers presented together with one full...
Berlin: Springer-Verlag, 2012
e20410505
eBooks Universitas Indonesia Library
