Ditemukan 105 dokumen yang sesuai dengan query
Langer, Arthur M., editor
This book addresses how best to make build vs. buy decisions, and what effect such decisions have on the software development life cycle (SDLC). Offering an integrated approach that includes important management and decision practices, the text explains how to create successful solutions that fit user and customer needs, by...
London: Springer, 2012
e20407438
eBooks Universitas Indonesia Library
Sannella, Donald, author
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties.
This book contains five kinds of material: the requisite mathematical foundations; traditional algebraic specifications; elements of the theory of institutions; formal...
Berlin: Springer-Verlag, 2012
e20407790
eBooks Universitas Indonesia Library
Alfred M. Bruckstein, editor
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Scale Space Methods and Variational Methods in Computer Vision, SSVM 2011, held in Ein-Gedi, Israel in May/June 2011.
The 24 revised full papers presented together with 44 poster papers were carefully reviewed and selected from 78...
Berlin: Springer-Verlag, 2012
e20407806
eBooks Universitas Indonesia Library
Toshiaki Aoki, editor
This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012. The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal...
Berlin: Springer-Verlag, 2012
e20407818
eBooks Universitas Indonesia Library
Ober, Iulian, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 15th International SDL Forum, SDL 2011, held in Toulouse, France, in July 2011. The 16 revised full papers presented together were carefully reviewed and selected for inclusion in the book. The papers cover a wide range of topics such as...
Berlin: Springer-Verlag, 2011
e20408082
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
Aggelos Kiayias, editor
The 15 revised full papers presented were carefully reviewed and selected from 33 submissions. They are organized in topical sections on Norwegian internet voting, voting systems I and II, prêt à voter and trivitas, and experiences...
Berlin: [, Springer-Verlag], 2012
e20409479
eBooks Universitas Indonesia Library
Yukiko Nakano, editor
This book constitutes the refereed proceedings of the 12th International Conference on Intelligent Virtual Agents, IVA 2012, held in Santa Cruz, CA, USA, in September 2012. The 17 revised full papers presented together with 31 short papers and 18 poster papers were carefully reviewed and selected from numerous submissions. The...
Berlin: [, Springer-Verlag], 2012
e20409991
eBooks Universitas Indonesia Library
Tilley, Scott, author
Cloud computing offers the use of virtualized hardware, effectively unlimited storage, and software services that can help reduce the execution time of large test suites in a cost-effective manner. The research presented by Tilley and Parveen leverages the resources provided by cloud computing infrastructure to facilitate the concurrent execution of...
Heidelberg: [Springer, ], 2012
e20410112
eBooks Universitas Indonesia Library
P. Madhusudan, editor
This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata...
Berlin : [Springer-Verlag, ], 2012
e20410422
eBooks Universitas Indonesia Library
