Mohammad Reza Nami

17 papers C 4Misc 2Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2010 J jnl
Investigating a new formal model for autonomous virtual organisation using RAISE method.
Int. J. Netw. Virtual Organisations
Mohammad Reza Nami, Seyed Naser Hashemi
2010 Misc conf
Multi-Agent Systems: A Survey.
PDPTA
Delaram Yazdansepas, Mohammad Reza Nami
2010 J jnl
Self-* e-nursing: a new idea in nursing.
ACM SIGSOFT Softw. Eng. Notes
Mohammad Reza Nami, Jila Saneipour
2009 J jnl
A comparative evaluation of the Z, CSP, RSL, and VDM languages.
ACM SIGSOFT Softw. Eng. Notes
Mohammad Reza Nami, Fatemeh Hassani
2009 J jnl
A comparative introduction to CSP and ACT-ONE formal languages.
ACM SIGSOFT Softw. Eng. Notes
Mohammad Reza Nami, Bahareh Sheikh-Abbasi, Marjaneh Khoshandam
2009 C conf
E-Banking: Issues and Challenges.
SNPD
Mohammad Reza Nami
2009 J jnl
Investigating a new formal model for a library system using B method.
ACM SIGSOFT Softw. Eng. Notes
Mohammad Reza Nami, Hamid Razavi, Milad Saeedi, Navid Shahidi
2008 J jnl
A comparison of object-oriented languages in software engineering.
ACM SIGSOFT Softw. Eng. Notes
Mohammad Reza Nami
2008 C conf
Formal specification of a particular banking domain with RAISE specification language.
ISCC
Mohammad Reza Nami, Abbas Malekpour
2008 — conf
Virtual Organizations: An Overview.
IIP
Mohammad Reza Nami
2008 Misc conf
Virtual Organizations: Issues and Challenges.
PDPTA
Mohammad Reza Nami, Abbas Malekpour
2008 — conf
Virtual Organizations: Trends and Models.
IIP
Mohammad Reza Nami, Abbas Malekpour
2007 C conf
A Preliminary Formal Specification of Virtual Organization Creation with RAISE Specification Language.
SERA
Mohammad Reza Nami, Mohsen Sharifi, Abbas Malekpour
2007 J jnl
Applying domain engineering using RAISE into a particular banking domain.
ACM SIGSOFT Softw. Eng. Notes
Mohammad Reza Nami, Mehdi Sagheb-Tehrani, Mohsen Sharifi
2007 — conf
Autonomic Computing: A New Approach.
Asia International Conference on Modelling and Simulation
Mohammad Reza Nami, Mohsen Sharifi
2007 C conf
Virtual Organization: A New Approach in IT.
CIT
Mohammad Reza Nami, Djamshid Tavangarian
2006 — conf
A Survey of Autonomic Computing Systems.
IIP
Mohammad Reza Nami, Mohsen Sharifi