Search results for "QSIC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jianwen Xiang, Kazuhiro Ogata 0001	Formal Fault Tree Analysis of State Transition Systems.	QSIC	2005	DBLP DOI BibTeX RDF
1		Additional Reviewers.	QSIC	2005	DBLP DOI BibTeX RDF
1	Mikhail Perepletchikov, Lin Padgham	Systematic Incremental Development of Agent Systems, using Prometheus.	QSIC	2005	DBLP DOI BibTeX RDF
1		Copyright.	QSIC	2005	DBLP DOI BibTeX RDF
1	W. K. Chan 0001, S. C. Cheung 0001, T. H. Tse	Fault-Based Testing of Database Application Programs with Conceptual Data Model.	QSIC	2005	DBLP DOI BibTeX RDF	database application testing, semantic mutants, fault-based testing
1	Bernhard K. Aichernig, Percy Antonio Pari Salas	Test Case Generation by OCL Mutation and Constraint Solving.	QSIC	2005	DBLP DOI BibTeX RDF
1	Jiangang Ma, Yanchun Zhang, Minglu Li 0001	OMWSC- An Ontology-Based Model for Web Services Composition.	QSIC	2005	DBLP DOI BibTeX RDF
1	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.	QSIC	2005	DBLP DOI BibTeX RDF
1	Aleksander Binemann-Zdanowicz, Bernhard Thalheim, Klaus-Dieter Schewe, Jane Zhao	Quality Assurance in the Design of Web Information Systems.	QSIC	2005	DBLP DOI BibTeX RDF	Quality Design, Refinement, Abstract State Machines, Web Information Systems
1	Yuen-Tak Yu, Pak-Lok Poon	Designing Activities for Learning Software Quality Practices.	QSIC	2005	DBLP DOI BibTeX RDF
1	Ji Wang, Rui Shen 0003, Hong Zhu 0002	Caste-Centric Agent-Oriented Programming.	QSIC	2005	DBLP DOI BibTeX RDF
1	Jingtao Yang, Corina Cîrstea, Peter Henderson 0001	An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination.	QSIC	2005	DBLP DOI BibTeX RDF
1	Satyajit Acharya, Chris George, Hrushikesha Mohanty	Domain Consistency in Requirements Specification.	QSIC	2005	DBLP DOI BibTeX RDF	Consistency Conditions, Testing, Specification, RAISE, RSL
1	Jason Khallouf, Michael Winikoff	Towards Goal-Oriented Design of Agent Systems.	QSIC	2005	DBLP DOI BibTeX RDF
1	Huaizhong Li, Chiou Peng Lam	An Ant Colony Optimization Approach to Test Sequence Generation for Statebased Software Testin.	QSIC	2005	DBLP DOI BibTeX RDF
1	Haruhiko Kaiya, Motoshi Saeki	Ontology Based Requirements Analysis: Lightweight Semantic Processing Approach.	QSIC	2005	DBLP DOI BibTeX RDF	Lightweight semantic processing, Requirements Engineering, Thesaurus
1	Xia Liu, Qing Wang 0001	Study on Application of a Quantitative Evaluation Approach for Software Architecture Adaptability.	QSIC	2005	DBLP DOI BibTeX RDF
1	Jun Yan 0005, Yun Yang 0001, Ryszard Kowalczyk, Xuan Thang Nguyen	A Service Workflow Management Framework Based on Peer-to-Peer and Agent Technologies.	QSIC	2005	DBLP DOI BibTeX RDF
1	Lasse Harjumaa, Ilkka Tervonen, Anna Huttunen	Peer Reviews in Real Life - Motivators and Demotivators.	QSIC	2005	DBLP DOI BibTeX RDF
1	Bruce Quig, Michael Kölling, John Rosenberg, Phillip Steele	Interactive Visualisation and Testing of Jini Services.	QSIC	2005	DBLP DOI BibTeX RDF
1	Tsong Yueh Chen, Sau-Fun Tang, Pak-Lok Poon, T. H. Tse	Identification of Categories and Choices in Activity Diagrams.	QSIC	2005	DBLP DOI BibTeX RDF	choice relation framework, test frame, specification-based testing, Activity diagrams, classification-tree method, category-partition method
1	Peter Massuthe, Karsten Schmidt 0004	Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture.	QSIC	2005	DBLP DOI BibTeX RDF	Service-oriented architecture, service composition, matching, automata, operating guidelines
1	Haohai Ma, Zhe Ji, Weizhong Shao, Lu Zhang 0023	Towards the UML Evaluation Using Taxonomic Patterns on Meta-Classes.	QSIC	2005	DBLP DOI BibTeX RDF	Meta-class, UML, Software Quality, Software evaluation
1	Kai-Yuan Cai, Lei Zhao, Hai Hu, Chang-Hai Jiang	On the Test Case Definition for GUI Testing.	QSIC	2005	DBLP DOI BibTeX RDF
1	Wei-Tek Tsai, Dawei Zhang, Raymond A. Paul, Yinong Chen	Stochastic Voting Algorithms for Web Services Group Testing.	QSIC	2005	DBLP DOI BibTeX RDF	clustering, Simulated Annealing, voting, Web services testing
1		Conference Committees.	QSIC	2005	DBLP DOI BibTeX RDF
1	Matthias Book, Volker Gruhn, Malte Hülder, André Köhler 0001, Andreas Kriegel	Cost and Response Time Simulation forWeb-based Applications on Mobile Channels.	QSIC	2005	DBLP DOI BibTeX RDF	cost estimationTopics: Software quality: measurement, Information management: economics of software quality, Emerging technology: mobile computing, mobile communications, Web engineering
1	Henrik Hedberg, Jouni Lappalainen	A Preliminary Evaluation of Software Inspection Tools, with the DESMET Method.	QSIC	2005	DBLP DOI BibTeX RDF
1	Lin Padgham, John Thangarajah, Michael Winikoff	Tool Support for Agent Development using the Prometheus Methodology.	QSIC	2005	DBLP DOI BibTeX RDF
1	Ingo Müller 0001, Peter Braun 0002, Ryszard Kowalczyk	Design Patterns for Agent-Based Service Composition in theWeb.	QSIC	2005	DBLP DOI BibTeX RDF
1	Ken Ngo-Pham, John Bigham, Julian Rodaway, Laurissa N. Tokarchuk	A System to Mark Programs Automatically.	QSIC	2005	DBLP DOI BibTeX RDF
1	Stephen S. Yau, Gaurav Goyal, Yisheng Yao	Replication for Adaptive Responsiveness in Service-Oriented Systems.	QSIC	2005	DBLP DOI BibTeX RDF	situationawareness, service-oriented architecture, adaptability, Responsiveness, service-oriented systems
1	Tsong Yueh Chen, Fei-Ching Kuo, Zhiquan Zhou	Teaching Automated Test Case Generation.	QSIC	2005	DBLP DOI BibTeX RDF	Software engineering education, white-box testing, automated test case generation
1	Alexei Tretiakov, Sven Hartmann	Higher-Order Entity Relationship Modelling with UML.	QSIC	2005	DBLP DOI BibTeX RDF
1	Stefan Brass, Christian Goldberg	Proving the Safety of SQL Queries.	QSIC	2005	DBLP DOI BibTeX RDF	Runtime Errors, SQL, Consistency
1	W. K. Chan 0001, Tsong Yueh Chen, Heng Lu 0001	A Metamorphic Approach to Integration Testing of Context-Sensitive Middleware-Based Applications.	QSIC	2005	DBLP DOI BibTeX RDF	integration testing, Context-aware application, metamorphic testing
1	Akira Osada, Daigo Ozawa, Haruhiko Kaiya, Kenji Kaijiri	Modeling Software Characteristics and Their Correlations in A Specific Domain by Comparing Existing Similar Systems.	QSIC	2005	DBLP DOI BibTeX RDF	Requirements Engineering, Domain Modeling, Requirements elicitation
1		Message from the Steering Committee Chair.	QSIC	2005	DBLP DOI BibTeX RDF
1	Michael Winikoff	Towards Making Agent UML Practical: A Textual Notation and a Tool.	QSIC	2005	DBLP DOI BibTeX RDF
1	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.	QSIC	2005	DBLP DOI BibTeX RDF	Software Engineering, Grid, Scientific Workflow, Problem Solving Environments
1	Cat Kutay, Muhammad Ali Babar 0001	Teaching Three Quality Assurance Techniques in Tandem - Lessons Learned.	QSIC	2005	DBLP DOI BibTeX RDF
1		Title Page.	QSIC	2005	DBLP DOI BibTeX RDF
1	Dong Guo 0002, Liang Hu 0001, Meng Zhang 0006, Zhuopeng Zhang	GcpSensor: a CPU Performance Tool for Grid Environments.	QSIC	2005	DBLP DOI BibTeX RDF
1		Message from the Program Committee Co-Chairs.	QSIC	2005	DBLP DOI BibTeX RDF
1	Damien Wilmann, Leon Sterling	Guiding agent-oriented requirements elicitation: HOMER.	QSIC	2005	DBLP DOI BibTeX RDF
1	Paul R. Taylor, Peter Evans-Greenwood, James Odell	The Genesis of a Pattern Language for Agent-based Enterprise Systems.	QSIC	2005	DBLP DOI BibTeX RDF
1	Lars Grunske, Bernhard Kaiser	Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations.	QSIC	2005	DBLP DOI BibTeX RDF	Failure Propagation Transformation Notation, Component Fault Trees, System analysis, System architectures, Safety analysis
1	Allan Fisher, Jill Fain Lehman	Dynamic Delivery of Software Development Curriculum.	QSIC	2005	DBLP DOI BibTeX RDF
1	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.	QSIC	2005	DBLP DOI BibTeX RDF	controlled Markov chain, software testing, adaptive testing, software cybernetics
1	Antonio Congiusta, Domenico Talia, Gianluigi Greco, Antonella Guzzo, Giuseppe Manco 0001, Luigi Pontieri, Domenico Saccà	A Data Mining-based Framework for GridWorkflow Management.	QSIC	2005	DBLP DOI BibTeX RDF
1	W. K. Chan 0001, S. C. Cheung 0001, Karl R. P. H. Leung	Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications.	QSIC	2005	DBLP DOI BibTeX RDF	metamorphic testing infrastructure, service-oriented architecture, unit testing, integration testing
1	Nor Laily Hashim, Heinz W. Schmidt, Sita Ramakrishnan	Test Order for Class-based Integration Testing of Java Applications.	QSIC	2005	DBLP DOI BibTeX RDF
1	Xuan Thang Nguyen, Ryszard Kowalczyk	Enabling Agent-Based Management of Web Services with WS2JADE.	QSIC	2005	DBLP DOI BibTeX RDF
1		Workshop Committees.	QSIC	2005	DBLP DOI BibTeX RDF
1	Gyu-Baek Kim	A Method of Generating Massive Virtual Clients and Model-based Performance Test.	QSIC	2005	DBLP DOI BibTeX RDF
1	Peng Wu 0002, Huimin Lin	Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints.	QSIC	2005	DBLP DOI BibTeX RDF
1	Minghui Zhou 0001, Hong Mei 0001, Lu Zhang 0023	A Multi-Property Trust Model for Reconfiguring Component Software.	QSIC	2005	DBLP DOI BibTeX RDF	QoS, component, dynamic reconfiguration, trust management
1	Xiaodong Yi 0002, Ji Wang 0001, Xuejun Yang	Verification of C Programs using Slicing Execution.	QSIC	2005	DBLP DOI BibTeX RDF
1		4th International Conference on Quality Software (QSIC 2004), 8-10 September 2004, Braunschweig, Germany	QSIC	2004	DBLP BibTeX RDF
1	Yanlong Zhang, Hong Zhu 0002, Sue Greenwood	Website Complexity Metrics for Measuring Navigability.	QSIC	2004	DBLP DOI BibTeX RDF
1	Nelly Condori-Fernández, Silvia Mara Abrahão, Oscar Pastor 0001	Towards a Functional Size Measure for Object-Oriented Systems from Requirements Specifications.	QSIC	2004	DBLP DOI BibTeX RDF	Requirements Model, Functional Size Measurement, COSMIC-FFP
1	David Harel, Hillel Kugler, Amir Pnueli	Smart Play-Out Extended: Time and Forbidden Elements.	QSIC	2004	DBLP DOI BibTeX RDF
1	Matinee Kiewkanya, Nongyao Jindasawat, Pornsiri Muenchaisri	A Methodology for Constructing Maintainability Model of Object-Oriented Design.	QSIC	2004	DBLP DOI BibTeX RDF
1	Juan Pablo Carvallo 0001, Xavier Franch, Gemma Grau, Carme Quer	COSTUME: A Method for Building Quality Models for Composite COTS-Based Software Systems.	QSIC	2004	DBLP DOI BibTeX RDF
1	Shuyu Li, Jian Wu, Zhengguo Hu	A Contract-Based Component Model for Embedded Systems.	QSIC	2004	DBLP DOI BibTeX RDF
1	Yan Jiong, Ji Wang 0001, Huowang Chen	Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models.	QSIC	2004	DBLP DOI BibTeX RDF
1	Anders Hessel, Paul Pettersson	A Test Case Generation Algorithm for Real-Time Systems.	QSIC	2004	DBLP DOI BibTeX RDF
1	Stefan Brass, Christian Goldberg	Semantic Errors in SQL Queries: A Quite Complete List.	QSIC	2004	DBLP DOI BibTeX RDF
1	J. Christian Attiogbé	A Mechanically Proved Development Combining B Abstract Systems and Spin.	QSIC	2004	DBLP DOI BibTeX RDF
1	Michel Jaring, Jan Bosch	Architecting Product Diversification - Formalizing Variability Dependencies in Software Product Family Engineering.	QSIC	2004	DBLP DOI BibTeX RDF
1	Michael Drouineaud, Maksym Bortin, Paolo Torrini, Karsten Sohr	A First Step Towards Formal Verification of Security Policy Properties for RBAC.	QSIC	2004	DBLP DOI BibTeX RDF
1	Leticia Dávila-Nicanor, Pedro Mejía-Alvarez	Reliability Improvement of Web-Based Software Applications.	QSIC	2004	DBLP DOI BibTeX RDF
1	Arne Sølvberg	Conceptual Modeling: A Key to Quality Information Systems.	QSIC	2004	DBLP DOI BibTeX RDF
1	Thomas Grechenig, Wolfgang Zuser	Creating Organic Software Maturity Attitudes (COSMA) Selected Principles and Activities for Software Maturity in Small and Medium Software Enterprises.	QSIC	2004	DBLP DOI BibTeX RDF	Small and medium software enterprises (SMSE), Software maturity (SM), Software quality assurance (SQA), development cultures, activities, attitudes, principles
1	Jane Zhao, Hui Ma 0001	Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines.	QSIC	2004	DBLP DOI BibTeX RDF	Quality Design, Data Warehouse, Abstract State Machine, On-Line Analytical Processing
1	Kai-Yuan Cai, Xiang-Yun Wang	Towards a Control-Theoretical Approach to Software Fault-Tolerance.	QSIC	2004	DBLP DOI BibTeX RDF
1	Hakim Lounis, Lynda Ait-Mehedine	Machine-Learning Techniques for Software Product Quality Assessment.	QSIC	2004	DBLP DOI BibTeX RDF
1	Yuen-Tak Yu, Man Fai Lau	Comparing Several Coverage Criteria for Detecting Faults in Logical Decisions.	QSIC	2004	DBLP DOI BibTeX RDF	Condition coverage, decision coverage, logical decisions, MUMCUT, coverage criteria, MC/DC
1	Samir Benarif, Amar Ramdane-Cherif, Nicole Lévy, Francisca Losavio	Intelligent Tool Based-Agent for Software Architecture Evaluation .	QSIC	2004	DBLP DOI BibTeX RDF
1	Jian Zhang 0001	Symbolic Execution of Program Paths Involving Pointer and Structure Variables.	QSIC	2004	DBLP DOI BibTeX RDF
1	Gonzalo Cuevas Agustín, Alan Serrano, Ariel Serrano	Assessment of the Requirements Management Process using a Two-Stage Questionnaire.	QSIC	2004	DBLP DOI BibTeX RDF
1	Tsong Yueh Chen, Fei-Ching Kuo, Robert G. Merkel	On the Statistical Properties of the F-measure.	QSIC	2004	DBLP DOI BibTeX RDF	testing effectiveness metric, software testing, random testing, quality measurement, adaptive random testing, F-measure
1	Alexander Kuckelberg	Component Based System Architecture for Railway Capacity Management Systems.	QSIC	2004	DBLP DOI BibTeX RDF	distributed and web-based information systems, Component-based systems
1	Ricardo de Almeida Falbo, Ligia S. Mota Borges, Fabio Feu Rosa Valente	Using Knowledge Management to Improve Software Process Performance in a CMM Level 3 Organization.	QSIC	2004	DBLP DOI BibTeX RDF
1	Lasse Harjumaa, Ilkka Tervonen, Pekka Vuorio	Improving Software Inspection Process with Patterns.	QSIC	2004	DBLP DOI BibTeX RDF	Software process improvement, Software inspection, Process patterns
1	Robert B. K. Brown, Aditya Ghose	Hierarchic Decomposition in Agent Oriented Conceptual Modelling.	QSIC	2004	DBLP DOI BibTeX RDF
1	Hesham Hallal, El Hachemi Alikacem, W. P. Tunney, Sergiy Boroday, Alexandre Petrenko	Antipattern-Based Detection of Deficiencies in Java Multithreaded Software.	QSIC	2004	DBLP DOI BibTeX RDF
1	M. Y. Cheng, S. C. Cheung 0001, T. H. Tse	Towards the Application of Classification Techniques to Test and Identify Faults in Multimedia Systems.	QSIC	2004	DBLP DOI BibTeX RDF	neural networks, classification, multimedia, Software testing, Bayesian networks, k-nearest neighbor
1	Eric Ying Kwong Chan, Yuen-Tak Yu	Evaluating Several Path-Based Partial Dynamic Analysis Methods for Selecting Black-Box Generated Test Cases.	QSIC	2004	DBLP DOI BibTeX RDF	partial dynamic analysis, path coverage, white-on-black approach, Black-box testing, test case selection, path analysis
1	Tsong Yueh Chen, Robert G. Merkel, G. Eddy, P. K. Wong	Adaptive Random Testing Through Dynamic Partitioning.	QSIC	2004	DBLP DOI BibTeX RDF	proportional sampling strategy, random testing, adaptive random testing, partition testing
1	Kazuhiro Ogata 0001, Kokichi Futatsugi	Equational Approach to Formal Verification of SET.	QSIC	2004	DBLP DOI BibTeX RDF	security, verification, algebraic specification, rewriting, interactive theorem proving, payment
1	Kai-Yuan Cai, Yong-Chao Li, Ke Liu	How to Test Software for Optimal Software Reliability Assessment.	QSIC	2003	DBLP DOI BibTeX RDF
1	Shereef Abu Al-Maati, Kamel Rekab	Dynamic Test Allocation Model for Software Reliability.	QSIC	2003	DBLP DOI BibTeX RDF
1	Hyung-Min Park, Ho-Won Jung	Evaluating Interrater Agreement with Intraclass Correlation Coefficient in SPICE-based Software Process Assessment.	QSIC	2003	DBLP DOI BibTeX RDF	Interrater agreement, SPICE, ISO/IEC 15504
1	WeiQi Cao, Juan-Zi Li, Kehong Wang, Tao Zeng	Asynchronous Communication For Complicated E-Commerce Applications.	QSIC	2003	DBLP DOI BibTeX RDF
1	Wen-Kui Chang, Shing-Kai Hon, William C. Chu	A Systematic Framework for Evaluating Hyperlink Validity in Web Environments.	QSIC	2003	DBLP DOI BibTeX RDF
1	Ismael Caballero 0001, Mario Piattini	CALDEA: A Data Quality Model Based on Maturity Levels.	QSIC	2003	DBLP DOI BibTeX RDF
1	Ansgar Fehnker, Frits W. Vaandrager, Miaomiao Zhang	Modeling and Verifying a Lego Car Using Hybrid I/O Automata.	QSIC	2003	DBLP DOI BibTeX RDF
1	Yuan Zhao, Hee Beng Kuan Tan, Wei Zhang	Software Cost Estimation through Conceptual Requirement.	QSIC	2003	DBLP DOI BibTeX RDF
1	Patrick J. Schroeder, Eok Kim, Jerry Arshem, Pankaj Bolaki	Combining Behavior and Data Modeling in Automated Test Case Generation.	QSIC	2003	DBLP DOI BibTeX RDF

Publications at "QSIC"( http://dblp.L3S.de/Venues/QSIC )