Journal of Systems and Software (JSS), Volume 60

Volume 60, Number 1, January 2002

• Robert L. Glass:
  A Final Good-bye. 1-
  
• David N. Card:
  Stepping up to the Plate. 3-
  
• J. Miller:
  On the independence of software inspectors. 5-10
  
• Andrew Lim, Wee-Chong Oon, Chi-Hung Chi:
  A matching-based algorithm for page access sequencing in join processing. 11-19
  
• H. Richard Kendall, Vincent W. Freeh, Paul W. Schermerhorn, Robert J. Minerick, Peter W. Rijks:
  Streaming extensibility in the Modify-on-Access file system. 21-36
  
• Dong Ho Kim, Keun Ho Ryu, Chee Hang Park:
  Design and implementation of spatiotemporal database query processing system. 37-49
  
• Manuel J. Fernández Iglesias, Francisco J. González-Castaño, Martín Llamas Nistal, José M. Pousada Carballo, Javier Vales-Alonso:
  On the application of formal description techniques to the design of interception systems for GSM mobile terminals. 51-58
  
• Marsha Chechik, Andre Wong:
  Formal modeling in a commercial setting: A case study. 59-82
  
• Daniel M. Berry:
  The importance of ignorance in requirements engineering: An earlier sighting and a revisitation. 83-85
  

Volume 60, Number 2, February 2002

• Kamel Barkaoui, Mohamed Jmaiel, Ali Mili:
  Guest editorial. 87-89
  
• Peter Pepper, Michael Cebulla, Klaus Didrich, Wolfgang Grieskamp:
  From program languages to software languages. 91-101
  
• Richard St.-Denis:
  Designing reactive systems: integration of abstraction techniques into a synthesis procedure. 103-112
  
• Etienne Roblet, Khalil Drira, Michel Diaz:
  Formal design and development of a Corba-based application for cooperative HTML group editing support. 113-127
  
• Dimitri Tabary, Mourad Abed:
  A software environment task object-oriented design (ETOOD). 129-140
  
• Mohamed Jarraya, Didier El Baz:
  Implementation of distributed iterative algorithm for optimal control problems on several parallel architectures. 141-148
  
• Ali Jaoua, Samir Elloumi:
  Galois connection, formal concepts and Galois lattice in real relations: application in a real classifier. 149-163
  

Volume 60, Number 3, February 2002

• Guy G. Helmer, Johnny S. Wong, Vasant Honavar, Les Miller:
  Automated discovery of concise predictive rules for intrusion detection. 165-175
  
• Shundong Xia, Jinyuan You:
  A group signature scheme with strong separability. 177-182
  
• Choon Seong Leem, Cho-Li Wang:
  Special section on Industrial information systems: progresses and perspectives in Pacific Rim. 183-
  
• Hongfei Yan, Jianyong Wang, Xiaoming Li, Lin Guo:
  Architectural design and evaluation of an efficient Web-crawling system. 185-193
  
• Kitae Shin, Choon Seong Leem:
  A reference system for internet based inter-enterprise electronic commerce. 195-209
  
• Tianhan Wang, Sheng Uei Guan, Tai Khoon Chan:
  Integrity protection for Code-on-Demand mobile agents in e-commerce. 211-221
  
• Bongju Jeong, Ho-Sang Jung, Nam-Kyu Park:
  A computerized causal forecasting system using genetic algorithms in supply chain management. 223-237
  
• Stephen Chi-fai Chan, Tharam S. Dillon, Andrew Siu:
  Applying a mediator architecture employing XML to retailing inventory control. 239-248
  
• Choon Seong Leem, Sangkyun Kim:
  Introduction to an integrated methodology for development and implementation of enterprise information systems. 249-261