Ditemukan 345 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
Jurgen Munch, author
Münch and his co-authors aim at providing knowledge that enables readers to develop useful process models that are suitable for their own purposes. They start with the basic concepts. Subsequently, existing representative process models are introduced, followed by a description of how to create individual models and the necessary means...
Berlin: Springer-Verlag, 2012
e20407805
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
Maria Bielikova, editor
This book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012, held in Špindlerův Mlýn, Czech Republic, in January 2012. The 43 revised papers presented in this volume were carefully reviewed and selected from 121 submissions. The book also...
Berlin: [, Springer-Verlag], 2012
e20409086
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
Kumar, Sandeep, author
Agent-based semantic web service composition closely examines the various aspects of SWS composition, and explores the concept that a multi-agent system can serve as an SWS composition system in which its agents can interact with one another to satisfy a high-level goal. In addition to surveying various proposed multi-agent-based SWS...
New York: [, Springer], 2012
e20409948
eBooks Universitas Indonesia Library
Hamadi, Youssef, editor
This is the first book dedicated to this topic, in the areas of constraint programming, machine learning, evolutionary computing, and feedback control theory. After the editors' introduction to autonomous search, the chapters are focused on tuning algorithm parameters, autonomous complete (tree-based) constraint solvers, autonomous control in metaheuristics and heuristics, and...
Berlin: Springer-Verlag, 2011
e20409953
eBooks Universitas Indonesia Library
Bjorn Regnell, editor
This book constitutes the refereed proceedings of the 18th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2012, held in Essen, Germany, in March 2012. The papers are organized in 10 topical sections on contractual requirements, quality requirements, collaboration, complexity and creativity, requirements analysis, templates and heuristics,...
Berlin: [, Springer-Verlag], 2012
e20410269
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
Tiziana Margaria, editor
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topical sections on adaptable and evolving software for...
Berlin : [, Springer-Verlag], 2012
e20410565
eBooks Universitas Indonesia Library
