![]() |
![]() |
Your cart is empty |
||
Showing 1 - 2 of 2 matches in All Departments
ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This yearit comprised?ve conferences (CC, ESOP,FASE, FOSSACS, TACAS), 22satelliteworkshops(ACCAT,AVIS,Bytecode,CMCS,COCV,DCC,FESCA, FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV,SafeCert,SC,SLA++P,WGT,andWRLA),ninetutorials,andseveninvited lectures (excluding those that were speci?c to the satellite events). The ?ve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%. Congratulationsthereforetoallthe authorswhomadeittothe ?nalprogramme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems, and the emphasis on software is not intended to be exclusive.
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages. The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.
|
![]() ![]() You may like...
Management, Organization and Fear…
Marek Bugdol, Kazimierz Nagody-Mrozowicz
Paperback
R1,279
Discovery Miles 12 790
New Theory and Practice of Transactional…
Sari Van Poelje, Anne De Graaf
Paperback
R1,036
Discovery Miles 10 360
Organizational Reliability - Human…
Agnieszka Bienkowska, Katarzyna Tworek, …
Paperback
R1,297
Discovery Miles 12 970
Rethinking Work - Essays on Building a…
David L. Blustein, Lisa Y. Flores
Hardcover
R3,833
Discovery Miles 38 330
Organization Development And Change
Thomas Cummings, Christopher Worley, …
Paperback
![]()
Age and Work - Advances in Theory…
Hannes Zacher, Cort W. Rudolph
Hardcover
History in Management and Organization…
Behlul UEsdiken, Matthias Kipping
Paperback
R1,281
Discovery Miles 12 810
Cognitive Automation and Organizational…
Kayla Sergent, Alexander D Stajkovic
Paperback
R1,289
Discovery Miles 12 890
|