Knowledge-based software engineering [[electronic resource] ] : proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering / / edited by Maria Virvou and Saeko Matsuura |
Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : Ios Press, c2012 |
Descrizione fisica | 1 online resource (340 p.) |
Disciplina | 005.1 |
Altri autori (Persone) |
VirvouMaria
MatsuuraSaeko |
Collana | Frontiers in artificial intelligence and applications |
Soggetto topico |
Expert systems (Computer science)
Software engineering |
Soggetto genere / forma | Electronic books. |
ISBN |
1-299-33325-7
1-61499-094-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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 |
Record Nr. | UNINA-9910462293203321 |
Amsterdam ; ; Washington, D.C., : Ios Press, c2012 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Knowledge-based software engineering [[electronic resource] ] : proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering / / edited by Maria Virvou and Saeko Matsuura |
Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : Ios Press, c2012 |
Descrizione fisica | 1 online resource (340 p.) |
Disciplina | 005.1 |
Altri autori (Persone) |
VirvouMaria
MatsuuraSaeko |
Collana | Frontiers in artificial intelligence and applications |
Soggetto topico |
Expert systems (Computer science)
Software engineering |
ISBN |
1-299-33325-7
1-61499-094-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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 |
Record Nr. | UNINA-9910785995603321 |
Amsterdam ; ; Washington, D.C., : Ios Press, c2012 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Knowledge-based software engineering [[electronic resource] ] : proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering / / edited by Maria Virvou and Saeko Matsuura |
Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : Ios Press, c2012 |
Descrizione fisica | 1 online resource (340 p.) |
Disciplina | 005.1 |
Altri autori (Persone) |
VirvouMaria
MatsuuraSaeko |
Collana | Frontiers in artificial intelligence and applications |
Soggetto topico |
Expert systems (Computer science)
Software engineering |
ISBN |
1-299-33325-7
1-61499-094-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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 |
Record Nr. | UNINA-9910819668503321 |
Amsterdam ; ; Washington, D.C., : Ios Press, c2012 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|