Table of Contents

• Information Technology and GII VisionsJung Uck Seo. 2 [doi]
• A Software Process Management System Considering Workers WorkloadAtsuo Hazeyama, Seiichi Komiya. 8-14 [doi]
• Software Cost Option Strategy Tool (S-COST)Barry W. Boehm, Hoh In. 15-20 [doi]
• Process Model Reuse to Promote Organizational Learning in Software DevelopmentErnst Ellmer, Dieter Merkl, Gerald Quirchmayr, A. Min Tjoa. 21 [doi]
• A Colored Petri Net-Based Format Method for the Design of Control SystemsMbi Makungu, Richard St.-Denis, Michel Barbeau. 28-35 [doi]
• Verifying Timing Properties for Distributed Real-Time Systems Using Timing Constraint Petri NetsJeffrey J. P. Tsai, Stephen J. H. Yang, Yao-Hsiung Chang, Eric Y. T. Juan. 36-40 [doi]
• Extracting Parallelism in Nested LoopsW. B. Song, D. S. Park, B. S. Kim, Y.-H. Kong. 41 [doi]
• Coordination of Systems with Real-Time Properties in ManifoldGeorge A. Papadopoulos, Farhad Arbab. 50-55 [doi]
• SESAME: A Scalable and ExtenSible Architecture for Multimedia EntertainmentYen-Jen Lee, David Hung-Chang Du, Wei-hsiu Ma. 56-61 [doi]
• A Popularity-Based Data Allocation Scheme for a VOD ServerCarl K. Chang, Chiao-Chuan Shih, Pattanasak Mongkolwat, Thinh T. Nguyen. 62 [doi]
• Mapping Petri Nets to Parallel Programs in CC++Weili Yao, Xudong He. 70-75 [doi]
• Integrating Parallel Functions into the Manipulation for Distributed Persistent ObjectsYun Jiang, Masayoshi Aritsugi, Akifumi Makinouchi. 76-82 [doi]
• A Semantics of the Separation of Interface and Implementation in C++Eun-Sun Cho, Sang-Yong Han, Hyoung-Joo Kim. 83 [doi]
• Design-Level Cohesion Measures: Derivation, Comparison, and Applications Byung-Kyoo Kang, James M. Bieman. 92-97 [doi]
• Data Models for Metrics-Based Project Management SystemsRaymond A. Paul, C. L. Chee, Tosiyasu L. Kunii, Yoshihisa Shinagawa. 98-103 [doi]
• Heuristics for Computing Attribute Values of C++ Program Complexity MetricsEun-Mi Kim, Shinji Kusumoto, Tohru Kikuno, Ok-Bae Chang. 104 [doi]
• Object-Oriented Framework for Metrics Guided Risk ManagementRaymond A. Paul, Yoshihisa Shinagawa, Young Francis Day, M. Farrukh Khan, Arif Ghafoor. 110 [doi]
• Applying Composable Security Properties to Assessment of Information SystemsQi Shi, Ning Zhang. 118-123 [doi]
• Program Partitioning Optimizations in an HPF Prototype CompilerMakoto Sato, Takashi Hirooka, Kiyomi Wada, Fujio Yamamoto. 124-131 [doi]
• A Task-Based Approach to Verifying Conceptual ModelsJonathan Lee, Lein F. Lai, Wei T. Huang. 132-137 [doi]
• Compilation of Disjunctive Logic Programs Using an Extended WAMDongha Shin, Michael L. Hilton. 138 [doi]
• Multimedia on the Internet: Emerging TechnolgoyYahya Y. Al-Salqan. 146 [doi]
• Handling Multimedia Data for Mobile ComputersCharles E. Perkins. 147-148 [doi]
• Multimedia Over the InternetR. Radhakrishna Pillai. 149 [doi]
• Multimedia on the InternetPallavi Shah. 150 [doi]
• Multimedia on the Internet: Emerging TechnologyJerry Smith. 151 [doi]
• Is OO Working as It Promised?Sahng-Mann Han. 154 [doi]
• OO is NOT the Silver BulletJ. Barrie Thompson. 155 [doi]
• Software Industries in AsiaC. L. Chee. 158 [doi]
• Software Industry in TaiwanJyh-Sheng Ke. 159 [doi]
• Business Rule Extraction from Legacy CodeHai Huang, Wei-Tek Tsai, Sourav Bhattacharya, Xiaoping Chen, Yamin Wang, Jianhua Sun. 162-167 [doi]
• Sharing the Design Information in a Distributed Concurrent Development of Large-Scale Software SystemsMikio Aoyama. 168-175 [doi]
• Real-Time Simulation Techniques Based on the RTO.k Object ModelingK. H. Kim, Cuong Nguyen, Chan-Mo Park. 176-183 [doi]
• Scheduling Algorithms for N-Version Programming SchemeO. A. Abulnaja, Seyed H. Hosseini, K. Vairavan. 184 [doi]
• Decentralized Transaction Management in Multidatabase SystemsBuhyun Hwang, Sang Hyuk Son. 192-198 [doi]
• Classification of Weak Correctness Criteria for Real-Time Database ApplicationsKyu-Woong Lee, Seog Park. 199-204 [doi]
• Hierarchical Program Diagram Editor Based on Attributed Graph GrammarYoshihiro Adachi, Koushi Anzai, Kensei Tsuchida, Takeo Yaku. 205-213 [doi]
• On Integrating Existing Bibliographic Databases and Structured DatabasesYing Lu, Ee-Peng Lim. 214 [doi]
• Would Internet Meet Global Acceptance?Shigeki Goto. 222 [doi]
• Hypermedia Conference ProceedingsKilnam Chon. 223 [doi]
• Would Internet Meet Global Expectation?Tin Wee Tan. 224 [doi]
• Internet Multimedia Application Techologies Current Practice and FutureShin Miyakawa. 225 [doi]
• Autonomous Decentralization of Society Structures and InformationYasutsugu Takeda. 228 [doi]
• Algebraic Software Testing in Vector Spaces of FunctionsThomas R. Cain, E. K. Park. 234-239 [doi]
• Incremental Elicitation and Formalization of User Requirements through Rapid Prototyping via Software TransformationsChia-Chu Chiang, Joseph E. Urban. 240-245 [doi]
• Extending Z with State Transition ConstraintsKenji Taguchi, Keijiro Araki. 246-260 [doi]
• Extending Statecharts with DurationKarl R. P. H. Leung, Daniel K. C. Chan. 246 [doi]
• Consistency Checking between Data and Process Diagrams Based on Formal MethodsSyouri Kouno, Han-Myung Chang, Keijiro Araki. 261-269 [doi]
• A Dynamic Indexing Structure for Searching Time-Series PatternsYoungin Kim, Youngbae Park, Jonghoon Chun. 270-275 [doi]
• A Fuzzy Association Algebra Based on a Fuzzy Object Oriented Data ModelSelee Na, Seog Park. 276 [doi]
• A Presentation Scheduling Scheme for Multimedia DatabasesJisook Park, Sukho Lee, Jaehyuk Cha, Yunmook Nah. 284-289 [doi]
• Integration of a Relational Database with Multimedia DataSoon Myoung Chung, Pyeong S. Mah, Jun-Guk Kim. 290-297 [doi]
• VIRON: An Annotation-Based Video Information Retrieval SystemKi-Wook Kim, Ki-Byoung Kim, Hyoung-Joo Kim. 298 [doi]
• Modeling Active Object-Oriented Database Application Using Multi-Level DiagramsMauricio J. V. Silva, C. Robert Carlson. 306-311 [doi]
• Static Slicing of Concurrent Object-Oriented ProgramsJianjun Zhao, Jingde Cheng, Kazuo Ushijima. 312-320 [doi]
• A History-Based Approach for Early Faulty State DetectionPei Hsia, Xiaolin Li, David Chenho Kung. 321 [doi]
• Integration Issues in Information System ReengineeringWilliam Wei Song. 328-335 [doi]
• Integrating Through User Interface: A Flexible Integration Framework for Third-Party SoftwareYimin Bao, Ellis Horowitz. 336-342 [doi]
• A Formal Method to Software Integration in ReuseWilliam C. Chu, Hongji Yang. 343 [doi]
• The Role of Architecture in the Development of Software SystemsMaarten Boasson. 350-351 [doi]
• Designing Software Architectures as Knowledge SpecializationsMehmet Aksit. 352 [doi]
• SOPView: A Visual Query and Object Browsing Environment for SOP OODBMSSeong-Woo Chang, Sukho Lee, Hyoung-Joo Kim. 354-360 [doi]
• Extending OODB with Behavioral Temporal Management CapabilityGwo-Dong Chen, Yeong-Hsen Lee, Chen-Chung Liu. 361-366 [doi]
• Consolidation of Query Results in a Multidatabase Environemnt: An Object-Oriented ApproachDaniel J. Callen, Susan Darling Urban. 367 [doi]
• Which Netowrk Will Win?Arif Ghafoor. 374-374 [doi]
• Marriage of Wired and Wireless Networks to Build Tomorrows InternetSandeepan Sanyal, Sourav Bhattacharya. 375 [doi]
• An Experience Report on Architecture DevelopmentHanan Lutfiyya, Michael A. Bauer. 378-383 [doi]
• Slicing Functional Components from Data-Intensive Business ProgramsHee Beng Kuan Tan, Tok Wang Ling. 384-388 [doi]
• A Component-Based Software Development ModelJim Q. Ning. 389 [doi]
• High Assurance Systems EngineeringArif Ghafoor. 396-396 [doi]
• High Assurance Systems Engineering - Position PaperKenneth D. Shere. 397 [doi]
• Dynamic Network Management for Firmware Controlled Network TopologyL. K. Nahar, Sourav Bhattacharya. 398 [doi]
• A New Signature Scheme for Query Processing in Object-Oriented DatabaseHakgene Shin, Jae-Woo Chang. 400-405 [doi]
• Optimal Linear Hashing Files for Orthogonal Range RetrievalC. Y. Chen, Chin-Chen Chang, Richard C. T. Lee, D. C. Lin. 406-413 [doi]
• A Logic Database System with Extended FunctionalitySang-goo Lee, Dong-Hoon Choi, Sang Ho Lee. 414-419 [doi]
• A Representation Method of Time-Varying Characteristics of Entity on the Basis of Core-Surface ConceptTaketoshi Ushiama, Toyohide Watanabe. 420 [doi]
• Emerging Technologies for Network Software Development: Past, Present and FutureTakashi Arano, Mikio Aoyama. 428 [doi]
• Network Management System Development Using an Application FrameworkTomohiro Fujisaki. 429 [doi]
• Revolutionizing Software DevelopmentRobert L. Martin. 432 [doi]
• Software Process Re-engineering and ImprovmentMikio Aoyama. 434 [doi]
• Is Software Process Re-Engineering and Improvement the "Silver Bullet" of the 1990s or a Constructive Approach to Meet Pre-Defigned Business Targets?Annie Kuntzmann-Combelles. 435 [doi]
• Attention to Process and People are Key to Technology AdoptionMichael D. Konrad. 436 [doi]
• A Team-Based Process Improvement InitiativePoh Yee Wong. 437 [doi]
• A Tool for Debugging OSF DCE ApplicationsDavid J. Taylor, Thomas Kunz, James P. Black. 440-446 [doi]
• Applying Conventional Testing Techniques for Class TestingIn Sang Chung, Malcolm Munro, W. K. Lee, Yong Rae Kwon. 447-454 [doi]
• Estimating Uncaught Exceptions in Standard ML Programs from Type-Based EquationsKwangkeun Yi, Sukyoung Ryu, Kihyun Pyun. 455-460 [doi]
• Detection of Infeasible Paths Using Presburger ArithmeticKuniaki Naoi, Naohisa Takahashi. 461 [doi]
• Mobile-IP, Ad-Hoc Networking, and NomadicityCharles E. Perkins. 472-476 [doi]
• The Design and Verification of Services Feature Interaction Manager on AIN Using Z SchemaMyeongho Kang, Taekyoung Kwon, Changyong Yang, JooSeok Song. 477-482 [doi]
• Hardware/Software Partitioning for Telecommunications SystemsFrédéric Rousseau, J. M. Bergé, Michel Israël. 483 [doi]
• An Object-Oriented Real Time Systems Modeling and Verification MethodologyDavid Chenho Kung, Scott R. Oksanen, Jyhjong Lin. 490-495 [doi]
• OOHS: an Object-Oriented Hypermedia SystemHyunki Kim, Hakgene Shin, Jae-Woo Chang. 496-501 [doi]
• A Framework for an Integrated Tool Set for Object-Oriented Analysis of Application Software DevelopmentStephen S. Yau, Jun Wang. 502 [doi]
• Use Case Driven Structured AnalysisMisbah Mirza, Seung Hoon Cha, Jae-Il Jung, KiJong Lee, Cheong Youn. 510-515 [doi]
• Opusdei-Integrated Environment for Software Development and MaintenanceAkira K. Onoma, Hiroshi Suganuma, Mustafa H. Poonawala, Satish Subramanian, Wei-Tek Tsai, Tsutomu Syomura. 516-521 [doi]
• Measuring the Structural Complexity of OPS5 Rule-Based ProgramsAlbert Mo Kim Cheng. 522 [doi]
• Panel Overview-Software Education in the Asia-Pacific Region in the 21st CenturyJoseph E. Urban. 530-530 [doi]
• Computer Science Education in the Asia-Pacific Region in the 21st CenturyC. T. Chong. 531-531 [doi]
• Software Education in the 21st CenturyRoland T. Chin. 532-532 [doi]
• Emerging Software Engineering EducationMasao J. Matsumoto. 533 [doi]
• VGUIDE: 4GL Application Platform for Large Distributed InformationShuichiro Yamamoto, Ryuji Kawasaki, Mitsuo Nagaoka. 536-541 [doi]
• Recovery Technique Based on Fuzzy Checkpoint in a Client/Server DataBase SystemEui-in Choi, Hae Chull Lim. 542-547 [doi]
• A Language for Developing Collaborative Learning Activities on World Wide WebChih-Kai Chang, Gwo-Dong Chen, Baw-Jhiune Liu, Kuo-Liang Ou. 548 [doi]
• The Trends of Software Technology and ApplicationsCarl K. Chang, K. H. Kim, Annie Kuntzmann-Combelles, Iwao Toda. 558 [doi]
• Performance Evaluation of the OLVP (Online Video Processing) SystemFrédéric Andrès, Keigo Ihara, Jihad Boulos, Kinji Ono, Yasuhiko Yasuda. 560-565 [doi]