Software Engineering Conference (APSEC), 2011 18th Asia Pacific
Date 5-8 Dec. 2011
Filter Results
Displaying Results 1 - 25 of 61
-
[Front cover]
|
PDF (150 KB)
-
[Title page i]
|
PDF (77 KB)
-
[Title page iii]
|
PDF (142 KB)
-
[Copyright notice]
|
PDF (119 KB)
-
Table of contents
|
PDF (212 KB)
-
Message from the Conference Co-Chairs
|
PDF (95 KB)
-
Message from the Program Co-Chairs
|
PDF (100 KB)
-
Organizing Committee
|
PDF (80 KB)
-
Program Committee
|
PDF (103 KB)
-
Steering Committee
|
PDF (87 KB)
-
A Simultaneous Project Scheduling and Resource Binding Method Based on the Load-Capacity Model
|
PDF (403 KB)
-
-
Assessing Teamwork Performance in Software Engineering Education: A Case in a Software Engineering Undergraduate Course
|
PDF (287 KB)
-
-
-
Techniques for Analysing PDF Malware
|
PDF (981 KB)
-
-
Stepwise Validation of Formal Specifications
|
PDF (288 KB)
-
Use Cases Modeling for Scalable Model-Checking
|
PDF (1112 KB)
-
A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications
|
PDF (438 KB)
-
Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking
|
PDF (316 KB)
-
-
An Automated Analysis of Errors for BPM Processes Modeled Using an In-house Infosys Tool
|
PDF (537 KB)
-
-
