Information & Software Technology, Volume 38

Volume 38, Number 1, 1996

• Abdulazeez S. Boujarwah, Nadia Al-Seif, Kassem Saleh:
  Modelling the semantics of multitasking facilities in Concurrent C using Petri nets. 3-9
  
• Timo Niemi, Kalervo Järvelin:
  The processing strategy for the NF² relational frc-interface. 11-24
  
• Norihide Hattori, Naohiro Ishii:
  A method to remove variations in source codes. 25-36
  
• Pavol Návrat:
  A closer look at programming expertise: critical survey of some methodological issues. 37-46
  
• Oscar Díaz:
  Object-oriented systems: a cross-discipline overview. 47-57
  
• Marek Machura:
  Object-oriented environments: the Mjølner approach : J. L. Knudsen, M. Lofgren, O. Lehrmann-Madsen and B. Magnusson (eds.) Prentice-Hall, 1993, 627 pp, ISBN 0-13-009291-6. 59-60
  

Volume 38, Number 2, 1996

• Robert T. Hughes:
  Expert judgement as an estimating method. 67-75
  
• Janet Low, Jim Johnson, Patrick A. V. Hall, Fiona Hovenden, Janet Rachel, Hugh Robinson, Steve Woolgar:
  Read this and change the way you feel about software engineering. 77-87
  
• Peter G. O'Donoghue, M. Elizabeth C. Hull:
  Using timed CSP during object oriented design of real-time systems. 89-102
  
• Cheng-Yao Ni, Shyan-Ming Yuan:
  DITSE: an experimental distributed database system. 103-110
  
• C. J. Burgess, M. Saidi:
  The automatic generation of test cases for optimizing Fortran compilers. 111-119
  
• Jim Abu-Ras:
  Priority inheritance protocol in Ada 95. 121-125
  

Volume 38, Number 3, March 1996

• Michael Dyer:
  Editorial. 131
  
• Mikio Aoyama:
  Beyond software factories: concurrent-development process and an evolution of software process technology in Japan. 133-143
  
• Motoei Azuma:
  Software products evaluation system: quality models, metrics and processes - International Standards and Japanese practice. 145-154
  
• Koji Torii, Ken-ichi Matsumoto:
  Quantitative analytic approaches in software engineering. 155-163
  
• Sadahiro Isoda:
  Software reuse in Japan. 165-171
  
• Tsuneo Ajisaka:
  The software quark model: a universal model for CASE repositories. 173-180
  
• Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira:
  MENDELS ZONE: A parallel program development system based on formal specifications. 181-189
  
• Kumiyo Nakakoji, Atsushi Aoki, Brent Reeves:
  Knowledge-based cognitive support for multimedia information design. 191-200
  
• Yuzuru Tanaka:
  IntelligentPad as meme media and its application to multimedia databases. 201-211
  
• Jun Munemori, Yoji Nagasawa:
  GUNGEN: groupware for a new idea generation support system. 213-220
  
• Eiji Kuwana, Eiji Yana, Yasuhisa Sakamoto, Yuzou Nakamura, Keitaro Horikawa:
  Computer-supported meeting environment for collaborative software development. 221-228
  
• Toru Takeshita:
  Software technologies created in Japan. 229-238
  
• Ken Sakamura:
  The TRON Project. 239-251
  

Volume 38, Number 4, 1996

• Sjaak Brinkkemper, Stef Joosten:
  Editorial. 259
  
• Steven Kelly, Kari Smolander:
  Evolution and issues in metaCASE. 261-266
  
• Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer:
  Method engineering for multi-perspective software development. 267-274
  
• Sjaak Brinkkemper:
  Method engineering: engineering of information systems development methods and tools. 275-280
  
• Yair Wand:
  Ontology as a foundation for meta-modelling and method engineering. 281-287
  
• Alfonso Fuggetta:
  Functionality and architecture of PSEEs. 289-293
  
• Teade Punter, Karel Lemmen:
  The MEMA-model: towards a new approach for Method Engineering. 295-305
  

Volume 38, Number 5, May 1996

• Hossein Saiedian, Michael G. Hinchey:
  Challenges in the successful transfer of formal methods technology into industrial applications. 313-322
  
• Derek Andrews:
  An exercise in modelling. 323-332
  
• Huaiqing Wang:
  Repositories for co-operative information systems. 333-341
  
• Roger Ferguson, Bogdan Korel:
  Generating test data for distributed software using the chaining approach. 343-353
  
• Stan Jarzabek, Tok Wang Ling:
  Model-based support for business re-engineering. 355-374
  

Volume 38, Number 6, June 1996

• Kassem Saleh, Abdulazeez S. Boujarwah:
  Communications software reverse engineering: a semi-automatic approach. 379-390
  
