Download or read book Engineering Software Systems Research and Praxis written by Piotr Kosiuczenko and published by Springer. This book was released on 2018-09-03 with total page 211 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book highlights a range of new approaches and concepts in the field of software engineering. Based on systematic methods, graphical and formal models, the approaches are designed for solving practical problems encountered in actual software development. The book is divided into 13 chapters, which address core aspects such as security, performance and quality measurement. Chiefly intended to stimulate new research by presenting real problems faced by the industry, and to facilitate software development by applying precisely defined, validated and efficient models and methods, the book offers a valuable guide – for researchers and industry practitioners at small, medium and large companies alike.
Download or read book Integrating Research and Practice in Software Engineering written by Stan Jarzabek and published by Springer. This book was released on 2019-08-02 with total page 260 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this book, the authors highlight recent findings that hold the potential to improve software products or development processes; in addition, they help readers understand new concepts and technologies, and to see what it takes to migrate from old to new platforms. Some of the authors have spent most of their careers in industry, working at the frontiers of practice-based innovation, and are at the same time prominent researchers who have made significant academic contributions. Others work together with industry to test, in industrial settings, the methods they’ve developed in the lab. The choice of subject and authors represent the key elements of this book. Its respective chapters cover a wide range of topics, from cloud computing to agile development, applications of data science methods, re-engineering of aging applications into modern ones, and business and requirements engineering. Taken together, they offer a valuable asset for practitioners and researchers alike.
Download or read book Advances in Intelligent Networking and Collaborative Systems written by Leonard Barolli and published by Springer. This book was released on 2019-08-14 with total page 632 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents the latest innovative research findings, methods, and development techniques related to intelligent social networks and collaborative systems, intelligent networking systems, mobile collaborative systems, and secure intelligent cloud systems. Offering both theoretical and practical perspectives, it also reveals synergies among various paradigms in the multi-disciplinary field of intelligent collaborative systems. With the rapid development of the Internet, we are experiencing a shift from the traditional sharing of information and applications as the main purpose of the Web to an emergent paradigm that places people at the very centre of networks, making full use of their connections, relations, and collaboration. Social networks also play a major role in the dynamics and structure of intelligent Web-based networking and collaborative systems. Virtual campuses, communities and organizations strongly leverage intelligent networking and collaborative systems through a wide variety of formal and informal electronic relations, such as business-to-business, peer-to-peer, and many types of online collaborative learning interactions, including the emerging e-learning systems. This has resulted in entangled systems that need to be managed efficiently and autonomously. In addition, while the latest powerful technologies based on grid and wireless infrastructures as well as cloud computing are currently greatly enhancing collaborative and networking applications, they are also facing new challenges. The principal purpose of the research and development community is to stimulate research that will lead to the creation of responsive environments for networking and, in the long term, the development of adaptive, secure, mobile, and intuitive intelligent systems for collaborative work and learning.
Download or read book Analyzing International Business Operations in the Post Pandemic Era written by Christiansen, Bryan and published by IGI Global. This book was released on 2022-12-27 with total page 327 pages. Available in PDF, EPUB and Kindle. Book excerpt: The COVID-19 pandemic has had an overwhelming impact on business operations such as global supply chain management, remote work, emerging economic and financial models, and international expansion plans. It is essential to thoroughly analyze the current state of international business operations so that they may progress in this era of uncertainty. Analyzing International Business Operations in the Post-Pandemic Era provides a synthesis of multiple international business functions and issues in the post-pandemic era that culminated in a single volume based on empirical research, theoretical development, and business practice. It discusses how the COVID-19 pandemic has altered international business operations. Covering topics such as deglobalization, corporate behavior, and resilient global supply chains, this premier reference source is an essential resource for economists, business leaders and managers, entrepreneurs, government officials, students and educators of higher education, libraries, researchers, and academicians.
Download or read book Selected Papers from IIKII 2019 conferences in Symmetry written by Teen-Hang Meen and published by MDPI. This book was released on 2020-12-15 with total page 368 pages. Available in PDF, EPUB and Kindle. Book excerpt: The International Institute of Knowledge Innovation and Invention (IIKII, http://www.iikii.org) promotes the exchange of innovations and inventions and establishes a communication platform for international innovations and research. In 2019, IIKII cooperates with the IEEE Tainan Section Sensors Council to hold IEEE conferences, such as IEEE ICIASE 2019, IEEE ECBIOS 2019, IEEE ICKII 2019, ICUSA-GAME 2019, and IEEE ECICE 2019. This Special Issue, entitled "Selected Papers from IIKII 2019 conferences", aims to showcase outstanding papers from IIKII 2019 conferences, including symmetry in physics, chemistry, biology, mathematics, and computer science, etc. It selected 21 outstanding papers from 750 papers presented in IIKII 2019 conferences on the topic of symmetry. The main goals of this Special Issue are to encourage scientists to publish their experimental and theoretical results in as much detail as possible, and to discover new scientific knowledge relevant to the topic of symmetry.
Download or read book The Safety of Systems written by Felix Redmill and published by Springer Science & Business Media. This book was released on 2008-03-05 with total page 261 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Safety of Systems contains the invited papers presented at the fifteenth annual Safety-critical Systems Symposium, held at Bristol, UK in February 2007. The papers included in this volume cover a broad spectrum of important safety issues. They provide a combination of industrial experience and recent developments, and are presented under a variety of headings.
Download or read book Tool support for collaborative creation of interactive storytelling media written by Paula Klinke and published by Universitätsverlag Potsdam. This book was released on 2022-09-21 with total page 178 pages. Available in PDF, EPUB and Kindle. Book excerpt: Scrollytellings are an innovative form of web content. Combining the benefits of books, images, movies, and video games, they are a tool to tell compelling stories and provide excellent learning opportunities. Due to their multi-modality, creating high-quality scrollytellings is not an easy task. Different professions, such as content designers, graphics designers, and developers, need to collaborate to get the best out of the possibilities the scrollytelling format provides. Collaboration unlocks great potential. However, content designers cannot create scrollytellings directly and always need to consult with developers to implement their vision. This can result in misunderstandings. Often, the resulting scrollytelling will not match the designer’s vision sufficiently, causing unnecessary iterations. Our project partner Typeshift specializes in the creation of individualized scrollytellings for their clients. Examined existing solutions for authoring interactive content are not optimally suited for creating highly customized scrollytellings while still being able to manipulate all their elements programmatically. Based on their experience and expertise, we developed an editor to author scrollytellings in the lively.next live-programming environment. In this environment, a graphical user interface for content design is combined with powerful possibilities for programming behavior with the morphic system. The editor allows content designers to take on large parts of the creation process of scrollytellings on their own, such as creating the visible elements, animating content, and fine-tuning the scrollytelling. Hence, developers can focus on interactive elements such as simulations and games. Together with Typeshift, we evaluated the tool by recreating an existing scrollytelling and identified possible future enhancements. Our editor streamlines the creation process of scrollytellings. Content designers and developers can now both work on the same scrollytelling. Due to the editor inside of the lively.next environment, they can both work with a set of tools familiar to them and their traits. Thus, we mitigate unnecessary iterations and misunderstandings by enabling content designers to realize large parts of their vision of a scrollytelling on their own. Developers can add advanced and individual behavior. Thus, developers and content designers benefit from a clearer distribution of tasks while keeping the benefits of collaboration.
Download or read book Applied Intelligence and Informatics written by Mufti Mahmud and published by Springer Nature. This book was released on with total page 494 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Proceedings of the International Research Training Groups Workshop 2006 written by Jens Happe and published by GITO mbH Verlag. This book was released on 2006 with total page 84 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Software for Dependable Systems written by National Research Council and published by National Academies Press. This book was released on 2007-09-14 with total page 148 pages. Available in PDF, EPUB and Kindle. Book excerpt: The focus of Software for Dependable Systems is a set of fundamental principles that underlie software system dependability and that suggest a different approach to the development and assessment of dependable software. Unfortunately, it is difficult to assess the dependability of software. The field of software engineering suffers from a pervasive lack of evidence about the incidence and severity of software failures; about the dependability of existing software systems; about the efficacy of existing and proposed development methods; about the benefits of certification schemes; and so on. There are many anecdotal reports, which-although often useful for indicating areas of concern or highlighting promising avenues of research-do little to establish a sound and complete basis for making policy decisions regarding dependability. The committee regards claims of extraordinary dependability that are sometimes made on this basis for the most critical of systems as unsubstantiated, and perhaps irresponsible. This difficulty regarding the lack of evidence for system dependability leads to two conclusions: (1) that better evidence is needed, so that approaches aimed at improving the dependability of software can be objectively assessed, and (2) that, for now, the pursuit of dependability in software systems should focus on the construction and evaluation of evidence. The committee also recognized the importance of adopting the practices that are already known and used by the best developers; this report gives a sample of such practices. Some of these (such as systematic configuration management and automated regression testing) are relatively easy to adopt; others (such as constructing hazard analyses and threat models, exploiting formal notations when appropriate, and applying static analysis to code) will require new training for many developers. However valuable, though, these practices are in themselves no silver bullet, and new techniques and methods will be required in order to build future software systems to the level of dependability that will be required.
Download or read book MDD SOA and IT Management written by Ulrike Steffens and published by GITO mbH Verlag. This book was released on 2009 with total page 111 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Dependability Engineering written by Wilhelm Hasselbring and published by GITO mbH Verlag. This book was released on 2006 with total page 202 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Summary of a Workshop on Software Certification and Dependability written by National Research Council and published by National Academies Press. This book was released on 2004-10-20 with total page 57 pages. Available in PDF, EPUB and Kindle. Book excerpt: Certification of critical software systems (e.g., for safety and security) is important to help ensure their dependability. Today, certification relies as much on evaluation of the software development process as it does on the system's properties. While the latter are preferable, the complexity of these systems usually makes them extremely difficult to evaluate. To explore these and related issues, the National Coordination Office for Information technology Research and Development asked the NRC to undertake a study to assess the current state of certification in dependable systems. The study is in two phases: the first to frame the problem and the second to assess it. This report presents a summary of a workshop held as part of the first phase. The report presents a summary of workshop participants' presentations and subsequent discussion. It covers, among other things, the strengths and limitations of process; new challenges and opportunities; experience to date; organization context; and cost-effectiveness of software engineering techniques. A consensus report will be issued upon completion of the second phase.
Download or read book Z User Workshop Oxford 1990 written by J.E. Nicholls and published by Springer Science & Business Media. This book was released on 2013-11-11 with total page 386 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book New Modeling Concepts for Today s Software Processes written by Jürgen Münch and published by Springer. This book was released on 2010-06-20 with total page 395 pages. Available in PDF, EPUB and Kindle. Book excerpt: 2010 was the first time that the International Conference on Software Process was held autonomously and not co-located with a larger conference. This was a special challenge and we are glad that the conference gained a lot of attention, a significant number of contributions and many highly interested participants from industry and academia. This volume contains the papers presented at ICSP 2010 held in Paderborn, G- many, during July 8-9, 2010. ICSP 2010 was the fourth conference of the ICSP series. The conference provided a forum for researchers and industrial practitioners to - change new research results, experiences, and findings in the area of software and system process modeling and management. The increasing distribution of development activities, new development paradigms such as cloud computing, new classes of systems such as cyber-physical systems, and short technology cycles are currently driving forces for the software domain. They require appropriate answers with respect to process models and management, suitable modeling concepts, and an understanding of the effects of the processes in specific environments and domains. Many papers in the proceedings address these issues.
Download or read book Engineering Trustworthy Software Systems written by Zhiming Liu and published by Springer. This book was released on 2016-02-29 with total page 335 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the lecture notes of the five courses and one seminar given at the School on Engineering Trustworthy Software Systems (SETSS 2014), held in September 2014 at Southwest University in Chongqing, China. The material is useful for postgraduate students, researchers, academics and industrial engineers who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems. The common themes of the courses include the design and use of theories, techniques and tools for software specification and modeling, analysis and verification. The courses cover sequential programming, component- and object software, hybrid systems and cyber-physical systems with challenges of termination, security, safety, security, fault-tolerance and real-time requirements. The techniques include model checking, correctness by construction through refinement and model transformations, synthesis and computer algebra.
Download or read book Software Engineer s Reference Book written by John A McDermid and published by Elsevier. This book was released on 2013-10-22 with total page 1137 pages. Available in PDF, EPUB and Kindle. Book excerpt: Software Engineer's Reference Book provides the fundamental principles and general approaches, contemporary information, and applications for developing the software of computer systems. The book is comprised of three main parts, an epilogue, and a comprehensive index. The first part covers the theory of computer science and relevant mathematics. Topics under this section include logic, set theory, Turing machines, theory of computation, and computational complexity. Part II is a discussion of software development methods, techniques and technology primarily based around a conventional view of the software life cycle. Topics discussed include methods such as CORE, SSADM, and SREM, and formal methods including VDM and Z. Attention is also given to other technical activities in the life cycle including testing and prototyping. The final part describes the techniques and standards which are relevant in producing particular classes of application. The text will be of great use to software engineers, software project managers, and students of computer science.
