Abstract is missing.
- Temporal Event Analysis and Program UnderstandingWilliam E. Howden, G. M. Shi. 4-11 [doi]
- FunZ Designs A Bridge between Z Specifications and Haskell ImplementationsLinda B. Sherrell, Doris L. Carver. 12-17 [doi]
- Automatic Generation of C++ Code from an ESCRO2 SpecificationPaul C. Grabow, L. Liu. 18-25 [doi]
- A Multi-Dimensional Data Visualization Tool for Knowledge Discovery in DatabasesHing-Yan Lee, Hwee-Leng Ong, Eng-Whatt Toh, Sieu-Kong Chan. 26-31 [doi]
- A Knowledge-based Approach for Worst-case Timing Analysis of Microprocessor SystemsS. M. Yuen, K. P. Lam. 32-39 [doi]
- Knowledge Reuse through the Application of the Object Knowledge Canonical FormKunhuang Huarng, Dick B. Simmons. 40-49 [doi]
- A method for analyzing properties of hierarchical predicate transition netsXudong He. 50-55 [doi]
- Mechanical synthesis of a unification algorithm in PowerEpsilonMing-Yuan Zhu, Xiao-Bai Mo. 56-61 [doi]
- Expressing JSD in ZJonathan Lee, Wei T. Huang, Cheng-Kai Chang, Jiann-I Pan. 62-69 [doi]
- Design and Implementation of Multiple Type Objects in a Persistent Programming LanguageMasayoshi Aritsugi, Akifumi Makinouchi. 70-76 [doi]
- An Expanded View of Domain Modeling for Software AnalogyChung-Horng Lung, Joseph E. Urban. 77-82 [doi]
- Dynamic Hierarchy for Multiagent Air CombatBoris Stilman. 83-89 [doi]
- A Technology Forecast90-90
- Improving software process to implement a wireless mobile networkK. A. Gibson. 91-92
- Software Technology in the 21st Century: A Technology Forecast (Panel) Parallel Software Engineering - Goals 2000Carl Murphy. 93-95
- Requirement Specification in Pseudo-Natural Language in PROMISRuqian Lu, Zhi Jin, Ronglin Wan. 96-101 [doi]
- Checking Program Proofs Made EasMartina Schollmeyer, Bruce M. McMillin. 102-107 [doi]
- An approach to animating Z specificationsXiaoping Jia. 108-121 [doi]
- A Study on Developing a Distributed Problem Solving SystemEun Gyung Kim. 122-127 [doi]
- Using Constraints for Distributed Query ProcessingJongpil Yoon. 128-133 [doi]
- Management of Flexible Transactions Using Semantics in Multidatabase SystemsSoon Myoung Chung, Pyeong S. Mah, Junguk L. Kim. 134-143 [doi]
- Performance Evaluation of Dynamic Signature File MethodsJae Soo Yoo, Myoung-Ho Kim, Yoon-Joon Lee, Byoung Mo Im. 144-149 [doi]
- Applying Dynamic Buffer Allocation to Predictive Load ControlSangdon Lee, Sukho Lee. 150-155 [doi]
- Lagrangian Techniques for Solving a Class of Zero-One Integer Linear ProgramsYao-Jen Chang, Benjamin W. Wah. 156-161 [doi]
- A Simple Tree Pattern Matching Algorithm for Code GeneratorTzer-Shyong Chen, Feipei Lai, Rung-Ji Shang. 162-169 [doi]
- Department of Defense Information Technology InitiativesMargaret E. Myers. 170-171
- The Object-Inferencing Framework: A Prolog-Based Approach for Extracting Structure from Computer GraphicsDavid J. Russomanno. 172-177 [doi]
- User Interface Design: The WHO, the WHAT, and the HOW RevisitedChristian Stary. 178-183 [doi]
- LISTEN: A Tool to Investigate the Use of Sound for the Analysis of Program BehaviorDavid B. Boardman, Geoffrey Greene, Vivek Khandelwal, Aditya P. Mathur. 184-191 [doi]
- Object Oriented Design for a Distributed Priority QueuePen-Nan Lee, Lawrence Miller, Ping-Chuan Tai, Yiwei Chen. 192-198 [doi]
- Application layer software fault tolerance for distributed object-oriented systemsHyun C. Kim, V. S. S. Nair. 199-204 [doi]
- IPCC++: A C++ Extension for InterProcess Communication with ObjectsShelly S. Stubbs, Doris L. Carver. 205-211 [doi]
- A Policy Independent Metric for Process Selection in Distributed SystemsYvan Cazabon, Michael Bauer. 212-217 [doi]
- Quality Assessment for Multiple Server Cooperating SystemsI-Ling Yen, Ing-Ray Chen. 218-223 [doi]
- Improving Software Quality through a Novel Testing StrategyXiaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert. 224-231 [doi]
- Object state testing for object-oriented programsJerry Z. Gao, David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen. 232-238 [doi]
- A Test Strategy for Object-Oriented ProgramsDavid Chenho Kung, Jerry Gao, Pei Hsia, Yasufumi Toyoshima, Cris Chen. 239-244 [doi]
- Hierarchical Multimodel-Based Structural Consistency Support Tools for Specifying and Prototyping Complex SystemsWah Kheang Cheung, Chrystopher L. Nehaniv, Kenjiro Takai Miura, Yin Seong Ho. 245-255 [doi]
- Architectural Framework for Developing Concurrent ApplicationsGiorgio Bruno, Rakesh Agarwal. 256-261 [doi]
- Creating A Distributed Environment Using Object-Oriented TechnologyCarl K. Chang, Bashir Haswarey, Pattanasak Mongkolwat. 262-267 [doi]
- Deriving distributed algorithms from a general predicate detectorJ. Roger Mitchell, Vijay K. Garg. 268-277 [doi]
- A Hybrid Approach to Object Library Classification and RetirevalChao-Tsun Chang, Chung-Shyan Liu. 278-283 [doi]
- Reverse Engineering from COBOL to Narrative SpecificationT. Yoshino, Sanya Uehara, Takao Okubo, S. Suguta, Y. Hotta, M. Sonobe. 284-289 [doi]
- Component Reuse Through Reverse Engineering and Semantic Interface AnalysisWilliam C. Chu, Hongji Yang. 290-297 [doi]
- HyperDisco: An Object-Oriented Hypermedia Framework for Flexible Software System IntegrationUffe Kock Wiil. 298-305 [doi]
- Scheduling dependent real-time multimedia tasks on distributed systemsHsing Mei. 306-317 [doi]
- Evaluating the Effectiveness of Process Improvements on Software Development Cycle Time via System Dynamics ModelingJohn D. Tvedt, James S. Collofello. 318-325 [doi]
- A horizontal approach for software process improvementOnur Demirörs, Dennis J. Frailey. 326 [doi]
- The Multimedia Desktop Conference System Adaptability in Network Traffic on LANJin Ho Jung, Hyun Seung Yang. 334-338 [doi]
- Storing Continuous Media Objects Using Parallelism With MergingAlfred R. Watkins, Edward Omiecinski. 339-345 [doi]
- FFU: Far-Future-Using Replacement Algorithms for Continuous Media Storage SystemTaeck-Geun Kwon, Sukho Lee. 346-355 [doi]
- Transformation of Relational Schemas to Object-Oriented SchemasWeiyi Meng, Aqueo Kamada, Yuhsi Chang. 356-361 [doi]
- A Multiparadigm Programming Approach for Developing Knowledge-Based SystemsP. K. C. Pun, Hilary J. Kahn. 362-369 [doi]
- An Architecture-Independent Software Development Approach for Parallel Processing SystemsStephen S. Yau, Doo-Hwan Bae, Jun Wang. 370-375 [doi]
- Software Support for Asynchronous Computing Across NetworksMark E. Cavender, Xiaodong Zhang. 376-382 [doi]
- A software platform for solving PDEs on distributed systems: implementation issues and performance predictionChi-Chung Hui, Mounir Hamdi, Ishfaq Ahmad. 383-389 [doi]
- Software Fault Tolerance: Has it Arrived Yet?390
- (Position Paper) Fault-Tolerant SoftwareFarokh B. Bastani. 391
- (Position Paper) Quantitative Analysis of Software- and Hardware- Fault ToleranceJoanne Bechta Dugan, K. H. Kim. 392
- (Position Paper) Software Fault Tolerance at the Operating System Level393-395
- A General Approach to Evaluation of Secure SystemsQi Shi, Ning Zhang. 396-401 [doi]
- Enforcing complex security policies for commercial applicationsI-Lung Kao, Randy Chow. 402-408 [doi]
- A Framework for Designing Safe Software SystemsSatish Subramanian, Ramakrishna V. Vishnuvajjala, Ramin Mojdehbakhsh, Wei-Tek Tsai, Lynn Elliott. 409-415 [doi]
- Designing Chinese Typeface Using ComponentsPaul Yiu Chung Wong, Siu Chi Hsu. 416-421 [doi]
- Information Mediation System Design Strategy among Telecommunication Related Information SystemsFu-Fu Shen, Whei-Yee Lin, Chea-Yean Wong, Chien-Wei Cheng, Hsien-Sheng Chen. 422-429 [doi]