Journal of Systems and Software (JSS), Volume 70

Volume 70, Number 1-2, February 2004

• David N. Card:
  Editor's corner. 1-2
  Electronic Edition (link) BibTeX
• Jürgen Münch, Jens Heidrich:
  Software project control centers: concepts and approaches. 3-19
  Electronic Edition (link) BibTeX
• Márcio de Oliveira Barros, Cláudia Maria Lima Werner, Guilherme Horta Travassos:
  Supporting risks in software project management. 21-35
  Electronic Edition (link) BibTeX
• Magne Jørgensen:
  A review of studies on expert estimation of software development effort. 37-60
  Electronic Edition (link) BibTeX
• Eelke Folmer, Jan Bosch:
  Architecting for usability: a survey. 61-78
  Electronic Edition (link) BibTeX
• Magne Jørgensen, Karl Halvor Teigend, Kjetil Moløkken:
  Better sure than safe? Over-confidence in judgement based software development effort prediction intervals. 79-93
  Electronic Edition (link) BibTeX
• Pablo Gruer, Vincent Hilaire, Abder Koukam, P. Rovarini:
  Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification. 95-105
  Electronic Edition (link) BibTeX
• Hai Zhuge, Jie Liu:
  Flexible retrieval of Web Services. 107-116
  Electronic Edition (link) BibTeX
• Pankaj Jalote, Aveejeet Palit, Priya Kurien, V. T. Peethamber:
  Timeboxing: a process model for iterative software development. 117-127
  Electronic Edition (link) BibTeX
• Stephan Philippi:
  Formally based modeling and inheritance of behaviour in object-oriented systems. 129-142
  Electronic Edition (link) BibTeX
• Marvin V. Zelkowitz, Ioana Rus:
  Defect evolution in a product line environment . 143-154
  Electronic Edition (link) BibTeX
• Kwan-Sik Na, Xiaotong Li, James T. Simpson, Ki-Yoon Kim:
  Uncertainty profile and software project performance: A cross-national comparison. 155-163
  Electronic Edition (link) BibTeX
• Venkataraman Ramesh, Robert L. Glass, Iris Vessey:
  Research in computer science: an empirical study. 165-176
  Electronic Edition (link) BibTeX
• Li Chunlin, Li Layuan:
  Agent framework to support the computational grid. 177-187
  Electronic Edition (link) BibTeX
• Ana Fernández Vilas, José J. Pazos Arias, Alberto Gil-Solla, Rebeca P. Díaz Redondo, Jorge García Duque, Ana Belén Barragáns-Martínez:
  Incremental specification with SCTL/MUS-T: a case study. 189-208
  Electronic Edition (link) BibTeX
• Rabins Porwal, Gursaran:
  An experimental evaluation of weak-branch criterion for class testing. 209-224
  Electronic Edition (link) BibTeX

Volume70, Number 3, March 2004

• Linda M. Wills, Fabrice Kordon, Luqi:
  Rapid system prototyping. 225-227
  Electronic Edition (link) BibTeX
• Wander O. Cesário, Lovic Gauthier, Damien Lyonnard, Gabriela Nicolescu, Ahmed Amine Jerraya:
  Object-based hardware/software component interconnection model for interface design in system-on-a-chip circuits. 229-244
  Electronic Edition (link) BibTeX
• Paolo Giusto, Thilo Demmeler:
  Rapid design exploration of safety-critical distributed automotive applications via virtual integration platforms. 245-262
  Electronic Edition (link) BibTeX
• Markus Deppe, Mauro Cesar Zanella, Michael Robrecht, Wolfram Hardt:
  Rapid prototyping of real-time control laws for complex mechatronic systems: a case study. 263-274
  Electronic Edition (link) BibTeX
• David Hansel, Rance Cleaveland, Scott A. Smolka:
  Distributed prototyping from validated specifications. 275-298
  Electronic Edition (link) BibTeX
• M. Ernst, B. Henhapl, S. Klupsch, Sorin A. Huss:
  FPGA based hardware acceleration for elliptic curve public key cryptosystems. 299-313
  Electronic Edition (link) BibTeX
• Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps:
  Model based testing in incremental system development. 315-329
  Electronic Edition (link) BibTeX