LEADER 04501nam 2200625Ia 450 001 9910785995603321 005 20230124190456.0 010 $a1-299-33325-7 010 $a1-61499-094-8 035 $a(CKB)2670000000261550 035 $a(EBL)1035226 035 $a(OCoLC)812180024 035 $a(SSID)ssj0000767623 035 $a(PQKBManifestationID)11424069 035 $a(PQKBTitleCode)TC0000767623 035 $a(PQKBWorkID)10741485 035 $a(PQKB)11437147 035 $a(MiAaPQ)EBC1035226 035 $a(Au-PeEL)EBL1035226 035 $a(CaPaEBR)ebr10607550 035 $a(CaONFJC)MIL464575 035 $a(EXLCZ)992670000000261550 100 $a20080827d2012 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aKnowledge-based software engineering$b[electronic resource] $eproceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering /$fedited by Maria Virvou and Saeko Matsuura 210 $aAmsterdam ;$aWashington, D.C. $cIos Press$dc2012 215 $a1 online resource (340 p.) 225 0 $aFrontiers in artificial intelligence and applications ;$v240 300 $aDescription based upon print version of record. 311 $a1-61499-093-X 320 $aIncludes bibliographical references and index. 327 $aTitle 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 327 $aEvaluation 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 327 $aEvaluation 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 327 $aA 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 327 $aMacro 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 606 $aExpert systems (Computer science)$vCongresses 606 $aSoftware engineering$vCongresses 615 0$aExpert systems (Computer science) 615 0$aSoftware engineering 676 $a005.1 701 $aVirvou$b Maria$0720958 701 $aMatsuura$b Saeko$01560355 712 12$aJoint Conference on Knowledge-Based Software Engineering 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910785995603321 996 $aKnowledge-based software engineering$93826238 997 $aUNINA