Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
New trends in software methodologies, tools and techniques [[electronic resource] ] : proceedings of the tenth SoMeT_11 / / edited by Hamido Fujita and Tatiana Gavrilova
| New trends in software methodologies, tools and techniques [[electronic resource] ] : proceedings of the tenth SoMeT_11 / / edited by Hamido Fujita and Tatiana Gavrilova |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : IOS Press, c2011 |
| Descrizione fisica | 1 online resource (368 p.) |
| Disciplina | 005 |
| Altri autori (Persone) |
FujitaHamido
GavrilovaTatiana |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Software engineering
Expert systems (Computer science) |
| Soggetto genere / forma | Electronic books. |
| ISBN |
6613290025
1-283-29002-2 9786613290021 1-60750-831-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title Page; Preface; SOMET_11 Organization; Contents; Chapter 1. Requirement Engineering and Verification; What Is Requirements Volatility and How Does It Impact on Software Development?; Component Composition Validation; Model Checking Single Web Services Using Markov Chains and MDPs; Principle of Documents for Systems Design - Part 1: Non-Sequential Case; Chapter 2. Interactive Software Development; What Is Requirements Volatility and How Does It Impact on Software Development?; End-User-Initiative Development with Domain-Specific Frameworks and Visual Modeling
Interactions in Software Development Software Development for Real-Time Online Interactive Applications on Clouds; Chapter 3. Software Quality and Development - Case Studies; Designing a System to Care for Employees Working Apart; Modified MVC-Design Patterns for Service Oriented Applications; A Method for Calculating System Similarity for the Evaluation of Practical Accomplishments in Person-in-Charge Allocation Support; URDAD as a Quality-Driven Analysis and Design Process; On Knowledge Management System for Assisting User's Decision in Office Work Chapter 4. Multi-Agent Software and Learning Systems On the Argumentative Agent Types and Negotiation; Programming in Pictures: A Way Toward Reliable Software; A Feature Modelling Framework for Ubiquitous Embodied Learning Games; Chapter 5. Ontological Views on Software Developments; Knowledge Engineering: Structural View; Cognitive Aspects of Educational Ontologies Design; The Ontology-Based Business Architecture Engineering Framework; Architecture of Extensible Tools for Development of Intelligent Decision Support Systems; Chapter 6. Intelligent User Interaction and Software A Flexible Modeling Approach for Supporting Rapid Business Simulations Conversational Virtual Agent Application for Private Communication; Virtual Doctor System (VDS): Aspects on Reasoning Issues; A Framework of Emotional Speech Synthetise Using Musical Knowledge; Chapter 7. Information Systems Applications; Telecardiology in Italy: Current Realizations and Future Prospects; Proposal of Wellness Support System; Subject Index; Author Index |
| Record Nr. | UNINA-9910457610603321 |
| Amsterdam ; ; Washington, D.C., : IOS Press, c2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
New trends in software methodologies, tools and techniques [[electronic resource] ] : proceedings of the tenth SoMeT_11 / / edited by Hamido Fujita and Tatiana Gavrilova
| New trends in software methodologies, tools and techniques [[electronic resource] ] : proceedings of the tenth SoMeT_11 / / edited by Hamido Fujita and Tatiana Gavrilova |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : IOS Press, c2011 |
| Descrizione fisica | 1 online resource (368 p.) |
| Disciplina | 005 |
| Altri autori (Persone) |
FujitaHamido
GavrilovaTatiana |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Software engineering
Expert systems (Computer science) |
| ISBN |
6613290025
1-283-29002-2 9786613290021 1-60750-831-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title Page; Preface; SOMET_11 Organization; Contents; Chapter 1. Requirement Engineering and Verification; What Is Requirements Volatility and How Does It Impact on Software Development?; Component Composition Validation; Model Checking Single Web Services Using Markov Chains and MDPs; Principle of Documents for Systems Design - Part 1: Non-Sequential Case; Chapter 2. Interactive Software Development; What Is Requirements Volatility and How Does It Impact on Software Development?; End-User-Initiative Development with Domain-Specific Frameworks and Visual Modeling
Interactions in Software Development Software Development for Real-Time Online Interactive Applications on Clouds; Chapter 3. Software Quality and Development - Case Studies; Designing a System to Care for Employees Working Apart; Modified MVC-Design Patterns for Service Oriented Applications; A Method for Calculating System Similarity for the Evaluation of Practical Accomplishments in Person-in-Charge Allocation Support; URDAD as a Quality-Driven Analysis and Design Process; On Knowledge Management System for Assisting User's Decision in Office Work Chapter 4. Multi-Agent Software and Learning Systems On the Argumentative Agent Types and Negotiation; Programming in Pictures: A Way Toward Reliable Software; A Feature Modelling Framework for Ubiquitous Embodied Learning Games; Chapter 5. Ontological Views on Software Developments; Knowledge Engineering: Structural View; Cognitive Aspects of Educational Ontologies Design; The Ontology-Based Business Architecture Engineering Framework; Architecture of Extensible Tools for Development of Intelligent Decision Support Systems; Chapter 6. Intelligent User Interaction and Software A Flexible Modeling Approach for Supporting Rapid Business Simulations Conversational Virtual Agent Application for Private Communication; Virtual Doctor System (VDS): Aspects on Reasoning Issues; A Framework of Emotional Speech Synthetise Using Musical Knowledge; Chapter 7. Information Systems Applications; Telecardiology in Italy: Current Realizations and Future Prospects; Proposal of Wellness Support System; Subject Index; Author Index |
| Record Nr. | UNINA-9910781756603321 |
| Amsterdam ; ; Washington, D.C., : IOS Press, c2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
New trends in software methodologies, tools and techniques [[electronic resource] ] : proceedings of the tenth SoMeT_11 / / edited by Hamido Fujita and Tatiana Gavrilova
| New trends in software methodologies, tools and techniques [[electronic resource] ] : proceedings of the tenth SoMeT_11 / / edited by Hamido Fujita and Tatiana Gavrilova |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : IOS Press, c2011 |
| Descrizione fisica | 1 online resource (368 p.) |
| Disciplina | 005 |
| Altri autori (Persone) |
FujitaHamido
GavrilovaTatiana |
| Collana | Frontiers in artificial intelligence and applications |
| Soggetto topico |
Software engineering
Expert systems (Computer science) |
| ISBN |
6613290025
1-283-29002-2 9786613290021 1-60750-831-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title Page; Preface; SOMET_11 Organization; Contents; Chapter 1. Requirement Engineering and Verification; What Is Requirements Volatility and How Does It Impact on Software Development?; Component Composition Validation; Model Checking Single Web Services Using Markov Chains and MDPs; Principle of Documents for Systems Design - Part 1: Non-Sequential Case; Chapter 2. Interactive Software Development; What Is Requirements Volatility and How Does It Impact on Software Development?; End-User-Initiative Development with Domain-Specific Frameworks and Visual Modeling
Interactions in Software Development Software Development for Real-Time Online Interactive Applications on Clouds; Chapter 3. Software Quality and Development - Case Studies; Designing a System to Care for Employees Working Apart; Modified MVC-Design Patterns for Service Oriented Applications; A Method for Calculating System Similarity for the Evaluation of Practical Accomplishments in Person-in-Charge Allocation Support; URDAD as a Quality-Driven Analysis and Design Process; On Knowledge Management System for Assisting User's Decision in Office Work Chapter 4. Multi-Agent Software and Learning Systems On the Argumentative Agent Types and Negotiation; Programming in Pictures: A Way Toward Reliable Software; A Feature Modelling Framework for Ubiquitous Embodied Learning Games; Chapter 5. Ontological Views on Software Developments; Knowledge Engineering: Structural View; Cognitive Aspects of Educational Ontologies Design; The Ontology-Based Business Architecture Engineering Framework; Architecture of Extensible Tools for Development of Intelligent Decision Support Systems; Chapter 6. Intelligent User Interaction and Software A Flexible Modeling Approach for Supporting Rapid Business Simulations Conversational Virtual Agent Application for Private Communication; Virtual Doctor System (VDS): Aspects on Reasoning Issues; A Framework of Emotional Speech Synthetise Using Musical Knowledge; Chapter 7. Information Systems Applications; Telecardiology in Italy: Current Realizations and Future Prospects; Proposal of Wellness Support System; Subject Index; Author Index |
| Record Nr. | UNINA-9910828353403321 |
| Amsterdam ; ; Washington, D.C., : IOS Press, c2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||