Ditemukan 2 dokumen yang sesuai dengan query
The goal of this book is to uncover techniques that will aid in overcoming complexity and enable us to produce reliable, dependable computer systems that will operate as intended, and yet are produced on-time, in budget, and are evolvable, both over time and at run time. We hope that the...
London: Springer, 2012
e20407434
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from...
Berlin: Springer-Verlag, 2012
e20407834
eBooks Universitas Indonesia Library
