Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 26 dokumen yang sesuai dengan query
cover
Formal methods for components and objects : 9th international symposium, FMCO 2010 Graz, Austria, November 29-December 1, 2010 : revised papers / Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue, (eds.)
" This state-of-the-art survey presents the outcome of the 9th Symposium on Formal Methods for Components and Objects, held in Graz, Austria, in November/December 2010. The volume contains 20 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the FP7-IST project AVANTSSAR on automated validation of trust and security of service-oriented architectures; the FP7-IST project DEPLOY on industrial deployment of advanced system engineering methods for high productivity and dependability; ... "
Berlin: Springer-Verlag, 2011
e20407983
eBooks  Universitas Indonesia Library
cover
Rohit Gheyi, editor
Formal methods : foundations and applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings
" This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of ... "
Berlin: [, Springer-Verlag], 2012
e20409397
eBooks  Universitas Indonesia Library
cover
Chris Hawblitzel, editor
Certified programs and proofs: second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings
" 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
cover
Runtime verification : second international conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011 : revised selected papers
" 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 submissions. The papers are organized in topical sections on parallelism and deadlocks, malware detection, temporal constraints and concurrency bugs, sampling and specification conformance, real-time, software ... "
Berlin: Springer-Verlag, 2012
e20409040
eBooks  Universitas Indonesia Library
cover
Integrated formal methods: 9th international conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings
" This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies ... "
Berlin: Springer-Verlag, 2012
e20409160
eBooks  Universitas Indonesia Library
cover
Tests and proofs : 6th international conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012 : proceedings
" This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. The 9 revised full papers presented together with 2 invited papers, 4 short papers and one tutorial were carefully reviewed and selected from 29 submissions. The papers are devoted to the convergence of tests and proofs for developing novel techniques and application ... "
Berlin: Springer-Verlag, 2012
e20409188
eBooks  Universitas Indonesia Library
cover
Web services and formal methods : 8th international workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers
" This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BPM 2011. The 9 full papers presented were carefully reviewed and selected from 14 submissions. They deal with service oriented computing (SOC), cloud computing and formal methods ... "
Berlin: Springer-Verlag, 2012
e20409844
eBooks  Universitas Indonesia Library
cover
The correctness-by-construction approach to programming
" Kourie and Watson advocate an approach known as “correctness-by-construction,” a technique to derive algorithms that relies on formal theory, but that requires such theory to be deployed in a very systematic and pragmatic way. First they provide the key theoretical background (like first-order predicate logic or refinement laws) that is needed to understand and apply the method. They then detail a series of graded examples ranging from binary search to lattice cover graph construction ... "
Berlin: Springer-Verlag, 2012
e20409956
eBooks  Universitas Indonesia Library
cover
Dimitra Giannakopoulou, editor
FM 2012 : formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings
" This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such ... "
Berlin: [Springer-Verlag, ], 2012
e20410026
eBooks  Universitas Indonesia Library
cover
Languages alive : essays dedicated to Jurgen Dassow on the occasion of his 65th birthday
" This festschrift volume, published in honor of Jürgen Dassow on the occasion of his 65th birthday, contains 19 contributions by leading researchers, colleagues, and friends. Covering topics on picture languages, cooperating distributed systems of automata, quantum automata, grammar systems, online computation, word equations, biologically motivated formal systems, controlled derivations, descriptional complexity, as well as 'classical' topics of automata and language theory, the articles presented span the range of the scientific work of Jürgen Dassow ... "
Berlin: Springer-Verlag, 2012
e20410178
eBooks  Universitas Indonesia Library
<<   1 2 3   >>