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 IDe1570374-cc73-6ac5-1e6b-09922108799e
Grouping Titletools and algorithms for the construction and analysis of systems 11th international conference taca
Grouping Authornicolas halbwachs lenore d zuck
Grouping Categorybook
Last Grouping Update2019-12-03 18:02:10PM
Last Indexed2019-12-14 03:31:38AM

Solr Details

accelerated_reader_point_value0
accelerated_reader_reading_level0
auth_author2Halbwachs, Nicolas.
Zuck, Lenore D., 1958-
author2-roleHalbwachs, Nicolas.
SpringerLink (Online service)
Zuck, Lenore D.,1958-
author_display
available_at_ccuCCU Electronic Resources
detailed_location_ccuCCU 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_ccueBook
format_ccueBook
ide1570374-cc73-6ac5-1e6b-09922108799e
isbn9783540319801
item_details
Bib IdItem IdShelf LocCall NumFormatFormat CategoryNum CopiesIs Order ItemIs eContenteContent SourceeContent FileeContent URLsubformatDetailed StatusLast CheckinLocationSub-location
external_econtent:ils:.b29636395.i71760441CCU Electronic ResourceseBookeBook1falsetrueSpringerLink CCU Purchasehttp://ezproxy.ccu.edu/login?url=http://dx.doi.org/10.1007/b107194CCU AccessAvailable Onlinecceb
itype_ccuE-book
last_indexed2019-12-14T10:31:38.948Z
lexile_score-1
literary_formNon Fiction
literary_form_fullNon Fiction
owning_library_ccuColorado Christian University Online
owning_location_ccuCCU Electronic Resources
primary_isbn9783540319801
publishDate2005
record_details
Bib IdFormatFormat CategoryEditionLanguagePublisherPublication DatePhysical Description
external_econtent:ils:.b29636395eBookeBookEnglishSpringer, 2005.1 online resource (xvii, 585 pages) : illustrations.
recordtypegrouped_work
scoping_details_ccu
Bib IdItem IdGrouped StatusStatusLocally OwnedAvailableHoldableBookableIn Library Use OnlyLibrary OwnedHoldable PTypesBookable PTypesLocal Url
external_econtent:ils:.b29636395.i71760441Available OnlineAvailable Onlinefalsetruefalsefalsefalsetrue
seriesLecture notes in computer science
series_with_volumeLecture notes in computer science|3440
subject_facetAutomatisches 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_displayTools 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_fullTools 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_shortTools and algorithms for the construction and analysis of systems
title_sub11th 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_facetAutomatisches 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