Volume 33, Number 1, April 1996

Information System Development: Enhanced Best Papers from the Fourth International Conference

• 
  Robert L. Glass: Editor's corner object-orientation claims: Naturalness, seamlessness seem doubtful. 1-2
• 
  Danny Chiang Choon Poo, Shwu-Yi Lee: Tartan: Interweaving objects with rules in information systems development. 3-14
• 
  Jahangir Karimi, Craig Lee Carpenter: A partitioning technique for concurrent software design. 15-35
• 
  Lichen Zhang, Brahim Chaib-draa: A design methodology for real-time systems to be implemented on multiprocessor machines. 37-56
• 
  Dong-Won Park, Swaminathan Natarajan, Arkady Kanevsky: Fixed-priority scheduling of real-time systems using utilization bounds. 57-63
• 
  Fernando Alonso, Natalia Juristo Juzgado, José Luis Maté, Juan Pazos: Software engineering and knowledge engineering: Towards a common life cycle. 65-79
• 
  Ronald Gulezian: Handling regression subsets in software modeling. 81-86
• 
  James Bradley: Extended relational algebra for reduction of natural quantifier COOL expressions. 87-100
• 
  Kwok-Yan Lam, Lucas Chi Kwong Hui, Siu Leung Chung: A data reduction method for intrusion detection. 101-108

Volume 33, Number 2, May 1996

• 
  Joze Zupancic, Stanislaw Wrycza, Ali Mili: Guest editor's corner. 111-112
• 
  Renate Motschnig-Pitrik: Analyzing the notions of attribute, aggregate, part and member in data/knowledge modeling. 113-122
• 
  Maria Luisa Damiani: An intelligent system for complex data exploration. 123-132
• 
  Kristin Braa, Tone Bratteteig, Leikny Øgrim: Organizing the redesign process in system development. 133-140
• 
  Kimmo Kinnunen, Mauri Leppänen: O/A matrix and a technique for methodology engineering. 141-152
• 
  Kees van Slooten, Bram Schoonhoven: Contingent information systems development. 153-161
• 
  Tony Moynihan: An experimental comparison of object-orientation and functional-decomposition as paradigms for communicating system functionality to users. 163-169
• 
  Hubert Rumerstorfer, Josef Altmann: BOOM - A first step to an object-oriented fourth generation system. 171-177
• 
  Igor Hawryszkiewycz, Leszek A. Maciaszek, Janusz R. Getta: Coordination and artifact semantics in asynchronous distributed cooperation. 179-188
• 
  Georgios I. Doukidis, Panagiotis Lybereas, Robert D. Galliers: Information systems planning in small business: A stages of growth analysis. 189-201

Volume 33, Number 3, June 1996

Software Engineering for Distributed Computing

• 
  James M. Bieman, Pradip K. Srimani: Guest editors' corner software engineering for distributed computing. 205-206
• 
  Naoshi Uchihira, Shinichi Honiden: Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE. 207-221
• 
  Richard H. Carver: Testing abstract distributed programs and their implementations: A constraint-based approach. 223-237
• 
  Frédéric Guidec, Jean-Marc Jézéquel, Jean-Lin Pacherie: An object-oriented framework for supercomputing. 239-251
• 
  Jean-Paul Gaspoz: Methodology for the development of distributed telecommunications services. 253-271
• 
  Ulrich Nitsche: Verification and behavior abstraction towards a tractable verification technique for large distributed systems. 273-285
• 
  Özalp Babaoglu, Eddy Fromentin, Michel Raynal: A unified framework for the specification and run-time detection of dynamic properties in distributed computations. 287-298
• 
  Mohamed Jmaiel: Specification of communication protocols using temporal logic. 299-312
• 
  Yosi Ben-Asher, Gadi Haber: On the usage of simulators to detect inefficiency of parallel programs caused by "bad" schedulings: The Simparc approach. 313-327