Screen LibraryNew trends in software methodologies, tools and techniques : proceedings of the fifteenth SoMeT_16 /
"Software has become an essential enabler for science and the economy. Not only does it create new markets and the possibility of a more reliable, flexible and robust society, it also empowers our exploration of the world in ever increasing depth. However software often falls short of our expec...
Saved in:
| Corporate Authors: | |
|---|---|
| Group Author: | ; |
| Published: |
IOS Press,
|
| Publisher Address: | Amsterdam : |
| Publication Dates: | [2016] |
| Literature type: | Book |
| Language: | English |
| Series: |
Frontiers in artificial intelligence and applications,
volume 286 |
| Subjects: | |
| Summary: |
"Software has become an essential enabler for science and the economy. Not only does it create new markets and the possibility of a more reliable, flexible and robust society, it also empowers our exploration of the world in ever increasing depth. However software often falls short of our expectations, with current methodologies, tools and techniques remaining insufficiently robust and reliable for constantly changing and evolving needs. This book presents papers from the 15th International Conference on New Trends in Intelligent Software Methodology Tools and Techniques (SoMeT 16), held in Larnaca, Cyprus, in September 2016. The SoMeT conference focuses on exploring the innovations, controversies and challenges facing the software engineering community, bringing together theory and experience to propose and evaluate solutions to software engineering problems with an emphasis on human-centric software methodologies, end-user development techniques, and emotional reasoning, for an optimally harmonized performance between the design tool and the user. The book is divided into six chapters covering the following areas: decision support systems; software methodologies and tools; requirement engineering; software for biomedicine and bioinformatics; software engineering models, and formal techniques for software representation; and intelligent software development and social networking. The book explores new trends and theories which illuminate the direction of developments in the field, and will be of interest to all in the software science community." -- |
| Carrier Form: | xiii, 372 pages : illustrations, forms ; 25 cm. |
| Bibliography: | Includes bibliographical references and indexes. |
| ISBN: |
9781614996736 (hardback) : 1614996733 (hardback) 9781614996743 (online) 1614996741 (online) |
| Index Number: | QA76 |
| CLC: | TP311.5-532 |
| Call Number: | TP311.5-532/N532/2016 |
| Contents: | Decision support system techniques and methods -- Software methodologies and tools for robust, reliable, non-fragile software design -- Requirement engineering -- Software methods and application for biomedicine and bioinformatics -- Software engineering models, and formal techniques for software representation -- Intelligent software development and social networking. |