Seyed-Hasan Mirian-Hosseinabadi
Seyed-Hasan Mirian-Hosseinabadi
Associate Professor of Computer Science, Sharif University of Technology
Verified email at - Homepage
Cited by
Cited by
Integrating software development security activities with agile methodologies
H Keramati, SH Mirian-Hosseinabadi
2008 IEEE/ACS International Conference on Computer Systems and Applications …, 2008
Constructive Z
SH Mirian-Hosseinabadi, R Turner
Journal of Logic and Computation 8 (1), 49-70, 1998
Incorporating fault-proneness estimations into coverage-based test case prioritization methods
M Mahdieh, SH Mirian-Hosseinabadi, K Etemadi, A Nosrati, S Jalali
Information and Software Technology 121, 106269, 2020
Automating feature model refactoring: A model transformation approach
M Tanhaei, J Habibi, SH Mirian-Hosseinabadi
Information and Software Technology 80, 138-157, 2016
A feature model based framework for refactoring software product line architecture
M Tanhaei, J Habibi, SH Mirian-Hosseinabadi
Journal of Computer Science and Technology 31 (5), 951-986, 2016
Injecting security as aspectable NFR into Software Architecture
H Bagheri, SH Mirian-Hosseinabadi
14th Asia-Pacific Software Engineering Conference (APSEC'07), 310-317, 2007
Event-driven web application testing based on model-based mutation testing
E Habibi, SH Mirian-Hosseinabadi
Information and Software Technology 67, 159-179, 2015
Nondeterminism in constructive Z
H Haghighi, SH Mirian-Hosseinabadi
Fundamenta Informaticae 88 (1-2), 109-134, 2008
An aspect enhanced method of nfr modeling in software architecture
H Bagheri, SH Mirian-Hosseinabadi, HC Esfahani
10th International Conference on Information Technology (ICIT 2007), 240-242, 2007
Mining Distributed Frequent Itemsets Using a Gossip based Protocol
M Bagheri, SH Mirian-Hosseinabadi, H Mashayekhi, J Habibi
2012 9th International Conference on Ubiquitous Intelligence and Computing …, 2012
Emphasizing experiences in teaching software engineering courses
SH Mirian-Hosseinabadi, Z Aghakasiri, A Sadeghi, P Delfani, ...
2010 2nd International Conference on Education Technology and Computer 2, V2 …, 2010
Making nondeterminism explicit in Z
SH Mirian-HosseinAbadi, MR Mousavi
Proceedings of the Iranian Computer Society Annual Conference (CSICC 02 …, 2002
Translation of Z specifications to executable code: Application to the database domain
S Khalafinejad, SH Mirian-Hosseinabadi
Information and Software Technology 55 (6), 1017-1044, 2013
Mbtdd: Model based test driven development
A Sadeghi, SH Mirian-Hosseinabadi
International Journal of Software Engineering and Knowledge Engineering 22 …, 2012
Workflow change patterns: Opportunities for extension and reuse
Z Aghakasiri, SH Mirian-Hosseinabadi
Software Engineering Research, Management and Applications 2009, 265-275, 2009
Delta‐based regression testing: a formal framework towards model‐driven regression testing
M Nooraei Abadeh, SH Mirian‐Hosseinabadi
Journal of Software: Evolution and Process 27 (12), 913-952, 2015
Nondeterminism in CZ specification language
H Haghighi, SH Mirian-Hosseinabadi
Ph. D. dissertation, Sharif Univ. of Technology, Iran, 2009
AZ approach to formalization and validation of ORM models
AJ Rafsanjani, SH Mirian-Hosseinabadi
International Conference on Digital Enterprise and Information Systems, 513-526, 2011
Real-time analysis process patterns
N Esfahani, SH Mirian-Hosseinabadi, K Rafati
Computer Society of Iran Computer Conference, 777-781, 2008
Generating semantically valid test inputs using constrained input grammars
H Keramati, SH Mirian-Hosseinabadi
Information and Software Technology 57, 204-216, 2015
The system can't perform the operation now. Try again later.
Articles 1–20