• Sophie Cockcroft:
  Estimating CASE development size from outline specifications. 391-399
  
• J. Barnard, J. Whitworth, M. Woodward:
  Communicating X-machines. 401-407
  
• J. E. McCormack, Steven A. Roberts:
  Exploiting object oriented methods for multi-modal trip planning systems. 409-417
  
• Shih-Chien Chou, Jason Jen-Yen Chen, Chian-Goei Chung:
  An executable specification language for specification understanding in object-oriented specification reuse. 419-434
  
• Fraser MacDonald:
  Software process modelling and technology : Anthony Finkelstein, Jeff Kramer, Bashar Nuseibeh (eds.), Research Studies Press, Taunton, UK (1994), 362 pp. ISBN 0-863-80169-2. 435
  

Volume 38, Number 7, 1996

• R. Harrison, L. G. Samaraweera, Mark R. Dobie, Paul H. Lewis:
  An evaluation of code metrics for object-oriented programs. 443-450
  
• David Rine:
  Sharing objects as structural defects in object-oriented programming without safe typing. 451-453
  
• Bryon K. Ehlmann, Gregory A. Riccardi:
  A comparison of ORN to other declarative schemes for specifying relationship semantics. 455-465
  
• Simon R. Monk, John A. Mariani, Beshir Elgalal, Helen Campbell:
  Migration from relational to object-oriented databases. 467-475
  
• Klaas van den Berg, P. M. van den Broek:
  Programmers' performance on structured versus nonstructured function definitions. 477-491
  

Volume 38, Number 8, 1996

• David C. Rine:
  Object-oriented design: exception handling and copying. 499-506
  
• Mary Frances Theofanos, Shari Lawrence Pfleeger:
  Wavefront: a goal-driven requirements process model. 507-519
  
• Gabriele Manduchi:
  A mixed approach for the formal correctness proof of distributed programs. 521-538
  
• George A. Papadopoulos:
  Concurrent object-oriented programming using term graph rewriting techniques. 539-547
  

Volume 38, Number 9, 1996

• Pairoj Termsinsuwan, Zixue Cheng, Norio Shiratori:
  A new approach to ADT specification support based on reuse of similar ADT by the application of Case-Based Reasoning. 555-568
  
• Khaled Al-Saqabi, Kassem Saleh:
  An efficient process migration algorithm for homogeneous clusters. 569-580
  
• Bipin C. Desai, Boutros S. Boutros:
  Performance of a two-phase commit protocol. 581-599
  
• Tok Wang Ling, Cheng Hian Goh, Mong-Li Lee:
  Extending classical functional dependencies for physical database design. 601-608
  

Volume 38, Number 10, 1996

• Robert B. Jackson, David W. Embley:
  Using joint application design to develop readable formal specifications. 615-631
  
• Anupam Sinha, Pradip Kumar Das, Dhruba Basu:
  Replicated servers for fault-tolerant real-time systems using transputers. 633-645
  
• Ian Gorton, Sanjeev Motwani:
  Issues in co-operative software engineering using globally distributed teams. 647-655
  
• Paul K. O. Chow, Daniel S. Yeung:
  Behavioural modelling in object-oriented methodology. 657-666
  

Volume 38, Number 11, November 1996

• Keith Bennett:
  Editorial. 671
  
• Keith Bennett:
  Software evolution: past, present and future. 673-680
  
• M. M. Lehman:
  Feedback in the software evolution process. 681-686
  
• John C. Munson:
  Software faults, software failures and software reliability modeling. 687-699
  
• R. M. Hather, Elizabeth Burd, Cornelia Boldyreff:
  A method for application management maturity assessment. 701-709
  
• P. Benedusi:
  Improving reverse engineering models with test-case related knowledge. 711-718
  
• Les Hatton:
  Is modularization always a good idea? 719-721
  
• David S. Hinley:
  Software evolution management: a process-oriented perspective. 723-730
  

Volume 38, Number 12, 1996

• Tereza G. Kirner, Alan M. Davis:
  Requirements specification of real-time systems: temporal parameters and timing-constraints. 735-741
  
• Narciso Cerpa, June M. Verner:
  Prototyping: some new results. 743-755
  
• Richard Lai, A. Lo:
  Integrated Estelle and ASN.1 specification approach to automatic implementation of application protocol. 757-773
  
• F. T. Chan, T. Y. Chen, I. K. Mak, Y. T. Yu:
  Proportional sampling strategy: guidelines for software testing practitioners. 775-782
  
• Gerald J. O'Brien, W. David Wilde:
  Australian managers' perceptions, attitudes and use of information technology. 783-789