Seyed-Hassan Mirian-Hosseinabadi

Seyed Hassan Mirian

	2012
j6		Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi: Towards a Calculus for Nondeterministic Schemas in Z. International Journal of Software Engineering and Knowledge Engineering 22(6): 839- (2012)
j5		Alireza Sadeghi, Seyed-Hassan Mirian-Hosseinabadi: Mbtdd: Model Based Test Driven Development. International Journal of Software Engineering and Knowledge Engineering 22(8): 1085-1102 (2012)
c9		Maryam Bagheri, Seyed-Hassan Mirian-Hosseinabadi, Hoda Mashayekhi, Jafar Habibi: Mining Distributed Frequent Itemsets Using a Gossip Based Protocol. UIC/ATC 2012: 780-785
	2011
c8		Amir Jahangard Rafsanjani, Seyed-Hassan Mirian-Hosseinabadi: A Z Approach to Formalization and Validation of ORM Models. DEIS 2011: 513-526
	2010
c7		Mohammad Tanhaei, Shahrouz Moaven, Jafar Habibi, Seyed Hassan Mirian: Architectural Driven Approach for Software Product Line Testing. Software Engineering Research and Practice 2010: 198-204
	2009
j4		Nima Roohi, Gwen Salaün, Seyed-Hassan Mirian-Hosseinabadi: Analyzing Chor Specifications by Translation into FSP. Electr. Notes Theor. Comput. Sci. 255: 159-176 (2009)
c6		Zahra Aghakasiri, Seyed-Hassan Mirian-Hosseinabadi: Workflow Change Patterns: Opportunities for Extension and Reuse. SERA (selected papers) 2009: 265-275
	2008
j3		Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi: Nondeterminism in Constructive Z. Fundam. Inform. 88(1-2): 109-134 (2008)
c5		Hossein Keramati, Seyed-Hassan Mirian-Hosseinabadi: Integrating software development security activities with agile methodologies. AICCSA 2008: 749-754
c4		Hamid Bagheri, Vajih Montaghami, Gholamreza Safi, Seyed-Hassan Mirian-Hosseinabadi: An evaluation method for aspectual modeling of distributed software architectures. AICCSA 2008: 903-908
c3		Amir Jahangard Rafsanjani, Seyed-Hassan Mirian-Hosseinabadi: RIAL: Redundancy Reducing Inlining Algorithm to Map XML DTD to Relations. CIMCA/IAWTIC/ISE 2008: 25-30
	2007
c2		Hamid Bagheri, Seyed-Hassan Mirian-Hosseinabadi, Hesam Chiniforooshan Esfahani: An Aspect Enhanced Method of NFR Modeling in Software Architecture. ICIT 2007: 240-242
	2006
j2		Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi: An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types. Electr. Notes Theor. Comput. Sci. 159: 117-137 (2006)
c1		Hesam Chiniforooshan Esfahani, Seyed-Hassan Mirian-Hosseinabadi: A Scalable Agent-Based Workflow Management System for Business Process Management Environments. Multiagent Systems and Software Architecture 2006: 59-70
	1998
j1		Seyed-Hassan Mirian-Hosseinabadi, Raymond Turner: Constructive Z. J. Log. Comput. 8(1): 49-70 (1998)

Coauthor Index

Colors in the list of coauthors

Last update Sat May 18 12:55:01 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page