Conferences in DBLP
J. Barrie Thompson Do we really have provable Best Practices that ensure Software Quality? [Citation Graph (0, 0)][DBLP ] Conf ] Jeff Kramer Distributed Software Engineering: a Rigorous Architectural Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaohan Liao Government R&D Programs on Software Technology. [Citation Graph (0, 0)][DBLP ] Conf ] Gregg Rothermel Helping End-User Programmers "Engineer' Dependable Software. [Citation Graph (0, 0)][DBLP ] Conf ] Victor K. Y. Chan , W. Eric Wong , T. F. Xie Application of a Statistical Methodology to Simplify Software Quality Metric Models Constructed Using Incomplete Data Samples. [Citation Graph (0, 0)][DBLP ] Conf ] Yang Li , Ningjiang Chen , Tao Huang An Event-Driven Adaptive Differentiated Service Web Container Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Aline Lúcia Baroni , Coral Calero , Fernando Brito e Abreu , Mario Piattini Object-Relational Database Metrics Formalization. [Citation Graph (0, 0)][DBLP ] Conf ] Jianjun Zhao Control-Flow Analysis and Representation for Aspect-Oriented Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Masahiro Nakano , Kazuhiro Ogata , Masaki Nakamura , Kokichi Futatsugi Automating Invariant Verification of Behavioral Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Yujian Fu , Zhijiang Dong , Xudong He A Method for Realizing Software Architecture Design. [Citation Graph (0, 0)][DBLP ] Conf ] Jinfeng Huang , Jeroen Voeten , Henk Corporaal Correctness-preserving synthesis for real-time control software. [Citation Graph (0, 0)][DBLP ] Conf ] Yongyan Zheng , Paul Krause Asynchronous Semantics and Anti-patterns for Interacting Web Services. [Citation Graph (0, 0)][DBLP ] Conf ] Johannes Mayer , Ralph Guderlei On Random Testing of Image Processing Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Liangli Ma , Houxiang Wang , Yansheng Lu The Design of Dependency Relationships Matrix to improve the testability of Component-based Software. [Citation Graph (0, 0)][DBLP ] Conf ] Jessica Chen , Guy-Vincent Jourdan , Wenxin Ma , Hasan Ural Improving Coverage in Functional Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Zhongxing Xu , Jian Zhang A Test Data Generation Tool for Unit Testing of C Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Aneesh Krishna , Ying Guan , Aditya K. Ghose Co-evolution of i* Models and 3APL Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Haruhiko Kaiya , Kouta Sasaki , Kenji Kaijiri PORTAM: Policy, Requirements and Threats Analyzer for Mobile Code Application. [Citation Graph (0, 0)][DBLP ] Conf ] Nelly Condori-Fernández , Oscar Pastor An Empirical Study on the Likelihood of Adoption in Practice of a Size Measurement Procedure for Requirements Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Aditya Ghose , Qiuming Lin Viewpoints Merging via Incrementally Elicited Ranked Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Li Tan Model-Based Self-Adaptive Embedded Programs with Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Peng Wang , Kai-Yuan Cai Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Axel Schneider , Stephan Walter , Jan Langer , Ulrich Heinkel Automatic Visualization of Abstract System Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Hui Ma , Klaus-Dieter Schewe , Jane Zhao View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Heng Lu , W. K. Chan , T. H. Tse Static Slicing for Pervasive Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Yingyi Bu , Tao Gu , XianPing Tao , Jun Li , Shaxun Chen , Jian Lu Managing Quality of Context in Pervasive Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Muhammad Ali Babar , Antony Tang , Ian Gorton , Jun Han Industrial Perspective on the Usefulness of Design Rationale for Software Maintenance: A Survey. [Citation Graph (0, 0)][DBLP ] Conf ] Hao Wang , Fei Peng , Chao Zhang , Andrej Pietschker Software Project Level Estimation Model Framework based on Bayesian Belief Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Tao Zhang , Shi Ying , Sheng Cao , Xiangyang Jia A Modeling Framework for Service-Oriented Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Anna Derezinska Quality Assessment of Mutation Operators Dedicated for C# Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Shi Ying , ZaoQing Liang , Junli Wang , FuDi Wang A Reflection Mechanism for Reusing Software Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Jiakuan Ma , Yasha Wang A Quantitive Context Model of Software Process Patterns and Its Application Method. [Citation Graph (0, 0)][DBLP ] Conf ] Johannes Mayer , Christoph Schneckenburger Adaptive Random Testing with Enlarged Input Domain. [Citation Graph (0, 0)][DBLP ] Conf ] Changhai Nie , Baowen Xu , Ziyuan Wang , Liang Shi Generating Optimal Test Set for Neighbor Factors Combinatorial Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Jessica Chen , Lihua Duan Optimal Synchronizable Test Sequence from Test Segments. [Citation Graph (0, 0)][DBLP ] Conf ] Kwok Ping Chan , Tsong Yueh Chen , Dave Towey Probabilistic Adaptive Random Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Li Meng , Xiaoyuan He , Sontakke Ashok Defect Prevention: A General Framework and Its Application. [Citation Graph (0, 0)][DBLP ] Conf ] Silvia Mara Abrahão , Emilio Insfrán Early Usability Evaluation in Model Driven Architecture Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Jie Yang , Gang Huang , Li Zhou , Zhao Liu , Meng Ye , Ying Chen An Approach to Composing Multiple Component Implementations for Satisfying Quality Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Lei Li , Chunlei Niu , Haoran Zheng , Jun Wei An Adaptive Caching Mechanism for Web Services. [Citation Graph (0, 0)][DBLP ] Conf ] Wei-Tek Tsai , Qian Huang , Bingnan Xiao , Yinong Chen Verification Framework for Dynamic Collaborative Services in Service-Oriented Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Sen Xiang , Yiyun Chen , Chunxiao Lin , Long Li Modularly Certified Dynamic Storage Allocation in SCAP. [Citation Graph (0, 0)][DBLP ] Conf ] Arnaud Gotlieb , Patrick Bernard A Semi-empirical Model of Test Quality in Symmetric Testing: Application to Testing Java Card APIs. [Citation Graph (0, 0)][DBLP ] Conf ] Haifeng Li , Minyan Lu , Qiuying Li Software Reliability Metrics Selecting Method Based on Analytic Hierarchy Process. [Citation Graph (0, 0)][DBLP ] Conf ] Henrik Hedberg , Juha Iisakka Technical Reviews in Agile Development: Case Mobile-D^TM. [Citation Graph (0, 0)][DBLP ] Conf ] Nor Iadah Yusop Teaching Object-Oriented Systems Analysis to Non-IT Students: A Practical Experience. [Citation Graph (0, 0)][DBLP ] Conf ] Y. T. Yu , C. K. Poon , M. Choy Experiences with PASS: Developing and Using a Programming Assignment aSsessment System. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen S. Yau , Choksing Taweponsomkiat , Dazhi Huang A Framework for Extensible Component Customization for Component-based Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Yunni Xia , Hanpin Wang , Yu Huang , Chunxiang Xu Stochastic modeling and quality evaluation of component-based software systems. [Citation Graph (0, 0)][DBLP ] Conf ] Zhuopeng Zhang , Hongji Yang , William C. Chu Extracting Reusable Object-Oriented Legacy Code Segments with Combined Formal Concept Analysis and Slicing Techniques for Service Integration. [Citation Graph (0, 0)][DBLP ] Conf ] Beihong Jin , Gang Li , Liang Zhang Reconstruct the Distributed Transaction Monitor OnceTX. [Citation Graph (0, 0)][DBLP ] Conf ] Shi Zhang , Linpeng Huang Formalizing Class Dynamic Software Updating. [Citation Graph (0, 0)][DBLP ] Conf ] Zhifeng Lai , S. C. Cheung , Yunfei Jiang Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Fei Pu , Wenhui Zhang LTL Model Checking via Search Space Partition. [Citation Graph (0, 0)][DBLP ] Conf ] Hui Wang , Deguo Yang , YuHui Zhao , Yuan Gao Multiagent System for Reputation--based Web Services Selection. [Citation Graph (0, 0)][DBLP ] Conf ] Rune Gustavsson Proper use of Agent Technologies in Design and Implementation of Software Intensive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Donghong Qin , Zhi Li Evaluation and Research of Strong Migration of Mobile Agent for Exploiting Type Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Mohammad M. R. Bhuiyan , M. M. Zahidul Islam , Aneesh Krishna , Aditya K. Ghose Co-evolution of Agent Oriented Conceptual Models and Use Case Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Lin Liu , Qiang Liu , Chi-Hung Chi , Zhi Jin , Eric Yu Towards A Service Requirements Ontology on Knowledge and Intention. [Citation Graph (0, 0)][DBLP ] Conf ] 