Objects, Models, Components, Patterns [electronic resource] :50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings / edited by Carlo A. Furia, Sebastian Nanz.
by Furia, Carlo A [editor.]; Nanz, Sebastian [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 7304Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.Description: XI, 372p. online resource.ISBN: 9783642305610.Subject(s): Computer science | Computer Communication Networks | Software engineering | Logic design | Computer Science | Software Engineering | Logics and Meanings of Programs | Programming Languages, Compilers, Interpreters | Programming Techniques | Mathematical Logic and Formal Languages | Computer Communication NetworksDDC classification: 005.1 Online resources: Click here to access online
In:
Springer eBooksSummary: This book constitutes the refereed proceedings of the 50th International Conference on Objects, Models, Components, Patterns, TOOLS Europe 2012, held in Prague, Czech Republic, during May 29-31,2012. The 24 revised full papers presented were carefully reviewed and selected from 77 submissions. The papers discuss all aspects of object technology and related fields and demonstrate practical applications backed up by formal analysis and thorough experimental evaluation. In particular, every topic in advanced software technology is adressed the scope of TOOLS.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| MAIN LIBRARY | QA76.758 (Browse shelf) | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
| QA76.758 Agile Processes in Software Engineering and Extreme Programming | QA76.758 Tests and Proofs | QA76.758 Theory and Practice of Model Transformations | QA76.758 Objects, Models, Components, Patterns | QA76.758 Software Composition | QA76.758 Dependable Networks and Services | QA76.758 Integrated Formal Methods |
This book constitutes the refereed proceedings of the 50th International Conference on Objects, Models, Components, Patterns, TOOLS Europe 2012, held in Prague, Czech Republic, during May 29-31,2012. The 24 revised full papers presented were carefully reviewed and selected from 77 submissions. The papers discuss all aspects of object technology and related fields and demonstrate practical applications backed up by formal analysis and thorough experimental evaluation. In particular, every topic in advanced software technology is adressed the scope of TOOLS.
There are no comments for this item.