Conferences in DBLP

Asia-Pacific Software Engineering Conference (apsec)
2008 (conf/apsec/2008)

1. 
   Using Abstraction to Verify Arbitrary Temporal Properties. [Citation Graph (, )][DBLP]
   
   
2. 
   Beyond Agile: Smart. [Citation Graph (, )][DBLP]
   
   
3. 
   Service Refinement. [Citation Graph (, )][DBLP]
   
   
4. 
   Early Filtering of Polluting Method Calls for Mining Temporal Specifications. [Citation Graph (, )][DBLP]
   
   
5. 
   DRACULA: Detector of Data Races in Signals Handlers. [Citation Graph (, )][DBLP]
   
   
6. 
   Detection of Diverse Design Pattern Variants. [Citation Graph (, )][DBLP]
   
   
7. 
   An Empirical Study of Unused Design Decisions in Open Source Java Software. [Citation Graph (, )][DBLP]
   
   
8. 
   A Dynamic Model of Software Product Generative Process. [Citation Graph (, )][DBLP]
   
   
9. 
   A Case Retrieval Method for Knowledge-Based Software Process Tailoring Using Structural Similarity. [Citation Graph (, )][DBLP]
   
   
10. 
    Software Process Simulation Modeling: Facts, Trends and Directions. [Citation Graph (, )][DBLP]
    
    
11. 
    An Investigation on Performance of Software Enhancement Projects in China. [Citation Graph (, )][DBLP]
    
    
12. 
    A Nonlinear Approach to Modeling of Software Aging in a Web Server. [Citation Graph (, )][DBLP]
    
    
13. 
    Towards Unanticipated Runtime Adaptation of Java Applications. [Citation Graph (, )][DBLP]
    
    
14. 
    Correctness of Request Executions in Online Updates of Concurrent Object Oriented Programs. [Citation Graph (, )][DBLP]
    
    
15. 
    Risks and Risk Management in Software Architecture Evolution: An Industrial Survey. [Citation Graph (, )][DBLP]
    
    
16. 
    A Technique to Check the Implementability of Behavioral Specifications with Frameworks. [Citation Graph (, )][DBLP]
    
    
17. 
    Execution Semantics for rCOS. [Citation Graph (, )][DBLP]
    
    
18. 
    A Heap Model for Java Bytecode to Support Separation Logic. [Citation Graph (, )][DBLP]
    
    
19. 
    Flexible Generation of Pervasive Web Services Using OSGi Declarative Services and OWL Ontologies. [Citation Graph (, )][DBLP]
    
    
20. 
    Jata: A Language for Distributed Component Testing. [Citation Graph (, )][DBLP]
    
    
21. 
    Specification-Based Approach to Select Regression Test Suite to Validate Changed Software. [Citation Graph (, )][DBLP]
    
    
22. 
    A Novel Optimum Data Duplication Approach for Soft Error Detection. [Citation Graph (, )][DBLP]
    
    
23. 
    Providing the Guideline of Determining Quality Checklists Priorities Based on Evaluation Records of Software Products. [Citation Graph (, )][DBLP]
    
    
24. 
    SimPL A Simple Software Production Line for End User Development. [Citation Graph (, )][DBLP]
    
    
25. 
    Measuring Non-Functional Properties in Software Product Line for Product Derivation. [Citation Graph (, )][DBLP]
    
    
26. 
    Scheduling Product Line Features for Effective Roadmapping. [Citation Graph (, )][DBLP]
    
    
27. 
    AORE (Aspect-Oriented Requirements Engineering) Methodology for Automotive Software Product Lines. [Citation Graph (, )][DBLP]
    
    
28. 
    Documenting and Evaluating Scattered Concerns for Framework Usability: A Case Study. [Citation Graph (, )][DBLP]
    
    
29. 
    Inferring Specifications of Object Oriented APIs from API Source Code. [Citation Graph (, )][DBLP]
    
    
30. 
    A Comparison of the Reliability Growth of Open Source and In-House Software. [Citation Graph (, )][DBLP]
    
    
31. 
    A Source-Code Based Extraction Way for Micro Processes Influencing Software Complexity. [Citation Graph (, )][DBLP]
    
    
32. 
    Mining Individual Performance Indicators in Collaborative Development Using Software Repositories. [Citation Graph (, )][DBLP]
    
    
33. 
    Towards Analysing Information Management Requirements in New Zealand Genetic Services. [Citation Graph (, )][DBLP]
    
    
