01431nam 2200397 450 99620589020331620230424132613.00-7695-4384-7(CKB)2560000000079981(NjHacI)992560000000079981(EXLCZ)99256000000007998120230424d2010 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrier2010 Workshop on Model-Driven Engineering, Verification, and Validation /Levi Lúcio, Elisangela Vieira and Stephan WeisslederPiscataway, New Jersey :Institute of Electrical and Electronics Engineers (IEEE),2010.1 online resource (various pagings) illustrations1-61284-862-1 Model-Driven Engineering, Verification, and Validation Computer softwareDevelopmentCongressesModel-driven software architectureCongressesComputer softwareDevelopmentModel-driven software architecture005.1Lúcio Levi997307Weissleder StephanVieira ElisangelaNjHacINjHaclPROCEEDING9962058902033162010 Workshop on Model-Driven Engineering, Verification, and Validation3088712UNISA