01524nam 2200505 450 9910136905603321958-716-868-2(CKB)3710000000722377(MiAaPQ)EBC4536750(OCoLC)984772964(FlNmELB)ELB69539(EXLCZ)99371000000072237720160712d2014 uy 0spaurcnu||||||||rdacontentrdamediardacarrierAntología Kodály ColombianaII /Alejandro Luis Zuleta JaramilloBogotá :Editorial Pontificia Universidad Javeriana,[2014]1 online resource (344 páginas)Colección Libros de investigaciónContiene índice.958-716-709-0 Contiene bibliografía.Colección Libros de investigación.Antología kodály colombiana 2Antología kodály colombiana dosMusic appreciationApreciación musicalMusicMúsicaLibros electronicos.Music appreciation.Apreciación musical.Music.Música.781Zuleta Jaramillo Alejandro Luis1206937FINmELBFINmELBBOOK9910136905603321Antología Kodály Colombiana2784120UNINA03448oam 2200505I 450 991016505120332120191212081647.01-315-36815-31-315-35118-810.1201/9781315368153 (CKB)3710000001060374(MiAaPQ)EBC4807052(OCoLC)940284176(EXLCZ)99371000000106037420180331h20172017 uy 0engurcn#nnn|||||txtrdacontentcrdamediacrrdacarrierAgile model-based development using UML-RSDS /Kevin Lano, Department of Informatics, King's College London, London, United KingdomBoca Raton, Fla. :CRC Press, Taylor & Francis Group,[2017]©20171 online resource (xi, 373 pages) illustrationsA Science Publishers Book.1-4987-5222-5 1-4987-5223-3 Includes bibliographical references and index.1: Introduction -- 2: Overview of Development Using UML-RSDS -- 3: Class Diagrams -- 4: Constraints -- 5: Use Cases -- 6: Design Synthesis -- 7: Model Transformations -- 8: Case Study: Resource Scheduler -- 9: Design Patterns and Refactorings -- 10: System Composition and Reuse -- 11: Migration Transformations -- 12: Refinement and Enhancement Transformations -- 13: Refactoring and Update-in-place Transformations -- 14: Bidirectional and Incremental Transformations -- 15: Backtracking and Exploratory Transformations -- 16: Agile Development and Model-based Development -- 17: Requirements Analysis and Specification -- 18: System Verification -- 19: Reactive System Development with UML-RSDS -- 20: Enterprise Systems Development with UML-RSDS -- 21: Applications of UML-RSDS in Education and Industry -- Appendix: A: UML-RSDS Syntax -- A.1 OCL expression syntax -- A.2 Activity language syntax -- B: UML-RSDS tool architecture and components -- C: Key principles of UML-RSDS.This book describes the concepts and application of model-based development (MBD), model transformations, and Agile MBD to a wide range of software systems. It covers systems requirements engineering, system specification and design, verification, reuse, and system composition in the context of Agile MBD. Examples of applications in finance, system migration, internet systems and software refactoring are given. An established open-source MBD technology, UML-RSDS, is used throughout to illustrate the concepts. The book is suitable for industrial practitioners who need training in Agile MBD, and those who need to understand the issues to be considered when introducing MBD in an industrial context. It is also suitable for academic researchers, and for use as text for undergraduate or postgraduate courses in MBD. Examples for educational use of UML-RSDS are included in the book.Agile software developmentUML (Computer science)Model-integrated computingElectronic books.Agile software development.UML (Computer science)Model-integrated computing.005.1Lano K.896245FlBoTFGFlBoTFGBOOK9910165051203321Agile model-based development using UML-RSDS2002052UNINA01031nam2 22002893i 450 UMC009892420231121125912.0392157567220151016d1992 ||||0itac50 balatdez01i xxxe z01n1: Libri 1- 7rist. anastMunchenMonumenta Germaniae historica1992490 p.30 cmRipr. facs. dell'edizione: Berolini : apud Weidmennos, 1891.001UMC00989232001 Gregorii 1. papae registrum epistolarumediderunt Paulus Ewald et Ludovicus M. Hartmann1ITIT-0120151016IT-FR0017 Biblioteca umanistica Giorgio ApreaFR0017 UMC0098924Biblioteca umanistica Giorgio Aprea 52CIS MGH Da 1 52VM 0000436405 VM barcode:00004095. - Inventario:1994 FLSVMB 2004050620121204 52161339UNICAS