{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":36,"n_cols":5,"rows_kept":36,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[10,2,10,3],[12,2,12,3],[13,2,13,3],[15,2,15,3],[15,4,15,5],[16,2,16,3],[16,4,16,5],[17,2,17,3],[17,4,17,5],[18,2,18,3],[19,2,19,3],[20,2,20,3],[21,2,21,3],[22,2,22,3],[23,2,23,3],[29,2,29,3],[30,2,30,3],[33,2,33,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA990008285590403321"]
[null,null,"Autore",null,"Haviland, Keith Frank"]
[null,null,"Titolo",null,"Unix system programming : a programmer's guide to software development / Keith Haviland, Dina Gray, Ben Salama"]
[null,null,"Pubbl/distr/stampa",null,"Reading [Mass.] : Addison-Wesley, c1998"]
[null,null,"ISBN",null,"0-201-87758-9"]
[null,null,"Edizione",null,"[2nd ed.]"]
[null,null,"Descrizione fisica",null,"xx, 350 p. : ill. ; 24 cm"]
[null,null,"Disciplina",null,"005.43"]
[null,null,"Locazione",null,"SC1"]
[{"$nulls":4},"FINBC"]
[null,null,"Collocazione",null,"005.43-HAV-1"]
[{"$nulls":4},"13 L 25 39"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"2.","Record Nr.",null,"UNINA9910254818603321"]
[null,null,"Autore",null,"Rumpe Bernhard"]
[null,null,"Titolo",null,"Agile Modeling with UML : Code Generation, Testing, Refactoring / / by Bernhard Rumpe"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017"]
[null,null,"ISBN",null,"3-319-58862-1"]
[null,null,"Edizione",null,"[1st ed. 2017.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIII, 388 p. 176 illus., 101 illus. in color.)"]
[null,null,"Disciplina",null,"005.117"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Management information systems"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Software Management"]
[{"$nulls":4},"Management of Computing and Information Systems"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"1 Introduction -- 2 Agile and UML-Based Methodology -- 3 Compact Overview of UML/P -- 4 Principles of Code Generation -- 5 Transformations for Code Generation -- 6 Principles of Testing with Models -- 7 Model-Based Tests -- 8 Design Patterns for Testing -- 9 Refactoring as a Model Transformation -- 10 Refactoring of Models -- 11 Summary, Further Reading and Outlook."]
[null,null,null,"Sommario/riassunto","This book focuses on the methodological treatment of UML/P and addresses three core topics of model-based software development: code generation, the systematic testing of programs using a model-based definition of test cases, and the evolutionary refactoring and transformation of models. For each of these topics, it first details the foundational concepts and techniques, and then presents their application with UML/P. This separation between basic principles and applications makes the content more accessible and allows the reader to transfer this knowledge directly to other model-based approaches and languages. After an introduction to the book and its primary goals in Chapter 1, Chapter 2 outlines an agile UML-based approach using UML/P as the primary development language for creating executable models, generating code from the models, designing test cases, and planning iterative evolution through refactoring. In the interest of "]
[{"$nulls":4},"completeness, Chapter 3 provides a brief summary of UML/P, which is used throughout the book. Next, Chapters 4 and 5 discuss core techniques for code generation, addressing the architecture of a code generator and methods for controlling it, as well as the suitability of UML/P notations for test or product code.  Chapters 6 and 7 then discuss general concepts for testing software as well as the special features which arise due to the use of UML/P. Chapter 8 details test patterns to show how to use UML/P diagrams to define test cases and emphasizes in particular the use of functional tests for distributed and concurrent software systems. In closing, Chapters 9 and 10 examine techniques for transforming models and code and thus provide a solid foundation for refactoring as a type of transformation that preserves semantics. Overall, this book will be of great benefit for practical software development, for academic training in the field of Software Engineering, and for research in the area of model-based software development. Practitioners will learn how to use modern model-based techniques to improve the production of code and thus significantly increase quality. Students will find both important scientific basics as well as direct applications of the techniques presented. And last but not least, the book will offer scientists a comprehensive overview of the current state of development in the three core topics it covers."]