Reliable Software Technologies - Ada-Europe 2011 [electronic resource] :16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings / edited by Alexander Romanovsky, Tullio Vardanega.
by Romanovsky, Alexander [editor.]; Vardanega, Tullio [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 6652Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.Description: XIII, 227p. online resource.ISBN: 9783642213380.Subject(s): Computer science | Computer Communication Networks | Software engineering | Logic design | Computer Science | Programming Languages, Compilers, Interpreters | Software Engineering | Logics and Meanings of Programs | Computer Communication Networks | Programming Techniques | Mathematical Logic and Formal LanguagesDDC classification: 005.13 Online resources: Click here to access online
In:
Springer eBooksSummary: This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invited contributions were carefully reviewed and selected from 30 submissions. Topics of interest to the conference are methods and techniques for software development and maintenance ; software architectures; enabling technologies; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; experience reports; the future of Ada.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| QA76.76.C65 (Browse shelf) | Available | ||||
| Long Loan | MAIN LIBRARY | QA76.7-76.73 (Browse shelf) | Available |
Close shelf browser
| QA76.76.C65 Programming Languages and Systems | QA76.76.C65 Practical Aspects of Declarative Languages | QA76.76.C65 Languages and Compilers for Parallel Computing | QA76.76.C65 Reliable Software Technologies - Ada-Europe 2011 | QA76.76.C65 Trends in Functional Programming | QA76.76.C65 The NCL Natural Constraint Language | QA76.76.C65 Programming Languages and Systems |
This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invited contributions were carefully reviewed and selected from 30 submissions. Topics of interest to the conference are methods and techniques for software development and maintenance ; software architectures; enabling technologies; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; experience reports; the future of Ada.
There are no comments for this item.