IJSEKE, Volume 17

Volume 17, Number 1, February 2007

• Guest Editors' Introduction. 1-2
  Electronic Edition (link) BibTeX
• Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi:
  Specification and Verification of Workflows with Rbac Mechanism and Sod Constraints. 3-32
  Electronic Edition (link) BibTeX
• Tegegne Marew, Jungyoon Kim, Doo-Hwan Bae:
  Systematic Functional Decomposition in a Product Line Using Aspect-oriented Software Development: a Case Study. 33-56
  Electronic Edition (link) BibTeX
• Yean-Ru Chen, Pao-Ann Hsiung:
  Automatic Failure Analysis Using Safecharts. 57-78
  Electronic Edition (link) BibTeX
• Xavier Franch, Gemma Grau, Enric Mayol, Carme Quer, Claudia P. Ayala, Carlos Cares, Fredy Navarrete, Mariela Haya, Pere Botella:
  Systematic Construction of I* Strategic Dependency Models for Socio-technical Systems. 79-106
  Electronic Edition (link) BibTeX
• Oscar Mondragon, Ann Q. Gates, Steve Roach, Humberto Mendoza, Oleg Sokolsky:
  Generating Properties for Runtime Monitoring from Software Specification Patterns. 107-126
  Electronic Edition (link) BibTeX
• Sumanth Yenduri, S. Sitharama Iyengar:
  Performance Evaluation of Imputation Methods for Incomplete Datasets. 127-152
  Electronic Edition (link) BibTeX
• Gregor Stiglic, Matej Mertik, Peter Kokol, Maurizio Pighin:
  Detecting Fault Modules Using Bioinformatics Techniques. 153
  Electronic Edition (link) BibTeX