04501nam 2200625Ia 450 991078599560332120230124190456.01-299-33325-71-61499-094-8(CKB)2670000000261550(EBL)1035226(OCoLC)812180024(SSID)ssj0000767623(PQKBManifestationID)11424069(PQKBTitleCode)TC0000767623(PQKBWorkID)10741485(PQKB)11437147(MiAaPQ)EBC1035226(Au-PeEL)EBL1035226(CaPaEBR)ebr10607550(CaONFJC)MIL464575(EXLCZ)99267000000026155020080827d2012 uy 0engur|n|---|||||txtccrKnowledge-based software engineering[electronic resource] proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering /edited by Maria Virvou and Saeko MatsuuraAmsterdam ;Washington, D.C. Ios Pressc20121 online resource (340 p.)Frontiers in artificial intelligence and applications ;240Description based upon print version of record.1-61499-093-X Includes bibliographical references and index.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 SurveyEvaluation 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 AnalysisEvaluation 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 ApproachA 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-GovernmentMacro 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 IndexExpert systems (Computer science)CongressesSoftware engineeringCongressesExpert systems (Computer science)Software engineering005.1Virvou Maria720958Matsuura Saeko1560355Joint Conference on Knowledge-Based Software EngineeringMiAaPQMiAaPQMiAaPQBOOK9910785995603321Knowledge-based software engineering3826238UNINA