04931nam 2200661 a 450 991082835340332120230124183509.066132900251-283-29002-297866132900211-60750-831-1(CKB)2550000000050093(EBL)784602(OCoLC)756484736(SSID)ssj0000671563(PQKBManifestationID)11399479(PQKBTitleCode)TC0000671563(PQKBWorkID)10641826(PQKB)11422198(MiAaPQ)EBC784602(Au-PeEL)EBL784602(CaPaEBR)ebr10506354(CaONFJC)MIL3569003(EXLCZ)99255000000005009320120214d2011 uy 0engurcn|||||||||txtccrNew trends in software methodologies, tools and techniques[electronic resource] proceedings of the tenth SoMeT_11 /edited by Hamido Fujita and Tatiana GavrilovaAmsterdam ;Washington, D.C. IOS Pressc20111 online resource (368 p.)Frontiers in artificial intelligence and applications,0922-6389 ;v. 231Description based upon print version of record.1-60750-830-3 Includes bibliographical references and indexes.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 ModelingInteractions 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 WorkChapter 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 SoftwareA 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 IndexSoftware is the essential enabling means for science and the new economy. It helps us to create a more reliable, flexible and robust society. But software often falls short of our expectations. Current methodologies, tools, and techniques remain expensive and are not yet sufficiently reliable, while many promising approaches have proved to be no more than case-by-case oriented methods. This book contains extensively reviewed papers from the tenth International Conference on New Trends in software Methodology, Tools and Techniques (SoMeT_11), held in St Petersburg, Russia, in September 2011. ThFrontiers in artificial intelligence and applications ;v. 231.Software engineeringCongressesExpert systems (Computer science)CongressesSoftware engineeringExpert systems (Computer science)005Fujita Hamido849236Gavrilova Tatiana1626343International Conference on New Trends in Software Methodologies, Tools and TechniquesMiAaPQMiAaPQMiAaPQBOOK9910828353403321New trends in software methodologies, tools and techniques3962298UNINA