Ditemukan 21 dokumen yang sesuai dengan query
Apt, Krzysztof R.
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 for inclusion in the book. The goal of the VSTTE conference is to advance the state of the art through the interaction of theory development, ...
"
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 and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed ...
"
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 whitebox dan blackbox ke dalam aktifitas pembuatan kodenya. Paper ini memaparkan penerapan LinguSQL dalam pengembangan studi kasus sebuah aplikasi transaksi perdagangan saham. Penerapan LinguSQL pada ...
"
[Fakultas Ilmu Komputer Universitas Indonesia, Fakultas Ilmu Komputer Universitas Indonesia], 2009
pdf
Artikel Jurnal Universitas Indonesia Library
Lewis, T.G. (Theodore Gyle)
Reston, Virginia: Reston Publishing, 1982
005.1 LEW s
Buku Teks Universitas Indonesia Library
Meyer, Bertrand, 1950-
"
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 university researchers, including PhD students. This book contains selected lecture notes from the LASER summer schools 2008-2010, which focused on concurrency and correctness in 2008,software ...
"
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 from 112 submissions (88 full, 10 tool and 14 poster papers). The papers are organized in topical sections on stochastic local search, theory, quantified Boolean ...
"
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 eternal systems, approaches for mastering change, runtime verification: the application perspective, model-based testing and model inference, learning techniques for software verification and validation, LearnLib tutorial: ...
"
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 eternal systems, approaches for mastering change, runtime verification: the application perspective, model-based testing and model inference, learning techniques for software verification and validation, LearnLib tutorial: ...
"
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 which certification via formal techniques is crucia ...
"
Berlin: Springer-Verlag , 2012
e20406355
eBooks Universitas Indonesia Library
