Information & Software Technology, Volume 40

Volume 40, Number 1, 1998

• György Kovács, Patrick van Bommel:
  Conceptual modelling-based design of object-oriented databases. 1-14
  
• Hee Beng Kuan Tan, Hua Koon Tan:
  Reuse of components in data-intensive business programs through interface separation. 15-25
  
• Wentong Cai, Bu-Sung Lee:
  File allocation with balanced response time in a distributed multi-server information system. 27-35
  
• Aleksander Zgrzywa:
  The evaluation of the response time for a tourist agency's service sytem. 37-44
  
• Woochun Jun, Le Gruenwald:
  An effective class hierarchy concurrency control technique in object-oriented database systems. 45-53
  

Volume 40, Number 2, 1998

• Chuk Yau, Ho Leung Tsoi:
  Modelling the probabilistic behaviour of function point analysis. 59-68
  
• Jahangir Karimi, M. K. Zand:
  Asset-based system and software system development - A frame-based approach. 69-78
  
• Soon-Young Huh:
  An object-oriented database model for a change management framework in workgroup computing systems. 79-92
  
• J. S. Davis:
  Active help found beneficial in wizard of oz study. 93-103
  
• Martin R. Woodward, Stephen P. Allen:
  Slicing algebraic specifications. 105-118
  

Volume 40, Number 3, 1998

• Keith Phalp, Peter Henderson, Robert John Walters, Geetha Abeysinghe:
  RolEnact: role-based enactable models of business processes. 123-133
  
• Leonor Barroca, Pedro Rangel Henriques:
  A framework and patterns for the specification of reactive systems. 135-142
  
• Selmin Nurcan:
  Analysis and design of co-operative work processes: a framework. 143-156
  
• Sang-Won Lee, Hyoung-Joo Kim:
  A model of schema versions for object-oriented databases based on the concept of rich base schema. 157-173
  
• Christof Ebert:
  Putting requirement management into praxis: dealing with nonfunctional requirements. 175-185
  

Volume 40, Number 4, July 1998

• Donald J. Bagert:
  A model for the software engineering component of a computer science curriculum. 195-201
  
• Robert Biddle, Ewan D. Tempero:
  Teaching programming by teaching principles of reusability. 203-209
  
• Jan J. van Amstel:
  The group education and training: IT's basic courses in Philips. 211-219
  
• Pearl Brereton, S. Lees, M. Gumbley, Cornelia Boldyreff, Sarah Drummond, Paul J. Layzell, Linda A. Macaulay, R. Young:
  Distributed group working in software engineering education. 221-227
  
• Michael W. Godfrey:
  Teaching software engineering to a mixed audience. 229-232
  
• Ann E. Kelley Sobel:
  Applying an operational formal method throughout software engineering education. 233-238
  
• Jochen Ludewig, Ralf Reißing:
  Teaching what they need instead of teaching what we like - the new software engineering curriculum at the University of Stuttgart. 239-244
  
• Kari Alho:
  Using the World Wide Web to assist software project course work. 245-248
  

Volume 40, Numbers 5-6, July 1998

• Tetsuo Tamai:
  Abstraction orientated property of software and its relation to patentability. 253-257
  
• Woei-Jiunn Tsaur, Shi-Jinn Horng:
  A new generalized software complexity metric for distributed programs. 259-269
  
• Judith Barnard:
  COMX: a design methodology using communicating X-machines. 271-280
  
• Djamel Eddine Zegour, Gérard Lévy:
  CONCORD: an environment of CONstruction, CORrection anD transformation of algorithms. 281-290
  
• Anupam Sinha, Pradip Kumar Das, Dhruba Basu:
  Implementation and timing analysis of Clock Synchronization on a transputer-based replicated system. 291-309
  
• Jason Jen-Yen Chen, Shih-Chien Chou:
  Enacting object-oriented methods by a process environment. 311-325
  
• Beng Chin Ooi, Cheng Hian Goh, Kian-Lee Tan:
  Indexing bitemporal databases as points. 327-337
  
• Lars Bo Eriksen, Jan Stage:
  A qualitative empirical study of case tool support to method learning. 339-345
  
• Tsong Yueh Chen, Man Fai Lau:
  A new heuristic for test suite reduction. 347-354
  

Volume 40, Number 7, August 1998

• David M. Gee:
  Formal specification of visual languages. 359-367
  
• Ravi Erraguntla, Doris L. Carver:
  Migration of sequential systems to parallel environments by reverse engineering. 369-380
  
• Charles J. Kacmar, Jane Carey, Mark Aleaxander:
  Providing workflow services using a programmable hypermedia environment. 381-396
  
