|
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465399503316 |
|
|
Titolo |
Objects, Components, Models, Patterns [[electronic resource] ] : 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011, Proceedings / / edited by Judith Bishop, Antonio Vallecillo |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2011.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 307 p. 110 illus., 24 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 6705 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer logic |
Programming languages (Electronic computers) |
Computer programming |
Mathematical logic |
Computer communication systems |
Software Engineering |
Logics and Meanings of Programs |
Programming Languages, Compilers, Interpreters |
Programming Techniques |
Mathematical Logic and Formal Languages |
Computer Communication Networks |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 49th International Conference on Objects, Models, Components, Patterns, held in Zurich, Switzerland, in June 2011. The 19 revised full papers presented together with the abstracts of 2 invited papers were carefully reviewed and selected from a total of 68 submissions. The papers discuss all aspects of object technology and related fields, in particular model-based development, component-based development, language implementation and patterns, in a holistic way. The conference has a |
|
|
|
|
|
|
|
|
|
|
strong practical bias, without losing sight of the importance of correctness and performance. |
|
|
|
|
|
| |