Ditemukan 18 dokumen yang sesuai dengan query
Rajeev Joshi, editor
This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012. The 20 revised full papers presented together with 2 invited talks and 2 tutorials were carefully revised and selected from 54 initial submissions...
Berlin: Springer-Verlag, 2012
e20408170
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
Meyer, Bertrand, 1950-, author
Software engineering, is widely recognized as one of today's most exciting, stimulating, and profitable research areas, with a significant practical impact on the software industry and academia. The LASER school, held annually since 2004 on Elba Island, Italy, is intended for professionals from industry (engineers and managers) as well as...
Berlin: Springer-Verlag, 2011
e20408100
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected...
Berlin: Springer-Verlag, 2012
e20410409
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
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, 2012
e20410564
eBooks Universitas Indonesia Library
Chris Hawblitzel, editor
This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012. The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in...
Berlin: Springer-Verlag , 2012
e20406355
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
Sarfraz Khurshid, editor
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011. The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71...
Berlin: [, Springer-Verlag], 2012
e20409040
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