- Ling Liu, Huaikou Miao:
Mutation Operators for Object-Z Specification. ICECCS 2005: 498-506 - Cheng-Ying Mao, Yansheng Lu:
Improving the Robustness and Reliability of Object-Oriented Programs through Exception Analysis and Testing. ICECCS 2005: 432-439 - Leonardo Mariani, Mauro Pezzè
:
Behavior Capture and Test: Automated Analysis of Component Integration. ICECCS 2005: 292-301 - Frans Mårtensson, Håkan Grahn, Michael Mattsson:
Evaluating Software Quality Attributes of Communication Components in an Automated Guided Vehicle System. ICECCS 2005: 550-558 - Guido Menkhaus, Urs Frei, Jorg Wuthrich:
Analysis and Verification of the Interaction Model in Software Design. ICECCS 2005: 67-75 - Fumiko Nagoya, Shaoying Liu, Yuting Chen:
Design of a Tool for Specification-Based Program Review. ICECCS 2005: 10-11 - Paolo Nesi:
Multimedia Content Distribution and Protection. ICECCS 2005: 3 - Yajuan Pan, Dai Pan, Mei-Hwa Chen:
Slicing Component-Based Systems. ICECCS 2005: 155-164 - Gaoliang Peng, Wenjian Liu, Xutang Zhang:
An Internet-Based System for Setup Planning in Machining Operations. ICECCS 2005: 245-251 - Mauro Pezzè, Davide Tosi, Gian Pietro Picco:
Scavenging Complex Genomic Information Using Mobile Code: An Evaluation. ICECCS 2005: 569-578 - Rafael Ramírez, Andrew E. Santosa:
Formal Verification of Concurrent and Distributed Constraint-Based Java Programs. ICECCS 2005: 76-84 - James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin:
Formal Requirements-Based Programming for Complex Systems. ICECCS 2005: 116-125 - Yao Shen, Haopeng Chen:
Extending SOFL Features for AOP Modeling. ICECCS 2005: 14-15 - Wuwei Shen, Weng Liong Low:
Using the Metamodel Mechanism to Support Class Refinement. ICECCS 2005: 421-430 - Mahadevan Subramaniam:
Preserving Consistency of Runtime Monitors across Protocol Changes. ICECCS 2005: 590-599 - Jun Sun, Jin Song Dong:
Extracting FSMs from Object-Z Specifications with History Invariants. ICECCS 2005: 96-105 - Jun Sun, Jin Song Dong:
Model Checking Live Sequence Charts. ICECCS 2005: 529-538 - Jing Sun, Hongyu Zhang, Yuan-Fang Li, Hai H. Wang:
Formal Semantics and Verification for Feature Modeling. ICECCS 2005: 303-312 - Maty Sylla, Frank A. Stomp, Willem P. de Roever:
Verifying Parameterized Refinement. ICECCS 2005: 313-321 - Tetsuo Tamai:
Conquering the Eight-Tailed Dragon - An Attempt to Deal with Structural and Behavioral Complexities. ICECCS 2005: 261-272 - Peiyi Tang:
Formal Methods to Generate Parallel Iterative Codes for PDE-Based Applications. ICECCS 2005: 106-115 - Piotr Tomaszewski, Lars Lundberg, Jim Håkansson, Daniel Häggander:
A Cost-Efficient Server Architecture for Real-Time Credit-Control. ICECCS 2005: 166-175 - Lei Wang, Zhiping Chen, Xinhua H. Jiang:
Ringed Petersen Spheres Connected Hypercube Interconnection Networks. ICECCS 2005: 127-131 - Li Wang, Zeng-zhi Li, Yanping Chen, Ke Xue:
Fluid-Based Stability Analysis of Mixed TCP and UDP Traffic under RED. ICECCS 2005: 341-348 - Xin Wang, Zhi-Chang Qi, Shuhao Li:
An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification. ICECCS 2005: 440-449 - P. Mattias Weckstén, Magnus Jonsson, Jonas Vasell:
Derivation of Implementation Constraints - Implementation Simulation and Treatment of Multiple Design Choices. ICECCS 2005: 459-466 - Anton Wijs, Wan J. Fokkink:
From chi-t to µCRL: Combining Performance and Functional Analysis. ICECCS 2005: 184-193 - W. Eric Wong, Yu Lei, Xiao Ma:
Effective Generation of Test Sequences for Structural Testing of Concurrent Programs. ICECCS 2005: 539-548 - Lei Wu, Houari A. Sahraoui, Petko Valtchev:
Coping with Legacy System Migration Complexity. ICECCS 2005: 600-609 - Message from the General Chairs. ICECCS 2005
