This book constitutes the thoroughly refereed post-proceedings of the IST/FET International Workshop on Global Computing, ...
اقرأ المزيدJava design patterns are reusable and proven solutions to software design problems. This book covers over 60 battle-tested ...
اقرأ المزيدThe Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...
اقرأ المزيدHuman-CenteredSoftwareEngineering: BridgingHCI,UsabilityandSoftwareEngineering From its beginning in the 1980’s, the ...
اقرأ المزيدThe 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ¨ ...
اقرأ المزيدAsia Information Retrieval Symposium (AIRS) 2006 was the third AIRS conf- ence in the series established in 2004.The ?rst ...
اقرأ المزيدInnovative Techniques in Instruction Technology, E-Learning, E-Assessment and Education is a collection of world-class paper ...
اقرأ المزيدOne of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
اقرأ المزيدThis book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications ...
اقرأ المزيدThis book considers the potential and limitations of the various mathematical approaches and thereby aims to give a balanced ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer ...
اقرأ المزيدConstitutes the refereed post-proceedings of the Metainformatics Symposium, MIS 2004, held in Salzburg, Austria. This book ...
اقرأ المزيدModel-Driven Architecture (MDA) is an initiative proposedby the Object M- agement Group (OMG) for platform-generic software ...
اقرأ المزيدConstitutes the refereed proceedings of the First European Conference, Workshops on Model Driven Architecture - Foundations ...
اقرأ المزيدGaševic and his co-authors try to fill this gap by covering the subject of MDA application for ontology development on the ...
اقرأ المزيدThis book constitutes the refereed proceedings of the Third European Conference on Model Driven Architecture: Foundations ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...
اقرأ المزيدConstitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS ...
اقرأ المزيد