CASCON 1993: Toronto, Ontario, Canada

Volume 1

Software architecture

• Michael A. Bauer, Neil Coburn, Doreen L. Erickson, Patrick J. Finnigan, James W. Hong, Per-Åke Larson, Jacob Slonim:
  An integrated architecture for distributed applications. 8-26
  
• Michael A. Bauer, Patrick J. Finnigan, James W. Hong, Jan K. Pachl, Toby J. Teorey:
  An integrated distributed systems management architecture. 27-40
  
• Dominic R. Cols:
  Business-structured client/server: an architecture for distributed applications. 41-53
  
• Danilo Florissi, Yechiam Yemini:
  Isochronets: an architecture for high-speed networks. 54-63
  
• Louise Lamont, Grant Henderson, Nicolas D. Georganas:
  A multimedia real-time conferencing system: architecture and implementation. 64-72
  

Software integration

• W. Michael Caldwell, David J. Carney, Fred Long:
  Experimental use of the portable common tool environment (PCTE) on a fine-grained data problem. 73-83
  
• Luiza Marija F. Carneiro-Coffin, Donald D. Cowan, Carlos José Pereira de Lucena:
  ADVcharts: a graphical specification for abstract data views. 84-96
  
• Nancy A. Day:
  An example of linking formal methods with case tools: a model checker for statecharts. 97-107
  
• Jan de Meer, Axel Rennoch, Jörg Burmeister:
  Formal approach to QoS specification and verification. 108-119
  
• Michael W. Godfrey:
  Visual formalisms for configuration management. 120-127
  
• Jeffrey J. Joyce:
  Integration of CASE into undergraduate education. 128-137
  

Software evolution

• Carl S. Hartzman, Charles F. Austin:
  Maintenance productivity: observations based on an experience in a large system environment. 138-170
  
• J. Howard Johnson:
  Identifying redundancy in source code using fingerprints. 171-183
  
• Ferhat Khendek, Gregor von Bochmann:
  Formal specifications design, evolution and reuse. 184-193
  
• Kostas Kontogiannis:
  Program representation and behavioural matching for localizing similar code fragments. 194-205
  
• Kostas Kontogiannis, Morris Bernstein, Ettore Merlo, Renato de Mori:
  The development of a partial design recovery environment for legacy systems. 206-216
  
• Hausi A. Müller, Scott R. Tilley, Kenny Wong:
  Understanding software systems using reverse engineering technology perspectives from the Rigi project. 217-226
  
• Santanu Paul, Atul Prakash:
  Generating programming language-based pattern matchers. 227-243
  
• Kenny Wong:
  Managing views in a program understanding tool. 244-249
  

Software development processes

• Tilmann F. W. Bruckhaus:
  The impact of inserting a tool into a software process. 250-264
  
• Khaled El Emam, Nadir Moukheiber, Nazim H. Madhavji:
  An empirical evaluation of the G/Q/M method. 265-289
  
• David Raffo:
  Evaluating the impact of process improvements quantitatively using process modeling. 290-313
  
• Carolyn B. Seaman:
  OPT: organization and process together. 314-324
  
• Andrew Z. Tong:
  A proposed approach to process decomposition and collaboration for MARVEL. 325-336
  
• Joe Wigglesworth:
  Surveys as a method for improving the development process. 337-355
  
• Alan T. Yaung, Tzvi Raz:
  Linkage metrics for process reengineering. 356-370
  

Quality engineering

• Mark Changfoot, Ted Fines, Rod Lawson, Nick Lecic, Pat Morenz, Doug Mortson, Pramod Patel, Shelagh Roberts, Sheik Sahib, Rollie Sing:
  How one product team met the quality challenge. 371-399
  
• Mayuram S. Krishnan:
  Cost, quality and user satisfaction of software products: an empirical analysis. 400-411
  
• Arthur G. Ryman:
  Illuminating software specifications. 412-428
  
• Joel Troster, John Henshaw, Erich B. Buss:
  Filtering for quality. 429-449
  

Testing and debugging

• Mariano P. Consens, Masum Z. Hasan, Alberto O. Mendelzon:
  Using Hy⁺ for network management and distributed debugging. 450-471
  
• Daniel Hoffman, Paul A. Strooper:
  A case study in class testing. 472-482
  
• Joe Palma, Jeff Tian, Peng Lu:
  Collecting data for software reliability analysis and modeling. 483-494
  
• Kuo-Chung Tai, Amit M. Paradkar, Hsun-Kang Su, Mladen A. Vouk:
  Fault-based test generation for cause-effect graphs. 495-504
  
• David J. Taylor:
  The use of process clustering in distributed-system event displays. 505-512
  
• Mladen A. Vouk, Kuo-Chung Tai:
  Some issues in multi-phase software reliability modeling. 513-523
  
• Scotte Zinn, Michael H. Coffin:
  Efficient event generation for detecting races. 524-536
  

Object-oriented technology

• Terry Coatta:
  Using objects to distribute configuration management tasks. 537-547
  
• Harumi A. Kuno, Elke A. Rundensteiner:
  Developing an object-oriented view management system. 548-562
  
• Wilf R. LaLonde, John R. Pugh, Paul White, Jean-Pierre Corriveau:
  Towards unifying analysis, design, and implementation in object-oriented environments. 563-569
  
• Christina Lau:
  Using SOM for tool integration. 570-580
  
• Spiros Mancoridis:
  A multi-dimensional taxonomy of software development environments. 581-594
  
• M. Tamer Özsu, Randal J. Peters, Boman Irani, Anna Lipka, Adriana Muñoz, Duane Szafron:
  TIGUKAT object management system: initial design and current directions. 595-611
  
