Ditemukan 21 dokumen yang sesuai dengan query
Apt, Krzysztof R., author
New York: Springer-Verlag, 1991
005.1 APT v
Buku Teks Universitas Indonesia Library
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
Proses pengembangan perangkat lunak yang ideal selalu mensyaratkan pengujian yang menyeluruh untuk memperoleh hasil perangkat lunak yang memiliki tingkat kebenaran tertentu. Namun pada prakteknya pengujian secara menyeluruh sangat jarang dilakukan karena membutuhkan sumber daya waktu dan biaya yang banyak. LinguSQL adalah sebuah tool pengembangan eksperimen yang mengintegrasikan proses pengujian secara...
[Fakultas Ilmu Komputer Universitas Indonesia, Fakultas Ilmu Komputer Universitas Indonesia], 2009
pdf
Artikel Jurnal Universitas Indonesia Library
Lewis, T.G. (Theodore Gyle), author
Reston, Virginia: Reston Publishing, 1982
005.1 LEW s
Buku Teks 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
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
Margaria, Tiziana, 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
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
