Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6. QSIC 2006: Beijing, China
- Sixth International Conference on Quality Software (QSIC 2006), 26-28 October 2006, Beijing, China. IEEE Computer Society 2006, ISBN 0-7695-2718-3
Panel Summary
- J. Barrie Thompson:
Do we really have provable Best Practices that ensure Software Quality? 3
Keynote Speeches
- Jeff Kramer:
Distributed Software Engineering: a Rigorous Architectural Approach. 7-9 - Xiaohan Liao:
Government R&D Programs on Software Technology. 10 - Gregg Rothermel:
Helping End-User Programmers "Engineer' Dependable Software. 11
Quality Attributes Measurement and Analysis 1
- Victor K. Y. Chan, W. Eric Wong, Tianfa Xie:
Application of a Statistical Methodology to Simplify Software Quality Metric Models Constructed Using Incomplete Data Samples. 15-21 - Yang Li, Ningjiang Chen, Tao Huang:
An Event-Driven Adaptive Differentiated Service Web Container Architecture. 22-29 - Aline Lúcia Baroni, Coral Calero
, Fernando Brito e Abreu, Mario Piattini:
Object-Relational Database Metrics Formalization. 30-37 - Jianjun Zhao:
Control-Flow Analysis and Representation for Aspect-Oriented Programs. 38-48
Validation and Verification 1
- Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, Kokichi Futatsugi:
Automating Invariant Verification of Behavioral Specifications. 49-56 - Yujian Fu, Zhijiang Dong, Xudong He:
A Method for Realizing Software Architecture Design. 57-64 - Jinfeng Huang, Jeroen Voeten, Henk Corporaal:
Correctness-preserving synthesis for real-time control software. 65-73 - Yongyan Zheng, Paul Krause:
Asynchronous Semantics and Anti-patterns for Interacting Web Services. 74-84
Software Testing 1
- Johannes Mayer, Ralph Guderlei:
On Random Testing of Image Processing Applications. 85-92 - Liangli Ma, Houxiang Wang, Yansheng Lu:
The Design of Dependency Relationships Matrix to improve the testability of Component-based Software. 93-98 - Jessica Chen, Guy-Vincent Jourdan, Wenxin Ma, Hasan Ural:
Improving Coverage in Functional Testing. 99-106 - Zhongxing Xu, Jian Zhang:
A Test Data Generation Tool for Unit Testing of C Programs. 107-116
Requirements Engineering
- Aneesh Krishna, Ying Guan, Aditya K. Ghose:
Co-evolution of i* Models and 3APL Agents. 117-124 - Haruhiko Kaiya, Kouta Sasaki, Kenji Kaijiri:
PORTAM: Policy, Requirements and Threats Analyzer for Mobile Code Application. 125-132 - Nelly Condori-Fernández, Oscar Pastor:
An Empirical Study on the Likelihood of Adoption in Practice of a Size Measurement Procedure for Requirements Specification. 133-140 - Aditya Ghose, Qiuming Lin:
Viewpoints Merging via Incrementally Elicited Ranked Structures. 141-150
Formal Methods
- Li Tan:
Model-Based Self-Adaptive Embedded Programs with Temporal Logic Specifications. 151-158 - Peng Wang, Kai-Yuan Cai:
Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems. 159-166 - Axel Schneider, Stephan Walter, Jan Langer, Ulrich Heinkel:
Automatic Visualization of Abstract System Specifications. 167-174 - Hui Ma, Klaus-Dieter Schewe, Jane Zhao:
View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data Refinement. 175-184
Quality Management
- Heng Lu, W. K. Chan, T. H. Tse:
Static Slicing for Pervasive Programs. 185-192 - Yingyi Bu, Tao Gu, XianPing Tao, Jun Li, Shaxun Chen, Jian Lu:
Managing Quality of Context in Pervasive Computing. 193-200 - Muhammad Ali Babar, Antony Tang, Ian Gorton, Jun Han:
Industrial Perspective on the Usefulness of Design Rationale for Software Maintenance: A Survey. 201-208 - Hao Wang, Fei Peng, Chao Zhang, Andrej Pietschker:
Software Project Level Estimation Model Framework based on Bayesian Belief Networks. 209-218
Software Architecture, Pattern and Framework
- Tao Zhang, Shi Ying, Sheng Cao, Xiangyang Jia:
A Modeling Framework for Service-Oriented Architecture. 219-226 - Anna Derezinska:
Quality Assessment of Mutation Operators Dedicated for C# Programs. 227-234 - Shi Ying, ZaoQing Liang, JunLi Wang, FuDi Wang:
A Reflection Mechanism for Reusing Software Architecture. 235-243 - Jiakuan Ma, Yasha Wang:
A Quantitive Context Model of Software Process Patterns and Its Application Method. 243-250
Software Testing 2
- Johannes Mayer, Christoph Schneckenburger:
Adaptive Random Testing with Enlarged Input Domain. 251-258 - Changhai Nie, Baowen Xu, Ziyuan Wang, Liang Shi:
Generating Optimal Test Set for Neighbor Factors Combinatorial Testing. 259-265 - Jessica Chen, Lihua Duan:
Optimal Synchronizable Test Sequence from Test Segments. 266-273 - Kwok Ping Chan, Tsong Yueh Chen, Dave Towey:
Probabilistic Adaptive Random Testing. 274-280
Quality Attributes Measurement and Analysis 2
- Li Meng, Xiaoyuan He, Sontakke Ashok:
Defect Prevention: A General Framework and Its Application. 281-286 - Silvia Mara Abrahão, Emilio Insfrán:
Early Usability Evaluation in Model Driven Architecture Environments. 287-294 - Jie Yang, Gang Huang, Li Zhou, Zhao Liu, Meng Ye, Ying Chen:
An Approach to Composing Multiple Component Implementations for Satisfying Quality Requirements. 295-302 - Lei Li, Chunlei Niu, Haoran Zheng, Jun Wei:
An Adaptive Caching Mechanism for Web Services. 303-312
Validation and Verification 2
- Wei-Tek Tsai, Qian Huang, Bingnan Xiao, Yinong Chen:
Verification Framework for Dynamic Collaborative Services in Service-Oriented Architecture. 313-320 - Sen Xiang, Yiyun Chen, Chunxiao Lin, Long Li:
Modularly Certified Dynamic Storage Allocation in SCAP. 321-328 - Arnaud Gotlieb, Patrick Bernard:
A Semi-empirical Model of Test Quality in Symmetric Testing: Application to Testing Java Card APIs. 329-336 - Haifeng Li, Minyan Lu, Qiuying Li:
Software Reliability Metrics Selecting Method Based on Analytic Hierarchy Process. 337-346
Agile Development and Education
- Henrik Hedberg, Juha Iisakka:
Technical Reviews in Agile Development: Case Mobile-D^TM. 347-353 - Nor Iadah Yusop:
Teaching Object-Oriented Systems Analysis to Non-IT Students: A Practical Experience. 354-359 - Yuen-Tak Yu, Chung Keung Poon, Marian Choy:
Experiences with PASS: Developing and Using a Programming Assignment aSsessment System. 360-368
Component-Based Systems
- Stephen S. Yau, Choksing Taweponsomkiat, Dazhi Huang:
A Framework for Extensible Component Customization for Component-based Software Development. 369-376 - Yunni Xia, Hanpin Wang, Yu Huang, Chunxiang Xu:
Stochastic modeling and quality evaluation of component-based software systems. 377-384 - 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. 385-392 - Beihong Jin, Gang Li, Liang Zhang:
Reconstruct the Distributed Transaction Monitor OnceTX. 393-402
Model Checking
- Shi Zhang, Linpeng Huang:
Formalizing Class Dynamic Software Updating. 403-409 - Zhifeng Lai, S. C. Cheung, Yunfei Jiang:
Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework. 410-417 - Fei Pu, Wenhui Zhang:
LTL Model Checking via Search Space Partition. 418-428
ISEAT 2006
- Hui Wang, Deguo Yang, YuHui Zhao, Yuan Gao:
Multiagent System for Reputation--based Web Services Selection. 429-434 - Rune Gustavsson:
Proper use of Agent Technologies in Design and Implementation of Software Intensive Systems. 435-440 - Donghong Qin, Zhi Li:
Evaluation and Research of Strong Migration of Mobile Agent for Exploiting Type Inference. 441-445 - Mohammad M. R. Bhuiyan, M. M. Zahidul Islam, Aneesh Krishna, Aditya K. Ghose:
Co-evolution of Agent Oriented Conceptual Models and Use Case Diagrams. 446-451 - Lin Liu, Qiang Liu, Chi-Hung Chi, Zhi Jin, Eric S. K. Yu:
Towards A Service Requirements Ontology on Knowledge and Intention. 452-462
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-19 19:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
