Issue 2/2010
Content (15 Articles)
Research Article
Documenting and verifying systems assembled from components
Zhiying Liu, David Lorge Parnas, Baltasar Trancon y Widemann
Research Article
A concern-based approach to generating formal requirements specifications
Ying Jin, Jing Zhang, Weiping Hao, Pengfei Ma, Yan Zhang, Haiyan Zhao, Hong Mei
Research Article
On the computation of quotients and factors of regular languages
Mircea Marin, Temur Kutsia
Editorial
Financial information processing and development of emerging financial markets
Shuo Bai, Shouyang Wang, Lean Yu, Aoying Zhou
Research Article
Modeling default risk via a hidden Markov model of multiple sequences
Wai-Ki Ching, Ho-Yin Leung, Zhenyu Wu, Hao Jiang
Research Article
Developing an SVM-based ensemble learning system for customer risk identification collaborating with customer relationship management
Lean Yu, Shouyang Wang, Kin Keung Lai
Research Article
A class of life insurance reserve model and risk analysis in a stochastic interest rate environment
Niannian Jia, Changqing Jia, Wei Qiu
Research Article
N-person credibilistic strategic game
Rui Liang, Yueshan Yu, Jinwu Gao, Zhi-Qiang Liu
Research Article
Corporate financial distress diagnosis model and application in credit rating for listing firms in China
Ling Zhang, Edward I. Altman, Jerome Yen
Research Article
Evaluation of mutual funds using multi-dimensional information
Xiujuan Zhao, Jianmin Shi
Research Article
Neural network methods for forecasting turning points in economic time series: an asymmetric verification to business cycles
Dabin Zhang, Lean Yu, Shouyang Wang, Haibin Xie
Research Article
Using jump-diffusion modeling for valuing real options in infrastructure projects
Guoxing Zhang, Ju’e Guo, Guorong Chai, Li Gong, Xuejun Wang
Review Article
Knowledge discovery through directed probabilistic topic models: a survey
Ali Daud, Juanzi Li, Lizhu Zhou, Faqir Muhammad