Advances in Formal Methods I

• 
  William E. Howden, G. M. Shi: Temporal Event Analysis and Program Understanding. 4-11
• 
  Linda B. Sherrell, Doris L. Carver: FunZ Designs A Bridge between Z Specifications and Haskell Implementations. 12-17
• 
  Paul C. Grabow, L. Liu: Automatic Generation of C++ Code from an ESCRO2 Specification. 18-24
• 
  Hing-Yan Lee, Hwee-Leng Ong, Eng-Whatt Toh, Sieu-Kong Chan: A Multi-Dimensional Data Visualization Tool for Knowledge Discovery in Databases. 26-31
• 
  S. M. Yuen, K. P. Lam: A Knowledge-based Approach for Worst-case Timing Analysis of Microprocessor Systems. 32-39
• 
  Kunhuang Huarng, Dick B. Simmons: Knowledge Reuse through the Application of the Object Knowledge Canonical Form. 40-45
• 
  Xudong He: A method for analyzing properties of hierarchical predicate transition nets. 50-55
• 
  Ming-Yuan Zhu, Xiao-Bai Mo: Mechanical synthesis of a unification algorithm in PowerEpsilon. 56-61
• 
  Jonathan Lee, Wei T. Huang, Cheng-Kai Chang, Jiann-I Pan: Expressing JSD in Z. 62-67

Modeling Techniques

• 
  Masayoshi Aritsugi, Akifumi Makinouchi: Design and Implementation of Multiple Type Objects in a Persistent Programming Language. 70-76
• 
  Chung-Horng Lung, Joseph E. Urban: An Expanded View of Domain Modeling for Software Analogy. 77-82
• 
  Boris Stilman: Dynamic Hierarchy for Multiagent Air Combat. 83-88

Software Technology in the 21st Centurey

• 
  Software Technology in the 21st Centurey: A Technology Forecast. 90
• 
  K. A. Gibson: Improving software process to implement a wireless mobile network. 91-92
• 
  Carl Murphy: Parallel Software Engineering - Goals 2000. 93-95

Software Support Leverage for Formal Methods

• 
  Ruqian Lu, Zhi Jin, Ronglin Wan: Requirement Specification in Pseudo-Natural Language in PROMIS. 96-101
• 
  Martina Schollmeyer, Bruce M. McMillin: Checking Program Proofs Made Eas. 102-107
• 
  Xiaoping Jia: An approach to animating Z specifications. 108-113

Database Applications

• 
  Eun Gyung Kim: A Study on Developing a Distributed Problem Solving System. 122-127
• 
  Jongpil Yoon: Using Constraints for Distributed Query Processing. 128-133
• 
  Soon Myoung Chung, Pyeong S. Mah, Junguk L. Kim: Management of Flexible Transactions Using Semantics in Multidatabase Systems. 134-141

Performance Evaluation and Optimization

• 
  Jae Soo Yoo, Myoung-Ho Kim, Yoon-Joon Lee, Byoung Mo Im: Performance Evaluation of Dynamic Signature File Methods. 144-149
• 
  Sangdon Lee, Sukho Lee: Applying Dynamic Buffer Allocation to Predictive Load Control. 150-155
• 
  Yao-Jen Chang, Benjamin W. Wah: Lagrangian Techniques for Solving a Class of Zero-One Integer Linear Programs. 156-161
• 
  Tzer-Shyong Chen, Feipei Lai, Rung-Ji Shang: A Simple Tree Pattern Matching Algorithm for Code Generator. 162-167

Thursday Plenary Session: Keynote Address II

• 
  Margaret E. Myers: Department of Defense Information Technology Initiatives. 170-171

Software Development Tools

• 
  David J. Russomanno: The Object-Inferencing Framework: A Prolog-Based Approach for Extracting Structure from Computer Graphics. 172-177
• 
  Christian Stary: User Interface Design: The WHO, the WHAT, and the HOW Revisited. 178-183
• 
  David B. Boardman, Geoffrey Greene, Vivek Khandelwal, Aditya P. Mathur: LISTEN: A Tool to Investigate the Use of Sound for the Analysis of Program Behavior. 184-189

Object-Oriented Approach for Distributed Systems

• 
  Pen-Nan Lee, Lawrence Miller, Ping-Chuan Tai, Yiwei Chen: Object Oriented Design for a Distributed Priority Queue. 192-198
• 
  Hyun C. Kim, V. S. S. Nair: Application layer software fault tolerance for distributed object-oriented systems. 199-204
• 
  Shelly S. Stubbs, Doris L. Carver: IPCC++: A C++ Extension for InterProcess Communication with Objects. 205-210

Metrics and Software Quality

• 
  Yvan Cazabon, Michael Bauer: A Policy Independent Metric for Process Selection in Distributed Systems. 212-217
• 
  I-Ling Yen, Ing-Ray Chen: Quality Assessment for Multiple Server Cooperating Systems. 218-223
• 
  Xiaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert: Improving Software Quality through a Novel Testing Strategy. 224-229