34. 
    Modeling and Analysis of WS-BPEL Business Processes Based on ServiceNet. [Citation Graph (, )][DBLP]
    
    
35. 
    Emergent Properties in Reactive Systems. [Citation Graph (, )][DBLP]
    
    
36. 
    Detection of a Set of States in Distributed Systems. [Citation Graph (, )][DBLP]
    
    
37. 
    A Measurement-Driven Process Model for Managing Inconsistent Software Requirements. [Citation Graph (, )][DBLP]
    
    
38. 
    Behavioral Specification of Real-Time Requirements. [Citation Graph (, )][DBLP]
    
    
39. 
    Jackson's JSP-Like Method for State Transition Design. [Citation Graph (, )][DBLP]
    
    
40. 
    Software Engineering Education Toolkit for Embedded Software Architecture Design Methodology Using Robotic Systems. [Citation Graph (, )][DBLP]
    
    
41. 
    Investigating Pair Programming in a Software Engineering Course in an Asian Setting. [Citation Graph (, )][DBLP]
    
    
42. 
    Extending PSC for Monitoring the Timed Properties in Composite Services. [Citation Graph (, )][DBLP]
    
    
43. 
    Formalization and Consistency Checking of Changes of Software System Configurations Using Alloy. [Citation Graph (, )][DBLP]
    
    
44. 
    Modeling and Verifying Web Browser Interactions. [Citation Graph (, )][DBLP]
    
    
45. 
    Deadlock-Detection in Java-Library Using Static-Analysis. [Citation Graph (, )][DBLP]
    
    
46. 
    Iterative Model Fixing with Counterexamples. [Citation Graph (, )][DBLP]
    
    
47. 
    Model Checking Process with Goal Oriented Requirements Analysis. [Citation Graph (, )][DBLP]
    
    
48. 
    A Verification Framework for FBD Based Software in Nuclear Power Plants. [Citation Graph (, )][DBLP]
    
    
49. 
    Resource-Oriented Architecture for Business Processes. [Citation Graph (, )][DBLP]
    
    
50. 
    A Design Quality Model for Service-Oriented Architecture. [Citation Graph (, )][DBLP]
    
    
51. 
    SA@Work A Field Study of Software Architecture and Software Quality at Work. [Citation Graph (, )][DBLP]
    
    
52. 
    Service Identification Using Goal and Scenario in Service Oriented Architecture. [Citation Graph (, )][DBLP]
    
    
53. 
    Using ES Based Automated Software Clustering Approach to Achieve Consistent Decompositions. [Citation Graph (, )][DBLP]
    
    
54. 
    Component-Based Software Update Process in Collaborative Software Development. [Citation Graph (, )][DBLP]
    
    
55. 
    Security-Aware Refactoring Alerting its Impact on Code Vulnerabilities. [Citation Graph (, )][DBLP]
    
    
56. 
    Detecting Occurrences of Refactoring with Heuristic Search. [Citation Graph (, )][DBLP]
    
    
57. 
    G2Way A Backtracking Strategy for Pairwise Test Data Generation. [Citation Graph (, )][DBLP]
    
    
58. 
    Test Case Prioritization Based on Analysis of Program Structure. [Citation Graph (, )][DBLP]
    
    
59. 
    Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. [Citation Graph (, )][DBLP]
    
    
60. 
    Early Estimate the Size of Test Suites from Use Cases. [Citation Graph (, )][DBLP]
    
    
61. 
    Theoretical Maximum Prediction Accuracy for Analogy-Based Software Cost Estimation. [Citation Graph (, )][DBLP]
    
    
62. 
    The Use of a Meta-Model to Support Multi-Project Process Measurement. [Citation Graph (, )][DBLP]
    
    
63. 
    A Complexity Metric for Web Applications Based on the Entropy Theory. [Citation Graph (, )][DBLP]
    
    
64. 
    Automated Support for Software Cost Estimation Using Web-CoBRA. [Citation Graph (, )][DBLP]
    
    
65. 
    Aspect-Oriented Programming for Web Controller Layer. [Citation Graph (, )][DBLP]
    
    
66. 
    Flexible Aspect-Oriented Design Model Checking. [Citation Graph (, )][DBLP]
    
    
67. 
    Management of Composites in Software Engineering Environments. [Citation Graph (, )][DBLP]
    
    
68. 
    Domain Specific Engineering Environments. [Citation Graph (, )][DBLP]