Proceedings of the 2012 International Conference on Information Technology and Software Engineering

Software Engineering & Digital Media Technology


ISBN: 978-3-642-34530-2 (Print) 978-3-642-34531-9 (Online)

Table of contents (105 chapters)

previous Page of 6
  1. Front Matter

    Pages i-xviii

  2. Software Engineering

    1. Front Matter

      Pages 1-1

    2. Chapter

      Pages 3-10

      Detecting Null Dereference with a Game

    3. Chapter

      Pages 11-18

      Interactive and Collaborative E-Learning Platform with Integrated Social Software and Learning Management System

    4. Chapter

      Pages 19-27

      Neural Network Based Software Reliability Prediction with the Feed of Testing Process Knowledge

    5. Chapter

      Pages 29-37

      Complexity Metrics Significance for Defects: An Empirical View

    6. Chapter

      Pages 39-48

      A Petri Net Based Automatic Executable Code Generation Method for Web Service Composition

    7. Chapter

      Pages 49-57

      A SPMP Changeability Measurement Model for Reducing Software Development Risk

    8. Chapter

      Pages 59-69

      Timing Sequence Analysis Technology and Application of RVD Software Based on Black Box Testing Environment

    9. Chapter

      Pages 71-80

      Application Research of Two-Dimensional Barcode in Information Construction of Colleges

    10. Chapter

      Pages 81-92

      Automatic Test of Space Rendezvous and Docking GNC Software

    11. Chapter

      Pages 93-101

      Design and Implementation of Material Supply System Based on B/S and C/S Mixed Mode

    12. Chapter

      Pages 103-110

      A Power System Distributed Computing Model Based on SOA

    13. Chapter

      Pages 111-118

      Measurability: A Key Problem for Test Systems

    14. Chapter

      Pages 119-127

      MBCrawler: A Software Architecture for Micro-Blog Crawler

    15. Chapter

      Pages 129-136

      Optimization Model of Software Fault Detection

    16. Chapter

      Pages 137-145

      Generic Contract-Regulated Web Service Composition Specification and Verification

    17. Chapter

      Pages 147-155

      Adaptive Random Testing Through Dynamic Partitioning by Localization with Restriction and Enlarged Input Domain

    18. Chapter

      Pages 157-164

      Effective Test Case Generation via Concolic Execution

    19. Chapter

      Pages 165-174

      An Integrated Method for Rapid Software Development and Effective Process Management

    20. Chapter

      Pages 175-183

      A Configuration and Analysis System for Box-Joint Assembly Tooling

    21. Chapter

      Pages 185-195

      A Ranking-Based Approach for Service Composition with Multiple QoS Constraints

previous Page of 6