LEADER 01431nam 2200397 450 001 996205890203316 005 20230424132613.0 010 $a0-7695-4384-7 035 $a(CKB)2560000000079981 035 $a(NjHacI)992560000000079981 035 $a(EXLCZ)992560000000079981 100 $a20230424d2010 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$a2010 Workshop on Model-Driven Engineering, Verification, and Validation /$fLevi Lu?cio, Elisangela Vieira and Stephan Weissleder 210 1$aPiscataway, New Jersey :$cInstitute of Electrical and Electronics Engineers (IEEE),$d2010. 215 $a1 online resource (various pagings) $cillustrations 311 $a1-61284-862-1 517 $aModel-Driven Engineering, Verification, and Validation 606 $aComputer software$xDevelopment$vCongresses 606 $aModel-driven software architecture$vCongresses 615 0$aComputer software$xDevelopment 615 0$aModel-driven software architecture 676 $a005.1 700 $aLu?cio$b Levi$0997307 702 $aWeissleder$b Stephan 702 $aVieira$b Elisangela 801 0$bNjHacI 801 1$bNjHacl 906 $aPROCEEDING 912 $a996205890203316 996 $a2010 Workshop on Model-Driven Engineering, Verification, and Validation$93088712 997 $aUNISA