The Journal of Systems and Software ELSEVIER The Journal of Systems and Software 60 (2002) 263-264 www.elsevier.com/locate/jss Contents Volume 60 Contents Editor’s Corner: A Final Good-bye R.L. Glass Editor’s Corner: Stepping up to the Plate D.N. Card On the independence of software inspectors J. Miller A matching-based algorithm for page access sequencing in join processing A. Lim, W.C. Oon and C.-H. Chi Streaming extensibility in the Modify-on-Access file system H.R. Kendall, V.W. Freeh, P.W. Schermerhorn, R.J. Minerick and P.W. Rijks Design and implementation of spatiotemporal database query processing system D.H. Kim, K.H. Ryu and C.H. Park On the application of formal description techniques to the design of interception systems for GSM mobile terminals M.J. Fernandez-Iglesias, F.J. Gonzalez-Castano, M. Llamas-Nistal, J.M. Pousada-Carballo and J. Vales-Alonso Formal modeling in a commercial setting: A case study M. Chechik and A. Wong Controversy Corner: The importance of ignorance in requirements engineering: An earlier sighting and a revisitation D.M. Berry Special issue on Artificial and Computational Intelligence for Decisions, Control, and Automation in Engineering and Industrial Applications Guest Editorial K. Barkaoui, M. Jmaiel and A. Mili From program languages to software languages P. Pepper, M. Cebulla, K. Didrich and W. Grieskamp Designing reactive systems: integration of abstraction techniques into a synthesis procedure R. St-Denis Formal design and development of a Corba-based application for cooperative HTML group editing support E. Roblet, K. Drira and M. Diaz 264 Contents Volume 60 A software environment task object-oriented design (ETOOD) D. Tabary and M. Abed Implementation of distributed iterative algorithm for optimal control problems on several parallel architectures M. Jarraya and D. El Baz Galois connection, formal concepts and Galois lattice in real relations: application in a real classifier A. Jaoua and S. Elloumi Special section on Information Security Automated discovery of concise predictive rules for intrusion detection G. Helmer, J.S.K. Wong, V. Honavar and L. Miller A group signature scheme with strong separability S. Xia and J. You Special section on Industrial Information Systems: Progress and Perspectives in the Pacific Rim Guest Editorial C.S. Leem and C.-L. Wang Architectural design and evaluation of an efficient Web-crawling system H. Yan, J. Wang, X. Li and L. Guo A reference system for internet based inter-enterprise electronic commerce K. Shin and C.S. Leem Integrity protection for Code-on-Demand mobile agents in e-commerce T. Wang, S.-U. Guan and T.K. Chan A computerized causal forecasting system using genetic algorithms in supply chain management B. Jeong, H.-S. Jung and N.-K. Park Applying a mediator architecture employing XML to retailing inventory control S. Chan, T. Dillon and A. Siu Introduction to an integrated methodology for development and implementation of enterprise information systems C.S. Leem and S. Kim