LEADER 01924oam 2200481 a 450 001 9910702836303321 005 20100120104558.0 035 $a(CKB)3460000000111395 035 $a(OCoLC)426513827 035 $a(EXLCZ)993460000000111395 100 $a20090720d2009 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aImmigration enforcement at the workplace$b[electronic resource] $elearning from the mistakes of 1986 : hearing before the Subcommittee on Immigration, Border Security, and Citizenship of the Committee on the Judiciary, United States Senate, One Hundred Ninth Congress, second session, June 19, 2006 210 1$aWashington :$cU.S. G.P.O.,$d2009. 215 $aiv, 167 pages $cdigital, PDF file 225 1 $aS. hrg. ;$v109-1060 300 $aTitle from title screen (viewed on July 20, 2009). 300 $a"Serial no. J-109-87." 320 $aIncludes bibliographical references. 517 $aImmigration enforcement at the workplace 606 $aForeign workers$xGovernment policy$zUnited States 606 $aForeign worker certification$zUnited States 606 $aEmployee screening$xGovernment policy$zUnited States 606 $aEmployees$zUnited States$xIdentification$xData processing 606 $aFalse certification$zUnited States$xPrevention 606 $aIllegal immigration 615 0$aForeign workers$xGovernment policy 615 0$aForeign worker certification 615 0$aEmployee screening$xGovernment policy 615 0$aEmployees$xIdentification$xData processing. 615 0$aFalse certification$xPrevention. 615 0$aIllegal immigration. 801 0$bGPO 801 1$bGPO 801 2$bGPO 906 $aBOOK 912 $a9910702836303321 996 $aImmigration enforcement at the workplace$93516225 997 $aUNINA LEADER 03434oam 2200505I 450 001 9910165051203321 005 20240505201531.0 010 $a1-315-36815-3 010 $a1-315-35118-8 024 7 $a10.1201/9781315368153 035 $a(CKB)3710000001060374 035 $a(MiAaPQ)EBC4807052 035 $a(OCoLC)940284176 035 $a(EXLCZ)993710000001060374 100 $a20180331h20172017 uy 0 101 0 $aeng 135 $aurcn#nnn||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAgile model-based development using UML-RSDS /$fKevin Lano, Department of Informatics, King's College London, London, United Kingdom 205 $a1st ed. 210 1$aBoca Raton, Fla. :$cCRC Press, Taylor & Francis Group,$d[2017] 210 4$dİ2017 215 $a1 online resource (xi, 373 pages) $cillustrations 300 $aA Science Publishers Book. 311 08$a1-4987-5222-5 311 08$a1-4987-5223-3 320 $aIncludes bibliographical references and index. 327 $a1: 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. 330 $aThis 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. 606 $aAgile software development 606 $aUML (Computer science) 606 $aModel-integrated computing 615 0$aAgile software development. 615 0$aUML (Computer science) 615 0$aModel-integrated computing. 676 $a005.1 700 $aLano$b K.$0896245 801 0$bFlBoTFG 801 1$bFlBoTFG 906 $aBOOK 912 $a9910165051203321 996 $aAgile model-based development using UML-RSDS$92002052 997 $aUNINA