Prototyping and Testing

• 
  Jerry Z. Gao, David Chenho Kung, Pei Hsia, Yasufumi Toyoshima, Cris Chen: Object state testing for object-oriented programs. 232-238
• 
  David Chenho Kung, Jerry Gao, Pei Hsia, Yasufumi Toyoshima, Cris Chen: A Test Strategy for Object-Oriented Programs. 239-244
• 
  Wah Kheang Cheung, Chrystopher L. Nehaniv, Kenjiro Takai Miura, Yin Seong Ho: Hierarchical Multimodel-Based Structural Consistency Support Tools for Specifying and Prototyping Complex Systems. 245-254

Distributed Algorithms and Environments

• 
  Giorgio Bruno, Rakesh Agarwal: Architectural Framework for Developing Concurrent Applications. 256-261
• 
  Carl K. Chang, Bashir Haswarey, Pattanasak Mongkolwat: Creating A Distributed Environment Using Object-Oriented Technology. 262-267
• 
  J. Roger Mitchell, Vijay K. Garg: Deriving distributed algorithms from a general predicate detector. 268-273

Reengineering, Reverse Engineering, Reuse, and Customization

• 
  Chao-Tsun Chang, Chung-Shyan Liu: A Hybrid Approach to Object Library Classification and Retireval. 278-283
• 
  T. Yoshino, Sanya Uehara, Takao Okubo, S. Suguta, Y. Hotta, M. Sonobe: Reverse Engineering from COBOL to Narrative Specification. 284-289
• 
  William C. Chu, Hongji Yang: Component Reuse Through Reverse Engineering and Semantic Interface Analysis. 290-296

Distributed Multi-Media Systems: Tools and Techniques

• 
  Uffe Kock Wiil: HyperDisco: An Object-Oriented Hypermedia Framework for Flexible Software System Integration. 298-305
• 
  Hsing Mei: Scheduling dependent real-time multimedia tasks on distributed systems. 306-311

Software Process Improvements

• 
  John D. Tvedt, James S. Collofello: Evaluating the Effectiveness of Process Improvements on Software Development Cycle Time via System Dynamics Modeling. 318-325
• 
  Onur Demirörs, Dennis J. Frailey: A horizontal approach for software process improvement. 326-331

Multi-Media Storage Management and Applications

• 
  Jin Ho Jung, Hyun Seung Yang: The Multimedia Desktop Conference System Adaptability in Network Traffic on LAN. 334-338
• 
  Alfred R. Watkins, Edward Omiecinski: Storing Continuous Media Objects Using Parallelism With Merging. 339-345
• 
  Taeck-Geun Kwon, Sukho Lee: FFU: Far-Future-Using Replacement Algorithms for Continuous Media Storage System. 346-351

Multi-Paradigm Programming

• 
  Weiyi Meng, Aqueo Kamada, Yuhsi Chang: Transformation of Relational Schemas to Object-Oriented Schemas. 356-361
• 
  P. K. C. Pun, Hilary J. Kahn: A Multiparadigm Programming Approach for Developing Knowledge-Based Systems. 362-368

Software Development for Parallel and Distributed Systems

• 
  Stephen S. Yau, Doo-Hwan Bae, Jun Wang: An Architecture-Independent Software Development Approach for Parallel Processing Systems. 370-375
• 
  Mark E. Cavender, Xiaodong Zhang: Software Support for Asynchronous Computing Across Networks. 376-382
• 
  Chi-Chung Hui, Mounir Hamdi, Ishfaq Ahmad: A software platform for solving PDEs on distributed systems: implementation issues and performance prediction. 383-388

Panel: Software Fault Tolerance

• 
  V. S. S. Nair: Software Fault Tolerance: Has it Arrived Yet? 390
• 
  Farokh B. Bastani: (Position Paper) Fault-Tolerant Software. 391
• 
  Joanne Bechta Dugan, K. H. Kim: (Position Paper) Quantitative Analysis of Software- and Hardware- Fault Tolerance. 392
• 
  (Position Paper) Software Fault Tolerance at the Operating System Level. 393-395

Software Security and Safety

• 
  Qi Shi, Ning Zhang: A General Approach to Evaluation of Secure Systems. 396-401
• 
  I-Lung Kao, Randy Chow: Enforcing complex security policies for commercial applications. 402-408
• 
  Satish Subramanian, Ramakrishna V. Vishnuvajjala, Ramin Mojdehbakhsh, Wei-Tek Tsai, Lynn Elliott: A Framework for Designing Safe Software Systems. 409-414

Applications

• 
  Paul Yiu Chung Wong, Siu Chi Hsu: Designing Chinese Typeface Using Components. 416-421
• 
  Fu-Fu Shen, Whei-Yee Lin, Chea-Yean Wong, Chien-Wei Cheng, Hsien-Sheng Chen: Information Mediation System Design Strategy among Telecommunication Related Information Systems. 422-427

last updated on Sat May 18 04:47:27 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page