Ditemukan 129 dokumen yang sesuai dengan query
Roberto Moreno-Díaz, editor
The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EUROCAST 2011, held in February 2011 in Las Palmas de Gran Canaria, Spain. The total of 160 papers presented were carefully reviewed and selected for inclusion in the...
Berlin: [, Springer-Verlag], 2012
e20409076
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
Selmin Nurcan, editor
The CAiSE 2011 Forum was a place to present and discuss new ideas, emerging topics, and controversial positions; and to demonstrate innovative tools and systems related to information systems engineering. The 15 papers presented in this volume were carefully reviewed and selected from 46 submissions. The reworked and extended versions...
Berlin: [, Springer-Verlag], 2012
e20409725
eBooks Universitas Indonesia Library
Roychoudhury, Abhik, editor
This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 held in Bangalore, India, in September 2012. The 16 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 73 submissions. The papers cover...
Berlin: [, Springer-Verlag], 2012
eBooks Universitas Indonesia Library
Marielle Stoelinga, editor
The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement...
Berlin: [, Springer-Verlag ], 2012
e20410082
eBooks Universitas Indonesia Library
Donaldson, Alasatair, editor
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The...
Berlin: [, Springer-Verlag], 2012
e20410166
eBooks Universitas Indonesia Library
Dieste, Oscar, editor
This book constitutes the refereed proceedings of the 13 International Conference on Product-Focused Software Process Improvement, PROFES 2012, held in Madrid, Spain, in June 2012. The 21 revised full papers presented together with 3 short papers and 4 workshop and tutorial papers were carefully reviewed and selected from 49 submissions....
Berlin: [Springer-Verlag, ], 2012
e20410456
eBooks Universitas Indonesia Library
Marco Bernardo, editor
This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics...
Berlin: [, Springer-Verlag], 2012
e20410465
eBooks Universitas Indonesia Library
Roberto Moreno-Díaz, editor
The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EUROCAST 2011, held in February 2011 in Las Palmas de Gran Canaria, Spain. The total of 160 papers presented were carefully reviewed and selected for inclusion in the...
Berlin : [, Springer-Verlag], 2012
e20410619
eBooks Universitas Indonesia Library
Kazmierski, Tom J., editor
This book brings together a selection of the best papers from the thirteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in Southampton, UK in September 2010. FDL is a well established international forum devoted to dissemination of research results, practical experiences and...
New York: [Springer, ], 2012
e20418367
eBooks Universitas Indonesia Library
