Tools and algorithms for the construction and analysis of systems: 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings

Book Cover
Publisher:
Springer,
Pub. Date:
2005.
Language:
English
Description
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials. We received over 550 submissions to the ?ve conferences this year, giving acceptance rates below 30% for each one. Congratulations to all the authors who made it to the ?nal program! I hope that most of the other authors still found a way of participating in this exciting event and I hope you will continue submitting. 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,andtheemphasisonsoftwareisnotintendedtobeexclusive.
More Copies In Prospector
Loading Prospector Copies...
More Like This
Staff View

Grouping Information

Grouped Work ID e1570374-cc73-6ac5-1e6b-09922108799e
Grouping Title tools and algorithms for the construction and analysis of systems 11th international conference taca
Grouping Author nicolas halbwachs lenore d zuck
Grouping Category book
Last Grouping Update 2018-10-10 01:06:21AM
Last Indexed 2019-03-24 05:07:33AM

Solr Details

accelerated_reader_interest_level
accelerated_reader_point_value 0
accelerated_reader_reading_level 0
auth_author2 Halbwachs, Nicolas., Zuck, Lenore D., 1958-
author2-role Halbwachs, Nicolas., SpringerLink (Online service), Zuck, Lenore D.,1958-
author_display
available_at_ccu CCU Electronic Resources
detailed_location_ccu CCU Electronic Resources
display_description "This volume contains the proceedings of the 11th TACAS, International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2005 took place in Edinburgh, UK, April 4-8, 2005."
format_category_ccu eBook
format_ccu eBook
id e1570374-cc73-6ac5-1e6b-09922108799e
isbn 9783540319801
item_details external_econtent:ils:.b29636395|.i71760441|CCU Electronic Resources||eBook|eBook|1|false|true|SpringerLink||http://ezproxy.ccu.edu/login?url=http://dx.doi.org/10.1007/b107194||Available Online||cceb||
itype_ccu E-book
last_indexed 2019-03-24T11:07:33.241Z
lexile_score -1
literary_form Non Fiction
literary_form_full Non Fiction
owning_library_ccu Colorado Christian University Online
owning_location_ccu CCU Electronic Resources
primary_isbn 9783540319801
publishDate 2005
record_details external_econtent:ils:.b29636395|eBook|eBook||English|Springer,|2005.|1 online resource (xvii, 585 pages) : illustrations.
recordtype grouped_work
scoping_details_ccu
Bib IdItem IdGrouped StatusStatusLocally OwnedAvailableHoldableBookableIn Library Use OnlyLibrary OwnedHoldable PTypesBookable PTypesLocal Url
external_econtent:ils:.b29636395 .i71760441 Available Online Available Online false true false false false true
series Lecture notes in computer science
series_with_volume Lecture notes in computer science|3440
subject_facet Automatisches Beweisverfahren, COMPUTERS -- Programming -- Open Source, COMPUTERS -- Software Development & Engineering -- General, COMPUTERS -- Software Development & Engineering -- Tools, Computer software -- Development, Computer software -- Development -- Congresses, Conference papers and proceedings, Congresses, Edinburgh (2005), Informatique, Kongress, Logiciels -- Développement -- Congrès, Model Checking, Programmverifikation, Softwareentwicklung, Softwarespezifikation, System design, System design -- Congresses, Systementwicklung, Systèmes, Conception de -- Congrès
title_display Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
title_full Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / Nicolas Halbwachs, Lenore D. Zuck (eds.)
title_short Tools and algorithms for the construction and analysis of systems :
title_sub 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
topic_facet Automatisches Beweisverfahren, COMPUTERS, Computer software, Development, Développement, General, Informatique, Logiciels, Model Checking, Open Source, Programming, Programmverifikation, Software Development & Engineering, Softwareentwicklung, Softwarespezifikation, System design, Systementwicklung, Systèmes, Conception de, Tools