Seyed-Hassan Mirian-Hosseinabadi | Computer Engineering Department | Sharif University of Technology | سید حسن میریان حسین آبادی
 Journal Papers

International Journals:

20. Mohammad Tanhaei, Jafar Habibi  and Seyed-Hassan Mirian-Hosseinabadi, Automating feature Model Refactoring: A Model Transformation Approach, Information and Software Technology, Amsterdam, Holand, Elsevier, Vol. 80,  No. C, pp. 138-157, Dec. 2016.

19. Mohammad Tanhaei, Jafar Habibi  and Seyed-Hassan Mirian-Hosseinabadi, A Feature Model Based Framework for Refactoring Software Product Line Architecture, Journal of Computer Science and Technology, New York, USA, Springer, Vol. 31,  No. 5, pp. 951-986, Sept 2016.

18. Maryam Nooraei Abadeh and Seyed-Hassan Mirian-Hosseinabadi, A Model Driven Regression Testing Pattern for Enhancing Agile Release Management, International Journal of Computer Science and Information Security, SEOUL, SOUTH KOREA, , Vol. 14,  No. 3, pp. , March 2016.

17. Maryam Nooraei Abadeh and Seyed-Hassan Mirian-Hosseinabadi, Delta-based regression testing: a formal framework towards model-driven regression testing, Journal of Software: Evolution and Process, CHICHESTER, WEST SUSSEX, UK, John Wiley & Sons, Vol. 27,  No. 12, pp. 913-952, Dec. 2015.

16. Elahe Habibi and Seyed-Hassan Mirian-Hosseinabadi, Event-Driven Web Application Testing Based on Model-Based Mutation Testing, Information and Software Technology, Amsterdam, Holand, Elsevier, Vol. 67,  No. 1, pp. 159-179, Nov 2015.

15. Hossein Keramati and Seyed-Hassan Mirian-Hosseinabadi, Generating semantically valid test inputs using constrained input grammars, Information and Software Technology, Amsterdam, Holand, Elsevier, Vol. 57,  No. 1, pp. 204-216, Jan 2015.

14. Amir Jahangard-Rafsanjani and Seyed-Hassan Mirian-Hosseinabadi, Lightweight formalization and validation of ORM models, Journal of Logic and Algebraic methods in Programming, ?, ?, Elsevier, Vol. 84,  No. 1, pp. 534-549, 6,March 2015.

13. Amir Jahangard-Rafsanjani and Seyed-Hassan Mirian-Hosseinabadi, A model-driven approach to semi-structured database design, Frontiers of Computer Science, ?, ?, Springer, Vol. 9,  No. 2, pp. 237-252, Nov 2012.

12. Shohreh Ajoudanian and Seyed-Hassan Mirian-Hosseinabadi, On Formalization of Extended Feature Model Using Promotion Technique in Z, Indian Journal of Science and technology, ?, ?, Indian Society for Education and Environment., Vol. 8,  No. 17, pp. 14-Jan, Aug 2015.

11. Shohreh Ajoudanian and Seyed-Hassan Mirian-Hosseinabadi, Automatic promotional specialization, generalization and analysis of Extended Feature Models with Cardinalities in Alloy, Journal of Logic and Algebraic methods in Programming, ?, ?, Elsevier, Vol. 84,  No. 5, pp. 640-667, Sept 2015.

10. Hossein Keramati and Seyed-Hassan Mirian-Hosseinabadi, Effectiveness of control flow test coverage criteria using mutation analysis: An experimental study, Scientific Research and Essays, Nirobi, Nirobi, Academic Journals, Vol. 7,  No. 45, pp. 3848-3859, Nov 2012.

9. Saeed Khalafinejad and Seyed-Hassan Mirian-Hosseinabadi, Translation of Z Specifications to Executable Code: Application to the Database Domain, Information and Software Technology, Amsterdam, Holand, Elsevier, Vol. 55,  No. 6, pp. 1017-1044, June 2013.

