| 2008 |
|---|
| 7 | EE | Hossein Keramati,
Seyed-Hassan Mirian-Hosseinabadi:
Integrating software development security activities with agile methodologies.
AICCSA 2008: 749-754 |
| 6 | EE | Hamid Bagheri,
Vajih Montaghami,
Gholamreza Safi,
Seyed-Hassan Mirian-Hosseinabadi:
An evaluation method for aspectual modeling of distributed software architectures.
AICCSA 2008: 903-908 |
| 5 | EE | Hassan Haghighi,
Seyed-Hassan Mirian-Hosseinabadi:
Nondeterminism in Constructive Z.
Fundam. Inform. 88(1-2): 109-134 (2008) |
| 2007 |
|---|
| 4 | EE | Hamid Bagheri,
Seyed-Hassan Mirian-Hosseinabadi,
Hesam Chiniforooshan Esfahani:
An Aspect Enhanced Method of NFR Modeling in Software Architecture.
ICIT 2007: 240-242 |
| 2006 |
|---|
| 3 | | 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 |
| 2 | EE | 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) |
| 1998 |
|---|
| 1 | | Seyed-Hassan Mirian-Hosseinabadi,
Raymond Turner:
Constructive Z.
J. Log. Comput. 8(1): 49-70 (1998) |