• Colin Ware, David Hui, Glenn Franck:
  Visualizing object oriented software in three dimensions. 612-620
  

Volume 2

Challenges in distributed systems

• Gopi K. Attaluri, Dexter P. Bradshaw, Patrick J. Finnigan, Nigel Hinds, Michael H. Kalantar, Kelly A. Lyons, Andrew D. Marshall, Jan K. Pachl, Hong Tran:
  Operation jump start: a CORDS integration prototype using DCE. 621-636
  
• Germán S. Goldszmidt:
  On distributed system management. 637-647
  
• Christoph Lingenfelder, Sven Lorenz:
  Knowledge-based security administration in a distributed environment. 648-660
  
• Emanuel G. Noik:
  Exploring large hyperdocuments: fisheye views of nested networks. 661-676
  
• Jerome A. Rolia, M. Starkey, G. Boersma:
  Modeling RPC performance. 677-690
  
• Gerald A. Winters, Toby J. Teorey:
  Managing heterogeneous distributed computing systems: using information repositories. 691-706
  

Information services

• Claude Chapdelaine, Raymond Descout, Pierre Billon:
  Interface design issues in the MEDIALOG_TM project. 707-714
  
• James Emery, Ahmed Karmouch:
  A document model for multimedia information. 715-728
  
• Patrícia Gomes Soares, Alan Randolph Karben:
  Implementing a delegation model design of an HPCC application using concert/C. 729-738
  
• Nigel Hinds:
  Distributed information discovery challenges. 739-745
  
• Norbert Luttenberger:
  Multimedia integration in the RACE BANK multimedia broadband cooperation projects. 746-757
  
• Christophe Ramstein:
  COOPDRAW: a multiagent architecture for a shared graphical editor. 758-766
  

Multidatabase systems

• Neil Coburn, T. Patrick Martin, Per-Åke Larson, Jacob Slonim:
  CORDS multidatabase project: research and prototype overview. 767-778
  
• T. Patrick Martin, Wendy Powley:
  Database integration using multidatabase views. 779-788
  
• G. N. Paulley:
  Engineering an SQL gateway to IMS. 789-803
  
• G. N. Paulley, Per-Åke Larson:
  Exploiting uniqueness in query optimization. 804-822
  
• Weipeng P. Yan:
  Interchanging group-by and join in distributed query processing. 823-831
  
• Qiang Zhu:
  An integrated method for estimating selectivities in a multidatabase system. 832-847
  
• Qiang Zhu, Per-Åke Larson:
  Query optimization using fuzzy set theory for multidatabase systems. 848-859
  

Distributed transaction management

• Gopi K. Attaluri:
  Logical concurrency control for large objects in a multidatabase system. 860-872
  
• Gopi K. Attaluri, Dexter P. Bradshaw:
  Architecture for transaction management in the CORDS multidatabase service. 873-887
  
• Barry J. Brachman, Gerald W. Neufeld:
  Weakly consistent transactions in ROSS. 888-894
  
• Dexter P. Bradshaw:
  Composite multidatabase system concurrency control and recovery. 895-909
  
• George T. Heineman:
  A transaction manager component for cooperative transaction models. 910-918
  

Compiler technology for parallel machines

• Eshrat Arjomandi, Ivan Kalas, William G. O'Farrell:
  Concurrency abstractions in a C++ class library. 919-932
  
• Pankaj Kumar:
  Language support for data parallelism in pointer based dynamic data structures. 933-941
  
• Qi Ning:
  Register allocation for optimal loop scheduling. 942-955
  
• Ian Parsons:
  Evaluation of distributed communication systems. 956-970
  
• Harjinder S. Sandhu:
  Consistency and event ordering in the shared regions model. 971-984
  
• Dimitra Vista:
  Deductive database support for data visualization. 985-998
  
• Gregory V. Wilson, Jonathan Schaeffer, Duane Szafron:
  Enterprise in context: assessing the usability of parallel programming environments. 999-1010
  

Documentation

• Mark H. Chignell, Gene Golovchinsky, Ferdie Poblete, Sarah Zuberec:
  Information visualization and interactive querying for online documentation and electronic books. 1011-1020
  
• Jennifer Farkas:
  Documents, concepts and neural networks. 1021-1031
  
• Anna M. Giardino, Stephen G. Pearce:
  Determining core competences in the information development environment: an example. 1032-1040
  
• Kathleen Dowling, Melanie Steckham:
  Validating a core competence: information development. 1041-1052
  
• Frances L. Palacio, Douglas R. Bloch, Carol Righi:
  A comparison of interobserver agreement and quantity of usability data obtained using graphics-based and text-based data collection tools. 1053-1058
  
• Mark Ryan:
  Writing about C++. 1059-1070
  
• Michel Simard, George F. Foster, Pierre Isabelle:
  Using cognates to align sentences in bilingual corpora. 1071-1082
  
• Scott R. Tilley:
  Documenting-in-the-large vs. documenting-in-the-small. 1083-1090
  

Potpourri

• Radu I. Campeanu, John D. McFall:
  Colour monitor calibration based on CIE standards. 1091-1118
  
• Carlos Escalante:
  A simple model of prolog's performance: extensional predicates. 1119-1132
  
• Pierre Isabelle, Marc Dymetman, George F. Foster, Jean-Marc Jutras, Elliott Macklovitch, François Perrault, Xiaobo Ren, Michel Simard:
  Translation analysis and translation automation. 1133-1147
  
• Kelly A. Lyons, Henk Meijer, David Rappaport:
  Properties of the voronoi diagram cluster buster. 1148-1163
  
• John D. McFall:
  Managing and Reproducing Colour Images (MARCI). 1164-1179