8. Alireza Sadeghi and Seyed-Hassan Mirian-Hosseinabadi, MBTDD: Model Based Test Driven Development, International Journal of Software Engineering and Knowledge Engineering, Singapore, Singapore, World Scientific Publishing Company, Vol. 22,  No. 8, pp. 1085-1102, Dec. 2012.

7. Hassan Haghgighi and Seyed-Hassan Mirian-Hosseinabadi, Towards a Calculus for Nondeterministic Schemas in Z, International Journal of Software Engineering and Knowledge Engineering, Singapore, Singapore, World Scientific Publishing Company, Vol. 22,  No. 6, pp. 839-865, Sept 2012.

6. Somayeh Madadpour, Seyed-Hassan Mirian-Hosseinabadi and Vahdat Abdelzad, Testing Aspect-Oriented Programs with UML Activity Diagrams, International Journal of Computer Applications, NY, USA, Foundation of Computer Science, Vol. 33,  No. 8, pp. 4-11, Nov 2011.

5. Marzieh Esna-Ashari, Hamid Reza Rabiee and Seyed-Hassan Mirian-Hosseinabadi, Reliability of Separation of Duty in ANSI Standard Role Based Access Control, Scientia Iranica, Tehran, Iran, Sharif University of Technology, Vol. 18,  No. 6, pp. 1416-1424, Nov 2011.

4. Seyed Mohammad Taghi Rouhani Rankohi and Seyed-Hassan Mirian-Hosseinabadi, A New Category of Relations: Combinationally Constrained Relations, Scientia Iranica, Tehran, Iran, Sharif University of Technology, Vol. 16,  No. 1, pp. 34-52, June 2009.

3. Behnaz Changizi and Seyed-Hassan Mirian-Hosseinabadi, On the Correctness of A Translation Map Between Specifications In Z And Setl2 Prototype, International Journal of Information & Communication Technology, Tehran, Iran, Ministry of ICT- ITRC, Vol. 1,  No. 2, pp. 21-27, May 2009.

2. Hassan Haghgighi and Seyed-Hassan Mirian-Hosseinabadi, Nondeterminism in Constructive Z, Fundamenta Informaticae, Amsterdam, The Netherlands, IOS Press, Vol. 88,  No. 1-2, pp. 109-134, Dec. 2008.

1. Mirian-Hosseinabadi, S.-H. and Turner, R., Constructive Z, Journal of Logic and Computation, Oxford, UK, Oxford University Press, Vol. 8,  No. 1, pp. 49-70, Feb 98.

Create Date: 80/12/27(March 2003)

Update Date: 95/07/10(October  2016)

 

 

National Journals:

3. مرتضی یوسف صنعتی و سيد حسن ميريان، موتور مولد گردش کار SWEG، انجمن کامپيوتر ايران-نشريه علمي پژوهشي، ، جلد 1389، شماره 8،  ص 26-36، ؟1389.

2. امين روزبهاني و سيد حسن ميريان، طراحي تكاملي شماي پايگاه داده رابطه اي بر پايه اندازه گيري نرم افزار، انجمن کامپيوتر ايران-نشريه علمي پژوهشي، ، جلد 4، شماره 1 (الف)،  ص 18-24، اسفند1385.

1. سيد حسن ميريان و آرش  جلالي قمبواني، محيطي براي توليد برنامه از توصيف صوري، دانشگاه صنعتي شريف معاونت پژوهشي، ، جلد 19، شماره 25،  ص 42-53، پاییز و زمستان1381.

Create Date: 80/12/27(March 2003)

Update Date: 92/04/09(June  2013)



Seyed Hassan Mirian Hosseinabadi | سید حسن میریان حسین آبادی 
Seyed-Hassan Mirian-Hosseinabadi
Associate Professor,
Computer Engineering Department,
Sharif University of Technology
 
 
 

All Rights Reserved | Seyed-Hassan Mirian-Hosseinabadi | Sharif University of Technology