Knowledge-based software engineering [[electronic resource] ] : proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering / / edited by Maria Virvou and Saeko Matsuura

• Record Nr.: UNINA9910785995603321
• Pubbl/distr/stampa: Amsterdam ; ; Washington, D.C., : Ios Press, c2012
• ISBN: 1-299-33325-7; 1-61499-094-8
• Descrizione fisica: 1 online resource (340 p.)
• Collana: Frontiers in artificial intelligence and applications ; ; 240
• Altri autori (Persone): VirvouMaria; MatsuuraSaeko
• Disciplina: 005.1
• Soggetti: Expert systems (Computer science); Software engineering
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Title Page; Preface; Contents; A Verification Method of the Correctness of Requirements Ontology; Question Answering System Using Web Relevance Score and Translation Probability; Problems of a Method for Estimating SEAC and EAC by Earned Value Analysis; Proposal of Analysis Method Using Conceptual Data Modeling and Theory of Constraints; A Review Method Based on a Matrix Interpretation of GSN; Artificial Immune System-Based Music Piece Recommendation; A Concept-Based Image Acquisition System with User-Driven Classification; Markerless Human Motion Tracking: A Survey; Evaluation of an Assurance Case Development Method (d*)System Prototype Generation Tool for Requirements Review; Validating Quality Requirements Considerations in a Design Document Using Spectrum Analysis; An Evaluation of a Quality Model for a High Quality Procurement Specification; A Metamodel for Design Review Derived from Design Specification Templates; Full-Text Retrieval System for Humanities Researches; A Preliminary Study on Formalization of Motivation Process in Personal Software Process Course; Evaluation of End User Accessibility Support Using Link Content Analysis; Evaluation of a Representation System of Quality IndicatorsToward Dynamic Assurance Cases; An Automatic Approach for Detecting Early ; Indicators of Design Anti-Patterns; Goal-Oriented Robustness Analysis; A Review Method of Requirements Analysis Model in UML with Prototyping; Development of Requirement Specification Editor with Semantic Information; Consistent GUI Arrangements by Analyzing Existing Windows; Mapping Rule Between Requirements Analysis Model and Web Framework Specific Design Model; Killing Mutants Effectively - A Search Based Approach; A Mutation Test Based Approach to Evaluating Test Suites for Web ApplicationsDetecting API Usage Patterns from Software Repositories Using Method Categorization; Computer-Aided Diagnosis and Access on Peoples' Health Status Using Web Technology and Mobile Devices; Using Fuzzy Cognitive Maps for the Domain Knowledge Representation of an Adaptive e-Learning System; Error Diagnosis in Computer-Supported Collaborative Multiple Language Learning Using User Classification; Motivated Agents in Virtual Worlds; Knowledge Acquisition for the Further Development of e-Government; Macro and Micro Patterns in the Software Design ActivityFinding Cross-Browser JavaScript Codes Using Sequential Pattern Mining; Multi-Level Human Robot Interaction by Aligning Different Ontologies; Subject Index; Author Index