Table Of Content

Available at The Journal of www.ElsevierComputerScience.com Systems and ia | POWERED BY SCIENCE @oinecrs Software ELSEVIER The Journal of Systems and Software 70 (2004) 331-332 www.elsevier.com/locate/jss Contents Volume 70 Contents Editor’s Corner D. Card Software project control centers: concepts and approaches J. Munch and J. Heidrich Supporting risks in software project management M.O. Barros, C.M.L. Werner and G.H. Travassos A review of studies on expert estimation of software development effort M. Jorgensen Architecting for usability: a survey E. Folmer and J. Bosch Better sure than safe? Over-confidence in judgement based software development effort prediction intervals M. Jorgensen, K.H. Teigen and K. Molokken Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification J.P. Gruer, V. Hilaire, A. Koukam and P. Rovarini Flexible retrieval of Web Services H. Zhuge and J. Liu Timeboxing: a process model for iterative software development P. Jalote, A. Palit, P. Kurien and V.T. Peethamber Formally based modeling and inheritance of behaviour in object-oriented systems S. Philippi Defect evolution in a product line environment M.V. Zelkowitz and I. Rus Uncertainty profile and software project performance: A cross-national comparison K.-S. Na, X. Li, J.T. Simpson and K.-Y. Kim Research in computer science: an empirical study V. Ramesh, R.L. Glass and I. Vessey Agent framework to support the computational grid L. Chunlin and L. Layuan Incremental specification with SCTL/MUS-T: a case study A. Fernandez Vilas, J.J. Pazos Arias, A.G. Solla, R.P. Diaz Redondo, J.G.Duque and A.B. Barragans Martinez An experimental evaluation of weak-branch criterion for class testing R. Porwal and Gursaran doi:10.1016/S0164-1212(03)00309- 1 Contents Volume 70 / The Journal of Systems and Software 70 (2004 Rapid system prototyping L.M. Wills, F. Kordon and Lugi Object-based hardware/software component interconnection model for interface design in system-on-a-chip circuits W. Cesario, L. Gauthier, D. Lyonnard, G. Nicolescu and A.A. Jerraya Rapid design exploration of safety-critical distributed automotive applications via virtual integration platforms P. Giusto and T. Demmeler Rapid prototyping of real-time control laws for complex mechatronic systems: a case study M. Deppe, M. Zanella, M. Robrecht and W. Hardt Distributed prototyping from validated specifications D. Hansel, R. Cleaveland and S.A. Smolka FPGA based hardware acceleration for elliptic curve public key cryptosystems M. Ernst, B. Henhapl, S. Klupsch and S. Huss Model based testing in incremental system development A. Pretschner, H. Lotzbeyer and J. Philipps