default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. QSIC 2005: Melbourne, Australia
- Fifth International Conference on Quality Software (QSIC 2005), 19-20 September 2005, Melbourne, Australia. IEEE Computer Society 2005, ISBN 0-7695-2472-9
Cover
- Title Page.
- Copyright.
Introduction
- Message from the Steering Committee Chair.
- Message from the Program Committee Co-Chairs.
- Conference Committees.
- Additional Reviewers.
- Workshop Committees.
- Keynote Speech.
Session 1A: Software Testing I
- Peng Wu, Huimin Lin:
Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints. 3-10 - Nor Laily Hashim
, Heinz W. Schmidt, Sita Ramakrishnan:
Test Order for Class-based Integration Testing of Java Applications. 11-18 - Kai-Yuan Cai, Lei Zhao, Hai Hu, Chang-Hai Jiang:
On the Test Case Definition for GUI Testing. 19-28
Session 1B: Software Quality
- Lasse Harjumaa, Ilkka Tervonen, Anna Huttunen:
Peer Reviews in Real Life - Motivators and Demotivators. 29-36 - Haohai Ma, Zhe Ji, Weizhong Shao, Lu Zhang:
Towards the UML Evaluation Using Taxonomic Patterns on Meta-Classes. 37-44 - Henrik Hedberg, Jouni Lappalainen:
A Preliminary Evaluation of Software Inspection Tools, with the DESMET Method. 45-54
Session 2A: Software Modeling and Testing
- Tsong Yueh Chen, Sau-Fun Tang, Pak-Lok Poon, T. H. Tse:
Identification of Categories and Choices in Activity Diagrams. 55-63 - Bernhard K. Aichernig, Percy Antonio Pari Salas:
Test Case Generation by OCL Mutation and Constraint Solving. 64-71 - Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes:
Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation. 72-82
Session 2B Web-Based Development
- Matthias Book, Volker Gruhn, Malte Hülder, André Köhler, Andreas Kriegel:
Cost and Response Time Simulation forWeb-based Applications on Mobile Channels. 83-90 - Aleksander Binemann-Zdanowicz, Bernhard Thalheim, Klaus-Dieter Schewe, Jane Zhao:
Quality Assurance in the Design of Web Information Systems. 91-98 - Wei-Tek Tsai, Dawei Zhang, Raymond A. Paul, Yinong Chen:
Stochastic Voting Algorithms for Web Services Group Testing. 99-108
Session 3A: Formal Methods
- Xiaodong Yi, Ji Wang, Xuejun Yang:
Verification of C Programs using Slicing Execution. 109-116 - Lars Grunske, Bernhard Kaiser:
Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations. 117-123 - Jianwen Xiang, Kazuhiro Ogata:
Formal Fault Tree Analysis of State Transition Systems. 124-134
Session 3B: Software Components
- Hai Hu, W. Eric Wong, Chang-Hai Jiang, Kai-Yuan Cai:
A Case Study of the Recursive Least Squares Estimation Approach to Adaptive Testing for Software Components. 135-141 - Minghui Zhou, Hong Mei, Lu Zhang:
A Multi-Property Trust Model for Reconfiguring Component Software. 142-149 - Sajjad Mahmood, Richard Lai:
Measuring the Complexity of a UML Component Specification. 150-160
Session 4A: Software Architecture
- Stephen S. Yau, Gaurav Goyal, Yisheng Yao:
Replication for Adaptive Responsiveness in Service-Oriented Systems. 161-168 - Muhammad Ali Babar, Ian Gorton, D. Ross Jeffery:
Capturing and Using Software Architecture Knowledge for Architecture-Based Software Development. 169-176 - Yan Jin, Jun Han:
Runtime Validation of Behavioural Contracts for Component Software. 177-186
Session 4B: Database Modeling and Applications
- W. K. Chan, Shing-Chi Cheung, T. H. Tse:
Fault-Based Testing of Database Application Programs with Conceptual Data Model. 187-196 - Stefan Brass, Christian Goldberg:
Proving the Safety of SQL Queries. 197-204 - Alexei Tretiakov, Sven Hartmann:
Higher-Order Entity Relationship Modelling with UML. 205-214
Session 5A: Requirements Engineering
- Akira Osada, Daigo Ozawa, Haruhiko Kaiya, Kenji Kaijiri:
Modeling Software Characteristics and Their Correlations in A Specific Domain by Comparing Existing Similar Systems. 215-222 - Haruhiko Kaiya, Motoshi Saeki:
Ontology Based Requirements Analysis: Lightweight Semantic Processing Approach. 223-230 - Satyajit Acharya, Chris George, Hrushikesha Mohanty:
Domain Consistency in Requirements Specification. 231-240
Session 5B: Software Testing II
- W. K. Chan, Tsong Yueh Chen, Heng Lu:
A Metamorphic Approach to Integration Testing of Context-Sensitive Middleware-Based Applications. 241-249 - Gyu-Baek Kim:
A Method of Generating Massive Virtual Clients and Model-based Performance Test. 250-254 - Huaizhong Li, Chiou Peng Lam:
An Ant Colony Optimization Approach to Test Sequence Generation for Statebased Software Testin. 255-264
Session 6A: Software Metrics and Tools
- Xia Liu, Qing Wang:
Study on Application of a Quantitative Evaluation Approach for Software Architecture Adaptability. 265-272 - Dong Guo, Liang Hu, Meng Zhang, Zhuopeng Zhang:
GcpSensor: a CPU Performance Tool for Grid Environments. 273-278 - Vasudeva Varma, Kirti Garg:
Case Studies: The Potential Teaching Instruments for Software Engineering Education. 279-286
Session 6B: Real-Time Applications
- Sandy Citro, Jim McGovern, Caspar Ryan:
An Efficient Consistency Management Algorithm for Real-Time Mobile Collaboration. 287-264 - Ingomar Wenzel, Raimund Kirner, Peter P. Puschner, Bernhard Rieder:
Principles of Timing Anomalies in Superscalar Processors. 295-306
First International Workshop on Education and Training for Quality Software Engineering (ETQSE 2005)
- Cat Kutay, Muhammad Ali Babar:
Teaching Three Quality Assurance Techniques in Tandem - Lessons Learned. 307-312 - F. T. Chan, W. H. Tang, Tsong Yueh Chen:
Software Testing Education and Training in Hong Kong. 313-316 - Ken Ngo-Pham, John Bigham, Julian Rodaway, Laurissa N. Tokarchuk:
A System to Mark Programs Automatically. 317-322 - Allan Fisher, Jill Fain Lehman:
Dynamic Delivery of Software Development Curriculum. 323-326 - Tsong Yueh Chen, Fei-Ching Kuo, Zhi Quan Zhou:
Teaching Automated Test Case Generation. 327-333 - Yuen-Tak Yu, Pak-Lok Poon:
Designing Activities for Learning Software Quality Practices. 333-340
First International Workshop on Grid and Peer-to-Peer Based Workflows (GPWW 2005)
- R. A. Dheepak, Shakeb Ali, Ira Gupta, Hardik Dave, Adarsh Kailash Upadhyay, Lech D. Alves, Anish Damodaran, Anirban Chakrabarti, Anirban Ghosh:
Scalable Enterprise Level Workflow Manager for the Grid. 341-348 - Antonio Congiusta, Domenico Talia, Gianluigi Greco, Antonella Guzzo, Giuseppe Manco, Luigi Pontieri, Domenico Saccà:
A Data Mining-based Framework for GridWorkflow Management. 349-356 - Zhiming Zhao, Adam Belloum, Adianto Wibisono, Frank Terpstra, Piter T. de Boer, Peter M. A. Sloot, Bob Hertzberger:
Scientific workflow management: between generality and applicability. 357-364 - John Noll:
A Peer-to-peer Architecture forWorkflow in Virtual Enterpris. 365-372 - Jun Yan, Yun Yang, Ryszard Kowalczyk, Xuan Thang Nguyen:
A Service Workflow Management Framework Based on Peer-to-Peer and Agent Technologies. 373-382
First International Workshop on Integration of Software Engineering and Agent Technology (ISEAT 2005)
- Lin Padgham, John Thangarajah, Michael Winikoff:
Tool Support for Agent Development using the Prometheus Methodology. 383-388 - Jason Khallouf, Michael Winikoff:
Towards Goal-Oriented Design of Agent Systems. 389-394 - Paul R. Taylor, Peter Evans-Greenwood, James Odell:
The Genesis of a Pattern Language for Agent-based Enterprise Systems. 395-400 - Michael Winikoff:
Towards Making Agent UML Practical: A Textual Notation and a Tool. 401-412 - Xuan Thang Nguyen, Ryszard Kowalczyk:
Enabling Agent-Based Management of Web Services with WS2JADE. 407-412 - Mikhail Perepletchikov, Lin Padgham:
Systematic Incremental Development of Agent Systems, using Prometheus. 413-418 - Damien Wilmann, Leon Sterling:
Guiding agent-oriented requirements elicitation: HOMER. 419-424 - Ingo Müller, Peter Braun, Ryszard Kowalczyk:
Design Patterns for Agent-Based Service Composition in theWeb. 425-430 - Ji Wang, Rui Shen, Hong Zhu:
Caste-Centric Agent-Oriented Programming. 431-438
First International Workshop on Services Engineering (SEIW 2005)
- Wanita Sherchan, Shonali Krishnaswamy, Seng Wai Loke:
Relevant Past Performance for Selecting Web Services. 439-445 - Jingtao Yang, Corina Cîrstea, Peter Henderson:
An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination. 446-451 - Peter Massuthe, Karsten Schmidt:
Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture. 452-457 - Bruce Quig, Michael Kölling, John Rosenberg, Phillip Steele:
Interactive Visualisation and Testing of Jini Services. 458-463 - Jiangang Ma, Yanchun Zhang, Minglu Li:
OMWSC- An Ontology-Based Model for Web Services Composition. 464-469 - W. K. Chan, Shing-Chi Cheung, Karl R. P. H. Leung:
Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications. 470-476
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 2025-10-22 02:24 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:
