Table of Contents

• Analysis and Implementation Method of Program to Detect Inappropriate Information LeakReishi Yokomori, Fumiaki Ohata, Yoshiaki Takata, Hiroyuki Seki, Katsuro Inoue. 5-12 [doi]
• Computing Executable Slices for Concurrent Logic ProgramsJianjun Zhao, Jingde Cheng, Kazuo Ushijima. 13-22 [doi]
• Exception Analysis for Multithreaded Java ProgramsSukyoung Ryu, K. Yi. 23-32 [doi]
• An Analysis of Software Correctness Prediction MethodsPeter Kokol, Vili Podgorelec, Milan Zorman, Matej Sprogar, Maurizio Pighin. 33-39 [doi]
• A Fast Algorithm to Compute Maximum Likelihood Estimates for the Hypergeometric Software Reliability ModelFrank Padberg. 40-49 [doi]
• An Ordinal-Time Reliability Model Applied to ioBig-Bangle Suite-Based TestingN. Davidson. 50-58 [doi]
• Incremental Quality NetworkSergio Coronado, José Alberto Jaén. 59-64 [doi]
• Strategic Drivers of Software Quality: Beyond External and Internal Software QualityR. Fitzpatrick. 65-72 [doi]
• Using a Coding Standard to Improve Program QualityX. Fang. 73-80 [doi]
• Object-Oriented Program Behavior Analysis Based on Control PatternsC. C. Hwang, S.-K. Huang, D.-J. Chen, D. Chen. 81-87 [doi]
• A Path-Based Approach to the Detection of Infinite LoopingJian Zhang. 88-96 [doi]
• Assurance of Conceptual Data Model Quality Based on Early MeasuresMarcela Genero, Mario Piattini, Coral Calero. 97-103 [doi]
• The Use of Software Quality Metrics in the Materiel Release Process - Experience ReportMichael Saboe. 104-112 [doi]
• Why Software Engineering is Riskier than EverAnne Fuller, Peter R. Croll, Omar Garcia. 113-119 [doi]
• On Prediction of Cost and Duration for Risky Software Projects Based on Risk QuestionnaireOsamu Mizuno, T. Adachi, Tohru Kikuno, Yasunari Takagi. 120-130 [doi]
• Partial Validation of a Design Specification with Respect to RequirementsCédric Besse, Ana R. Cavalli, Ferhat Khendek. 131-140 [doi]
• Constructing Hardware/Software Interface Using Protocol ConvertersShengchao Qin, Zongyan Qiu, Jifeng He. 141-148 [doi]
• DLOTOS: A LOTOS Extension for Clock Synchronization in Distributed SystemsW. Hassan. 149-156 [doi]
• Optimal Test Profile in the Context of Software CyberneticsKai-Yuan Cai. 157-166 [doi]
• Testable Use Cases in the Abstract State Machine LanguageWolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann. 167-172 [doi]
• Experience Report on Conformance Tests for CORBA ORBsMang Li, Axel Rennoch, Ina Schieferdecker, D. Witaszek, O. Halabi, Alain Vouffo, Aihong Yin. 173-184 [doi]
• Railway Power SCADA System Commissioning Case Example I. Hampton, K. Lam. 185-193 [doi]
• Stakeholder Discovery and Classification Based on Systems Science PrinciplesOtto Preiss, Alain Wegmann. 194-198 [doi]
• Quality & People in the Development of Situationally Specific MethodsS. Michelle Young, Sharon McDonald, Helen M. Edwards, J. Barrie Thompson. 199-203 [doi]
• A Risk-Driven Design Model for Embedded SystemYing Dong, Mingshu Li. 204-210 [doi]
• End-to-End Integration TestingRaymond A. Paul. 211-222 [doi]
• Incremental Fault-Tolerant Design in an Object-Oriented SettingEinar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain. 223-230 [doi]
• PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer ImplementationsFlavio Corradini, Maria Rita Di Berardini, Walter Vogler. 231-240 [doi]
• Class and Module in SOFLS. Liu, J. Dong. 241-248 [doi]
• Combining the Animation and Testing of Abstract Data TypesTim Miller, Paul A. Strooper. 249-258 [doi]
• A Selective Software Testing Method Based on Priorities Assigned to Functional ModulesMasayuki Hirayama, Tetsuya Yamamoto, Jiro Okayasu, Osamu Mizuno, Tohru Kikuno. 259-267 [doi]
• URL-Driven Automated TestingR. Wen. 268-274 [doi]
• A Tailored Capability Model for Inspection Process ImprovementIlkka Tervonen, Juha Iisakka, Lasse Harjumaa. 275-282 [doi]
• A Path to Virtual Software InspectionLasse Harjumaa, Henrik Hedberg, Ilkka Tervonen. 283-287 [doi]
• A Software Factory Model Based on ISO9000 and CMM for Chinese Small OrganizationsChao Li, Han Li, Mingshu Li. 288-294 [doi]
• Requirements Management for the Incremental Development ModelQ. Wang, X. Lai. 295-301 [doi]
• A New Tool to Analyze ER-SchemasFaouzi Boufarès, Naoufel Kraïem. 302-310 [doi]
• QUIM: A Framework for Quantifying Usability Metrics in Software Quality ModelsAhmed Seffah, N. Kececi, Mohammad Donyaee. 311-318 [doi]
• Comparison of Chinese and Japanese in Designing B2C Web Pages Toward Impressional UsabilityJian Hu, Jiamin Zhao, Kazuyuki Shima, Yasuhiro Takemura, Ken-ichi Matsumoto. 319-330 [doi]
• Special Requirements for Software Process Improvement Applied in Teleworking EnvironmentsH. Guo. 331-340 [doi]
• Analysis of Interrater Agreement in ISO/IEC 15504-Based Software Process AssessmentH. Y. Lee, H.-W. Jung, C.-S. Chung, J. Lee, K. Lee, H. Jeong. 341-348 [doi]
• Priorities of Process Improvement Outcomes Based on Process Capability LevelsTimo Varkoi, Marion Lepasaar, Hannu Jaakkola. 349-356 [doi]
• Formally Modeling and Verifying Ricart&Agrawala Distributed Mutual Exclusion AlgorithmKazuhiro Ogata, Kokichi Futatsugi. 357-366 [doi]
• Towards a Verification of the Rule-Based Expert System of the IBM SA for OS/390 Automation ManagerCarsten Sinz, Wolfgang Küchlin, Thomas Lumpp. 367-374 [doi]
• Towards Automatic Verification of Embedded Control SoftwareNanette Bauer, Ralf Huuck. 375-386 [doi]
• On the Modelling of Document Exchange Processes in E-Commerce ProtocolsX. Wang, S. C. Cheung, J. Wei. 387-396 [doi]
• Beyond E-commerce Software Quality: Web Services EffectivenessHung-Sheng Chiu, Chyan Yang. 397-405 [doi]
• A Specific Software Development Process for an Electronic Commerce PortalVolker Gruhn, Lothar Schöpe, Matthias Book. 406-416 [doi]
• A Software Product Model Emphasizing RelationshipsShih-Chien Chou, Chun-Wei Huang. 417-426 [doi]
• Complex Systems Development Requirements - PDM and SCM IntegrationIvica Crnkovic, Annita Persson Dahlkvist, Daniel Svensson. 427-435 [doi]
• Use of Binary File Comparison Tools in Software Release ManagementV. Fanberg. 436-444 [doi]