From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

OR-ATP: An Operation Refinement Approach As a Process of Automatic Theorem Proving OR-ATP: An Operation Refinement Approach As a Process of Automatic Theorem Proving, , , , , и . Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on, 3, стр. 1078--1083. (2007)Formal behavior modeling and effective automatic refinement., , , и . Inf. Sci., 180 (20): 3894-3913 (2010)Model Driven Development of Complex User Interface., и . MDDAUI@MoDELS, том 297 из CEUR Workshop Proceedings, CEUR-WS.org, (2007)A Formal Approach to Specifying Architecture Aspects and Their Weaving logic., и . SNPD (2), стр. 640-645. IEEE Computer Society, (2007)A Model of User Interface Design and Its Code Generation., , и . IRI, стр. 128-133. IEEE Systems, Man, and Cybernetics Society, (2007)User Interface Design Model., и . SNPD (3), стр. 538-543. IEEE Computer Society, (2007)An Approach to Separating Security Concerns in E-Commerce Systems at the Architecture Level., и . ISECS, стр. 749-753. IEEE Computer Society, (2008)An agilely adaptive User Interface based on Design Pattern., , и . ISDA (1), стр. 1117-1122. IEEE Computer Society, (2006)Multi-device User Interface Development with Composition-oriented User Interface Design Patterns., и . SNPD (3), стр. 605-610. IEEE Computer Society, (2007)Formalization of Architecture-Centric Model Mapping Using Category Theory., , и . SNPD (1), стр. 670-675. IEEE Computer Society, (2007)