Catalogue Search | MBRL
Are you sure you want to remove the book from the shelf?
{{itemTitle}}
119
result(s) for
"Software engineering Congresses"
Sort by:
Engineering trustworthy software systems : 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; at the 4th International School on Engineering Trustworthy Software Systems, SETSS 2018, held in April 2018 at Southwest University in Chongqing, China. The five chapters in this volume provide an overview of research in the frontier of theories, methods, and tools for software modelling, design, and verification. The topics covered in these chapter include Software Verification with Whiley, Learning Büchi Automata and Its Applications, Security in IoT Applications, Programming in Z3, and The Impact of Alan Turing: Formal Methods and Beyond. The volume provides a useful resource for postgraduate students, resarchers, academics, and engineers in industry, who are interested in theory, methods, and tools for the development of trustworthy software.
Book
Knowledge-Based Software Engineering
As knowledge-based software engineering matures and increasingly automates the software engineering life cycle, software engineering resources are shifting towards knowledge acquisition and the automated reuse of expert knowledge for developing software artifacts. This book summarizes the work and new research results presented at the Tenth Joint Conference on Knowledge-based Software Engineering (JCKBSE 2012), held on the island of Rhodes, Greece, in August 2012.The biennial Joint Conference on Knowledge-Based Software Engineering brings together researchers and practitioners to share ideas on the foundations, techniques, tools, and applications of knowledge-based software engineering theory and practice.Topics addressed include theoretical foundations, practical techniques, software tools, applications and/or experience reports in knowledge-based software engineering.This book is published in the subseries Knowledge-Based Intelligent Engineering Systems (KBIES).
eBook
New Trends in Software Methodologies, Tools and Techniques
New Trends in Software Methodologies, Tools and Techniques, as part of the SoMeT series, contributes to new trends and theories in the direction in which the editors believe software science and engineering may develop in order to transform the role of software and science integration in tomorrow's global information society. This book is an attempt to capture the essence of a new state-of-the-art in software science and its supporting technology. Aiming at identifying the challenges such a technology has to master. It contains extensively reviewed papers given at the Seventh International Conference on New Trends in Software Methodology Tools, and Techniques (SoMeT_08) held in Sharjah, United Arab Emirates. One of the important issues addressed in this book is handling cognitive issues on software development to adapt to user mental state. Tools and techniques have been contributed here. Another aspect challenged in this conference was intelligent software design in software security. This book, and the series, will also contribute to the elaboration on such new trends and related academic research studies and development.
eBook
New Trends in Software Methodologies, Tools and Techniques
Software is the essential enabler for the new economy and science. It creates new markets and new directions for a more reliable, flexible and robust society. It empowers the exploration of our world in even more depth. However, software often falls short behind our expectations. Current software methodologies, tools and techniques remain expensive and not yet reliable for a highly changeable and evolutionary market. Many approaches have been proven only as case-by-case oriented methods. This book presents a number of new trends and theories in the direction in which we believe software science and engineering may develop to transform the role of software and science in tomorrow's information society. This book is an attempt to capture the essence of a new state-of-art in software science and its supporting technology. The book also aims at identifying the challenges such a technology has to master. One example that is challenged is Lyee methodology as a new Japanese emerged software methodology that has been patented in several countries in Europe, Asia and America. But it is still in its early stage of emerging as a new software style. This series will also contribute to elaborate on such new trends and related academic research studies and development.
eBook
Software and Systems Safety
Information security depends upon an understanding of the functionality of software systems. Customers and information can only be protected from attack if this functionality is guaranteed to be correct and safe. A scientific foundation of software engineering not only provides models enabling the capture of application domains and requirements, but also ensures an understanding of the structure and working of software systems, architectures and programs.This book presents contributions based on the lectures delivered at the 31st International Summer School: Software and Systems Safety: Specification and Verification held at Marktoberdorf, Germany, in August 2010, and provides an excellent overview of current research results with special emphasis on software information security. Leading international researchers and experts present their experience in the specification and verification of software systems, accompanied by corresponding tools and methods. Subjects addressed include: model-based testing, schemes and patterns of assumption/promise-based system specification, requirements models for critical systems, engineering evolving and self-adaptive systems, unifying models of data flow, model-based verification and analysis of real-time systems, and model checking. The book will be of interest to all those dealing with information systems for whom security is of paramount importance.
eBook
New Trends in Software Methodologies, Tools and Techniques
Software 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. The conference provides an opportunity for scholars from the international research community to discuss and share research experiences of new software methodologies and techniques, and the contributions presented here address issues ranging from research practices and techniques and methodologies to proposing and reporting solutions for global world business. The emphasis has been on human-centric software methodologies, end-user development techniques and emotional reasoning, for an optimally harmonized performance between the design tool and the user. Topics covered include the handling of cognitive issues in software development to adapt it to the user's mental state and intelligent software design in software utilizing new aspects on conceptual ontology and semantics reflected on knowledge base system models. This book provides an opportunity for the software science community to show where we are today and where the future may take us.
eBook
New trends in software methodologies, tools and techniques : proceedings of Lyee-W02
These papers are taken from the Lyee International Workshop (Lyee-W02) and they present the results of the Lyee International research project. They discuss ideas and experiences in the field of new directions in software development methodologies and its tools and techniques.
eBook