LEADER 01670nas 2200445-a 450 001 996211971803316 005 20240413024353.0 035 $a(CKB)111021048324058 035 $a(CONSER)sn-89006488- 035 $a(EXLCZ)99111021048324058 100 $a19850517a19uu9999 --- a 101 0 $aeng 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aFederal computer market report $ea comprehensive management analysis and market listing of government computer procurements 210 $aAnnandale, Va. $cComputer Age 215 $a1 online resource 311 $aPrint version: Federal computer market report : (DLC)sn 89006488 (OCoLC)12048849 1042-721X 606 $aGovernment purchasing$zUnited States$vPeriodicals 606 $aPublic contracts$zUnited States$vPeriodicals 606 $aAdministrative agencies$zUnited States$xData processing$vPeriodicals 606 $aAdministrative agencies$xData processing$2fast$3(OCoLC)fst00796749 606 $aGovernment purchasing$2fast$3(OCoLC)fst00945538 606 $aPublic contracts$2fast$3(OCoLC)fst01082170 607 $aUnited States$2fast 608 $aPeriodicals.$2fast 615 0$aGovernment purchasing 615 0$aPublic contracts 615 0$aAdministrative agencies$xData processing 615 7$aAdministrative agencies$xData processing. 615 7$aGovernment purchasing. 615 7$aPublic contracts. 676 $a353 701 $aCasolaro$b J. Daniel$01021202 906 $aJOURNAL 912 $a996211971803316 920 $aexl_impl conversion 996 $aFederal computer market report$92419804 997 $aUNISA LEADER 04446nam 22007695 450 001 9910736984603321 005 20230803163746.0 010 $a9783031388217 010 $a3031388216 024 7 $a10.1007/978-3-031-38821-7 035 $a(MiAaPQ)EBC30674583 035 $a(CKB)27922762200041 035 $a(Au-PeEL)EBL30674583 035 $a(DE-He213)978-3-031-38821-7 035 $a(PPN)272262323 035 $a(OCoLC)1393186077 035 $a(EXLCZ)9927922762200041 100 $a20230803d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aModel-Driven Engineering and Software Development $e9th International Conference, MODELSWARD 2021, Virtual Event, February 8?10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6?8, 2022, Revised Selected Papers /$fedited by Luís Ferreira Pires, Slimane Hammoudi, Edwin Seidewitz 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (268 pages) 225 1 $aCommunications in Computer and Information Science,$x1865-0937 ;$v1708 311 08$a9783031388200 327 $aA Digital Twin Description Framework and its Mapping to Asset Administration Shell -- Acknowledging Implementation Trade-offs when Developing with Units of Measurement -- HERO vs Zombie: Destroying Zombie Guests in Virtual Machine Environments -- Multi-view FMEA Re-Validation: Efficient Risk and Engineering Knowledge Integration in Agile Production Systems Engineering -- PSCS4CPP: A Generative PSCS Implementation for C++ -- Dependency Graphs to Boost the Verification of SysML Models -- Decomposable and Executable Models for Verification of Real-Time Systems -- Comparing Goal-oriented Analysis Techniques: A Controlled Experiment -- A Methodological Framework for SPL Engineering from DSML -- W-Sec: a Model-based Formal Method for Assessing the Impacts of Security Countermeasures -- Managing Schema Migration in NoSQL Databases: Advisor Heuristics vs. Self-adaptive Schema Migration Strategies. 330 $aThis book constitutes the refereed post-proceedings of the 9th International Conference and 10th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2021 and MODELSWARD 2022, was held virtually due to the COVID-19 crisis on February 8?10, 2021 and February 6?8, 2022. The 11 full papers included in this book were carefully reviewed and selected from 121 submissions. The purpose of the International Conference on model-driven engineering and software development is to provide a platform for researchers, engineers, academics as well as industrial professionals from all over the world to present their research results and development activities in using models and model driven engineering techniques for system development. 410 0$aCommunications in Computer and Information Science,$x1865-0937 ;$v1708 606 $aSoftware engineering 606 $aComputer systems 606 $aComputers, Special purpose 606 $aProgramming languages (Electronic computers) 606 $aComputer programming 606 $aArtificial intelligence 606 $aSoftware Engineering 606 $aComputer System Implementation 606 $aSpecial Purpose and Application-Based Systems 606 $aProgramming Language 606 $aProgramming Techniques 606 $aArtificial Intelligence 615 0$aSoftware engineering. 615 0$aComputer systems. 615 0$aComputers, Special purpose. 615 0$aProgramming languages (Electronic computers) 615 0$aComputer programming. 615 0$aArtificial intelligence. 615 14$aSoftware Engineering. 615 24$aComputer System Implementation. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aProgramming Language. 615 24$aProgramming Techniques. 615 24$aArtificial Intelligence. 676 $a005.1 700 $aPires$b Luís Ferreira$01381737 701 $aHammoudi$b Slimane$0846214 701 $aSeidewitz$b Edwin$01381738 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910736984603321 996 $aModel-Driven Engineering and Software Development$93424587 997 $aUNINA