Conferences in DBLP
Mary Shaw , Paul C. Clements A Field Guide to Boxology: Preliminary Classification of Architectural Styles for Software Systems. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:6-13 [Conf ] Rick Kazman , Paul C. Clements , Leonard J. Bass , Gregory D. Abowd Classifying Architectural Elements as a Foundation for Mechanism Matching. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:14-17 [Conf ] Harald Gall , Mehdi Jazayeri , René Klösch , Georg Trausmuth The Architectural Style of Component Programming. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:18-0 [Conf ] Jian-Cheng Dai , Gwo-Dong Chen , Chen-Chung Liu , Baw-Jhiune Liu A temporal behavioral object model for object-oriented databases. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:28-31 [Conf ] Raymond A. Paul , Tosiyasu L. Kunii , Yoshihisa Shinagawa , Arif Ghafoor Object-Oriented Evolutionary Database Design for Software Metrics Data. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:32-37 [Conf ] Loon-Been Chen , I-Chen Wu On the Complexity of the Minimum and Maximum Global Snapshot Problems. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:38-0 [Conf ] Prasun Dewan Research directions in collaborative applications. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:44-45 [Conf ] Richard P. Sinn Distributed Object Technologies for Collaborative Computing. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:46-0 [Conf ] Chunbo Zhou , Atsumi Imamiya Object-based nonlinear undo model. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:50-55 [Conf ] Norman R. Howes Architecture and reengineering. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:56-59 [Conf ] Xudong He , Weili Yao Translating hierarchical predicate transition nets to CC++ program skeletons. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:60-65 [Conf ] Sohail Sheikh , Raj Ganesan Replication of multimedia data using master-slave architecture. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:66-0 [Conf ] Joo-Yong Kim , Sang Hyuk Son , Kern Koh The Ceiling Adjustment Scheme for Improving the Concurrency of Real-Time Systems with Mixed Workloads. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:72-75 [Conf ] O. A. Abulnaja , Seyed H. Hosseini , K. Vairavan On the Effect of Recovery Block Scheme on System Performance. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:76-81 [Conf ] Yeh-Ching Chung , Ching-Hsien Hsu Efficient Method for kr->r and r->kr Arrary Redistribution. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:82-87 [Conf ] Ehab S. Al-Shaer Event Filtering Framework: Key Criteria and Design Trade-offs. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:88-0 [Conf ] Ifay F. Chang Internet interactive authoring, teach and learning-a breakthrough for education. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:97-0 [Conf ] Sung-Woo Chang , Hyoung-Joo Kim SOPView+: an object browser which supports navigating database by changing base object. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:100-103 [Conf ] Amir A. Khwaja Enhancing extensibility of the design rule checker of an EDA tool by object-oriented modeling. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:104-108 [Conf ] Gyu-Tae Kim , Sung Deok Cha , Doo-Hwan Bae Task.o object modeling approach for robot workcell programming. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:109-114 [Conf ] Deron Liang , Win-Tsung Lo , Yu-Ming Kao , Shyan-Ming Yuan , Yue-Shan Chang A fault tolerant object transaction service in CORBA. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:115-120 [Conf ] K. H. Kim , Chittur Subbaraman Interconnection schemes for RTO.k objects in loosely coupled real-time distributed computer systems. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:121-0 [Conf ] Tien-Chen Ho , Shang-Juh Kao A New Performance Analysis Model of the Local Switching System. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:130-136 [Conf ] Ing-Ray Chen , Tsong-Min Chen , Chiang Lee Performance characterization of forwarding strategies in personal communication networks. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:137-142 [Conf ] Chye-Lin Chee , Hongjun Lu , Hong Tang , C. V. Ramamoorthy Improving I/O response times via prefetching and storage system reorganization. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:143-148 [Conf ] Devendra Kumar , Amit Kohli , Venkatasubramaniam Narayanswamy Faster Simulation of Timed Petri Nets Via Distributed Simulation. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:149-152 [Conf ] I-Ling Yen , K. Karun Implementation and performance assessment of multilevel data structures. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:153-0 [Conf ] Chung-Horng Lung Empirical experiences in analyzing software architecture sensitivity. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:164-165 [Conf ] Connie U. Smith Performance engineering for software architectures. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:166-0 [Conf ] Mehdi Jazayeri Issues in software component technology: position statement. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:171-172 [Conf ] Wei-Tek Tsai Trends in software technology. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:173-0 [Conf ] Gabor Karsai , Amit Misra , Janos Sztipanovits , Ákos Lédeczi , Michael Moore Model-integrated system development: models, architecture, and process. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:176-181 [Conf ] Hirotaka Hara , Takahide Matsutsuka , Nobuyuki Kanaya , Takao Ookubo , Sanya Uehara Model-Based Architecture for the Intranet. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:182-187 [Conf ] Daniel E. Cooke Abstraction, concurrency, and communal computing in SequenceL. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:188-191 [Conf ] Keith Vanderveen , C. V. Ramamoorthy Partial instantiation theorem proving for distributed resource location. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:192-0 [Conf ] Guoren Wang , Ge Yu , Bin Zhang , Huaiyuan Zheng A Schema Intergration Architecture for Multidatabase Systems. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:200-203 [Conf ] Yao-Nan Lien , Chih-Lin Hu Composition can be Faster than Join. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:204-209 [Conf ] Hsian-Chou Liao , Ming-Feng Chen , Feng-Jian Wang , Jian-Cheng Dai Using a Hierarchical Thesaurus for Classifying and Searching Software Libraries. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:210-216 [Conf ] Victoria Hilford , Farokh B. Bastani , Bojan Cukic EH* - Extendible Hashing in a Distributed Environment. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:217-0 [Conf ] Wen Gao Compunication: From Concept to Practice. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:224-0 [Conf ] Yoichi Omori , Kazuki Joe , Akira Fukuda A Parallelizing Compiler by Object Oriented Design. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:228-231 [Conf ] Tatsuhiro Tsuchiya , Hirofumi Terada , Shinji Kusumoto , Tohru Kikuno , Eun Mi Kim Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:232-239 [Conf ] Xiaoping Jia A Pragmatic Approach to Formalizing Object-Oriented Modeling and Development. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:240-245 [Conf ] Akira K. Onoma , Mutsumi Komuro , Hiroshi Suganuma , Akefumi Kumeta , Tsutomu Syomura Management of Object Oriented Development based on Ranked Use Cases. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:246-251 [Conf ] Tatsuhiro Tsuchiya , Hirofumi Terada , Shinji Kusumoto , Tohru Kikuno , Eun Mi Kim Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:252-0 [Conf ] Hyoung Seok Hong , Sung Deok Cha , Yong Rae Kwon On the concurrent behaviour of SCR specifications. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:258-263 [Conf ] Chao-Tsun Chang , William C. Chu , Chung-Shyan Liu , Hongji Yang A formal approach to software components classification and retrieval. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:264-269 [Conf ] Colin J. Hardy , Helen M. Edwards , J. Barrie Thompson Trends and developments in CASE and structured methods: a European perspective. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:270-273 [Conf ] Kiyoh Nakamura , Yoshinobu Fujii , Yukio Kiyokane , Masami Nakamura , Katsuhiko Hinenoya , Yeo Hua Peck , Siow Choon-Lian Distributed and Concurrent Development Environment via Sharing Design Information. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:274-0 [Conf ] Year 2000 Problem: A "Paper Tiger" or A "Real Tiger"? [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:282-282 [Conf ] Robert A. Martin Year 2000 Compliance: A Discussion on Compliance Certification. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:283-284 [Conf ] Takashi Sano Re-engineering solutions for Y2K challenge. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:285-286 [Conf ] Wei-Tek Tsai Application of data-centered approach to Year 2000 problem. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:287-0 [Conf ] Min-You Wu , Wei Shu , Karthikeyan Samuthiram Optimal Scheduling for Normal and Interactive Operations in Parallel Video Servers. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:290-295 [Conf ] Shunge Li , Bharat K. Bhargava Active Gateway: A Facility for Video Conferencing Traffic Control. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:296-301 [Conf ] Zhaohui Kevin Li , Young Francis Day , Husni Fahmi , Arif Ghafoor A Multimedia Information System for Document Authoring, Indexing and Presentation. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:302-311 [Conf ] Jean-François Huard , Aurel A. Lazar On QOS Mapping in Multimedia Networks. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:312-0 [Conf ] Mika Ohtsuki , Jun'ichi Segawa , Norihiko Yoshida , Akifumi Makinouchi Structured Document Framework for Design Patterns Based on SGML. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:320-323 [Conf ] Takeiki Aizono , Katsumi Kawano , Hiroshi Wataya , Kinji Mori Autonomous Decentralized Software Structure for Integration of Information and Control Systems. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:324-331 [Conf ] Jonathan P. Bowen , Michael G. Hinchey The use of industrial-strength formal methods. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:332-337 [Conf ] Carl K. Chang , Yi-Te Tseng , Ugo Buy Compiling process algebraic specifications into timed automata. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:338-343 [Conf ] Eyðun Eli Jacobsen , Bent Bruun Kristensen , Palle Nowack Patterns in the analysis, design and implementation of frameworks. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:344-0 [Conf ] Soo-Hyun Park , Sang-Hoon Park , Doo-Kwon Baik Farming Methodology for TMN Platform Independent Class Repository Design. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:352-351 [Conf ] Jae-young Chang , Sang-goo Lee An optimization of disjunctive queries: union-pushdown. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:356-361 [Conf ] Sang Hyuk Son , Robert C. Beckinger , David A. Baker DRDB: a distributed real-time database server for high-assurance time-critical applications. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:362-367 [Conf ] Vincent Ng , Tiko Kameda Concurrent access to point data. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:368-0 [Conf ] Sridevi Palacharla , Ahmed Karmouch , Samy A. Mahmoud Design and Implementation of a Real-time Multimedia Presentation System using RTP. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:376-381 [Conf ] Sheng-Yih Wang , Bharat K. Bhargava Multi-pass Transmission Policy: An Effective Method of Transmitting Large Multimedia Objects in the Wide-Area Network. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:382-387 [Conf ] Ramzi R. Yehia , Imadeldin O. Mahgoub Storage System and the Multimedia Challenges. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:388-0 [Conf ] Chia-Chu Chiang , Joseph E. Urban Scalable Templates for Specification Reuse. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:396-401 [Conf ] Jim-Min Lin Cross-Platform Software Reuse by Functional Integration Approach. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:402-408 [Conf ] Xiaodong Liu , Hongji Yang , Hussein Zedan Formal Methods for the Re-Engineering of Computing Systems: A Comparison. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:409-0 [Conf ] Kathy Bohrer , Verlyn M. Johnson , Anders Nilsson , Bradley Rubin he San Francisco project: an object-oriented framework approach to building business applications. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:416-0 [Conf ] Kasilingam Periyasamy , J. Chidambaram A Method for Structural Compatibility in Software Reuse Using Requirements Specifcation. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:426-433 [Conf ] Thomas S. Anantharaman , Bud Mishra Statistical Algorithms and Software for Genomics. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:434-437 [Conf ] Stephen J. H. Yang , William C. Chu , Jonathan Lee , Wei T. Huang A Fuzzy Petri Nets Based Mechanism for Fuzzy Rules Reasoning. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:438-443 [Conf ] Chungti Liang , Brad Phelps , Jack Tan Techniques for addressing the Year 2000 transition. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:444-0 [Conf ] Satoshi Kumagai , Shuzo Kishima , Kiyoshi Itoh Domain Analysis and Modeling for Concurrent Engineering in Plant Monitoring and Operations. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:450-453 [Conf ] Mikio Aoyama Agile Software Process model. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:454-459 [Conf ] C. Sashidhar , Sol M. Shatz Design and Implementation Issues for Supporting Callback Procedures in RPC-Based Distributed Software. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:460-466 [Conf ] Kann-Jang Yang , Rob Pooley Process Modelling to Support the Unified Modelling Language. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:467-0 [Conf ] Herman Chung-Hwa Rao , Ming-Feng Chen , Feng-Jian Wang An Overview of the Internet File System. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:474-477 [Conf ] Yuh-Rong Leu , Chun-Lai Cheng Implementation Considerations for Mobile IP. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:478-481 [Conf ] Ping-Jer Yeh , Shyan-Ming Yuan , Winston Lo Two-level Web agent for limited accessibility. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:482-485 [Conf ] Robert N. Smith , Balan Mahesh , Sharada Bindiganavale An adaptive mobile wireless handover. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:486-0 [Conf ] Satish Subramanian Software Asset Management and Domain Engineering. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:494-495 [Conf ] Masao J. Matsumoto Software Reuse: On Critical Issues of Hinagata-based Software Development. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:496-0 [Conf ] William E. Howden Systems testing and statistical test data coverage. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:500-504 [Conf ] Jeffrey M. Voas Building Software Recovery Assertions from a Fault Injection-based Propagation Analysis. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:505-510 [Conf ] Nashat Mansour , Khaled Fakih Natural Optimization Algorithms for Optimal Regression Testing. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:511-514 [Conf ] Richard A. DeMillo , Hsin Pan , Eugene H. Spafford Failure and Fault Analysis for Software Debugging. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:515-521 [Conf ] W. Eric Wong , Joseph Robert Horgan , Aditya P. Mathur , Alberto Pasquini Test Set Size Minimization and Fault Detection Effectiveness: A Case Study in a Space Application. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:522-0 [Conf ] Christian Stary , Nikolas Vidakis , Stefan Mohacsi , Markus Nagelholz Workflow-oriented prototyping for the development of interactive software. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:530-535 [Conf ] George Jyh-Shian Chang , Girish Patel , Liam Relihan , Jason Tsong-Li Wang A graphical environment for change detection in structured documents. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:536-541 [Conf ] Siew Hock Ow , Mashkuri Yaacob A Study on the Requirements Review Process in Software Development: Problems and Solutions. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:542-547 [Conf ] Raimund K. Ege KAPSEL - Programming within Boundaries. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:548-551 [Conf ] Jürgen K. Müller Feature-oriented software structuring. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:552-0 [Conf ] Chao-Ju Hou , Ching-Chih Han , Yao-Min Chen Communication Middleware and Software for QoS Control in Distributed Real-Time EnvironmentsSpecifically, we consider the following innovative research components. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:558-564 [Conf ] Sun-Jen Huang , Richard Lai Estimating the size of an Estelle specification for a communication protocol. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:565-568 [Conf ] David Wai-Lok Cheung , Chi-Hung Lee , Vincent Ng A content-based search engine on medical images for telemedicine. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:569-572 [Conf ] Vaduvur Bharghavan , Vijay Gupta A framework for application adaptation in mobile computing environments. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:573-579 [Conf ] William Perrizo , Zhili Zhang , Stephen Krebsbach Strategies for implementing distributed query algorithms over high-speed, bandwidth-on-demand, wide area networks. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:580-0 [Conf ] Janet M. Drake Social Issues in the Collection and Use of Software Metric Data Position Paper: Metrics: Promise vs. Implementation. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:586-587 [Conf ] Fred M. Hall Army software metrics training. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:588-588 [Conf ] Don Scott Lucero Software measurement in the U.S. Army. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:589-590 [Conf ] Charles B. Tichenor The Internal Revenue Service function point analysis program: a brief. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:591-0 [Conf ] Jerry Gao , Cris Chen , Yasufumi Toyoshima , David K. Leung Developing an Integrated Testing Environment Using the World Wide Web Technology. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:594-601 [Conf ] Kuo-Chung Tai , Fonda J. Daniels Test Order for Inter-Class Integration Testing of Object-Oriented Software. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:602-607 [Conf ] Tsong Yueh Chen , Man Fai Lau Two test data selection strategies towards testing of Boolean specifications. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:608-611 [Conf ] Viral Shah , Sourav Bhattacharya Fault propagation analysis based variable length checkpoint placement for fault-tolerant parallel and distributed systems. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:612-615 [Conf ] Brian Ness , Viet Ngo Regression Containment through Source Change Isolation. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:616-0 [Conf ] Atsushi Ohnishi , Norihiro Tokuda Visual software requirements definition environment. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:624-629 [Conf ] Anneliese von Mayrhauser , A. Marie Vans Program understanding needs during corrective maintenance of large scale software. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:630-637 [Conf ] Trevor Williams , Jack Tan , Chungti Liang Efficient implementation strategies for the DRB approach in fault-tolerant hypercubes. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:638-641 [Conf ] Lijun Dong , Jiafu Xu Formal semantics of some functional constructs of the software requirements definition language NDRDL. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:642-645 [Conf ] Malcolm Shroff , Robert B. France Towards a formalization of UML class structures in Z. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:646-0 [Conf ] Suan-Suan Chew , Kok-Leong Ng , Chye-Lin Chee IAuth: An authentication system for Internet applications. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:654-659 [Conf ] Zhaoxia Huang , Shengxi Zhou , Shengru Tu Java Communication Interfaces for Control Systems. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:660-663 [Conf ] James R. Bindas Defining the software process for intranet distribution. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:664-667 [Conf ] Devendra Kumar , S. Sitharama Iyengar A Semiformal Correctness Proof of a Network Broadcast Algorithm. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:668-0 [Conf ] Tsuneo Yamaura Can a software project be like Einstein?. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:675-0 [Conf ] Yun Jiang , Akifumi Makinouchi A parallel hash-based join algorithm for a networked cluster of multiprocessor nodes. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:678-0 [Conf ]