• Nobuhiro Ito, Kouichi Nakagawa, Takahiro Hotta, Xiaoyong Du, Naohiro Ishii:
  EAMMO: an environmental agent model for multiple objects. 397-404
  

Volume 40, Number 8, August 1998

• Gerard Horgan, Souheil Khaddaj, Peter Forte:
  Construction of an FPA-type metric for early lifecycle estimation. 409-415
  
• Michalis Glykas, George Valiris:
  Management science semantics for object-oriented business modelling in BPR. 417-433
  
• Dianxiang Xu:
  A logic based language for networked agents. 435-442
  
• Albert Alderson, M. Elizabeth C. Hull, K. Jackson, L. E. Griffiths:
  Method engineering for industrial real-time and embedded systems. 443-454
  

Volume 40, Number 9, September 1998

• J. Artur Serrano, Ray Welland:
  VC^t - a formal language for the specification of diagrammatic modelling techniques. 463-474
  
• A. M. Zendler:
  Foundation of the taxonomic object system. 475-492
  
• Fritz H. Grupe, Robert Urwiler, Narender K. Ramarapu, Mehdi Owrang:
  The application of case-based reasoning to the software development process. 493-499
  
• Juhani Iivari, Jari Maansaari:
  The usage of systems development methods: are we stuck to old practices? 501-510
  

Volume 40, Number 10, October 1998

• Arthur H. M. ter Hofstede, Henderik Alex Proper:
  How to formalize it?: Formalization principles for information system development methods. 519-540
  
• Z. Chen:
  Toward a better understanding of idea processors. 541-553
  
• Pedro Ramos, José Luiz Fiadeiro:
  A computational tool that supports formal diagnosis of process design. 555-565
  

Volume 40, Numbers 11-12, December 1998

• Mark Harman, Keith Brian Gallagher:
  Program slicing. 577-581
  
• David Binkley:
  The application of program slicing to regression testing. 583-594
  
• Gerardo Canfora, Aniello Cimitile, Andrea De Lucia:
  Conditioned program slicing. 595-607
  
• John Field, Frank Tip:
  Dynamic dependence in term rewriting systems and its application to program slicing. 609-636
  
• Mariam Kamkar:
  Application of program slicing in algorithmic debugging. 637-645
  
• Bogdan Korel, Juergen Rilling:
  Dynamic program slicing methods. 647-659
  
• Jens Krinke, Gregor Snelting:
  Validation of measurement software as an application of slicing and constraint solving. 661-675
  
• Arun Lakhotia, Jean-Christophe Deprez:
  Restructuring programs by tucking statements into functions. 677-689
  
• Linda M. Ott, James M. Bieman:
  Program slices as an abstraction for cohesion measurement. 691-699
  
• Thomas W. Reps:
  Program analysis via graph reachability. 701-726
  

Volume 40, Number 13, November 1998

• Keith Phalp:
  The CAP framework for business process modelling. 731-744
  
• Tullio Vardanega, Jan van Katwijk:
  Productive engineering of predictable embedded real-time systems: the road to maturity. 745-764
  
• Tsong Yueh Chen, Pak-Lok Poon:
  On the effectiveness of classification trees for test case construction. 765-775
  
• Tsong Yueh Chen, Man Fai Lau:
  A simulation study on some heuristics for test suite reduction. 777-787
  

Volume 40, Number 14, December 1998

• Stephen G. Linkman:
  Evaluation and assessment in software engineering 1998. 793-794
  
• Michelle Cartwright:
  An empirical view of inheritance. 795-799
  
• Ming Zhao, Claes Wohlin, Niclas Ohlsson, Min Xie:
  A comparison between software design and code metrics for the prediction of software fault content. 801-809
  
• Lesley Pickard, Barbara A. Kitchenham, Peter Jones:
  Combining empirical results in software engineering. 811-821
  
• Babak Khazaei, Jawed I. A. Siddiqi, Rick Osborn, Chris Roast:
  Templates and tariffs - tools for empirical studies. 823-829
  
• Magnus C. Ohlsson, Claes Wohlin, Björn Regnell:
  A project effort estimation study. 831-839
  
• Emilia Mendes, Rachel Harrison, Wendy Hall:
  Reusability and maintainability in hypermedia applications for education. 841-849
  
• David J. Carney, Kurt C. Wallnau:
  A basis for evaluation of commercial software. 851-860
  
• Maurizio Pighin:
  An empirical quality measure based on complexity values. 861-864
  
• A. J. Walker:
  Improving the quality of ISO 9001 audits in the field of software. 865-869
  
• Ronald J. Leach, Claude A. Charles, Kenrick Fagan, Thembi Kimbrough, Kai R. Thomas:
  A re-engineering process using early decomposition and simple tools. 871-875
  

Volume 40, Number 15, December 1998