Grand Timely Topics in Software Engineering

Grand Timely Topics in Software Engineering

Author: Jácome Cunha

Publisher: Springer

Published: 2017-06-28

Total Pages: 247

ISBN-13: 3319600745

DOWNLOAD EBOOK

This tutorial volume includes the revised and extended tutorials (briefings) held at the 5th International Summer School on Grand Timely Topics in Software Engineering, GTTSE 2015, in Braga, Portugal, in August 2015. GTTSE 2015 applied a broader scope to include additional areas of software analysis, empirical research, modularity, and product lines. The tutorials/briefings cover probabilistic program analysis, ontologies in software engineering, empirical evaluation of programming and programming languages, model synchronization management of software product families, "people analytics" in software development, DSLs in robotics, structured program generation techniques, advanced aspects of software refactoring, and name binding in language implementation.


Discourse and Argumentation in Archaeology: Conceptual and Computational Approaches

Discourse and Argumentation in Archaeology: Conceptual and Computational Approaches

Author: Cesar Gonzalez-Perez

Publisher: Springer Nature

Published: 2023-11-03

Total Pages: 333

ISBN-13: 3031371569

DOWNLOAD EBOOK

This book covers the topic of discourse and argumentation in archaeology with an aim to serve the archaeology community. The book presents discourse and argument analysis approaches and techniques in an affordable manner and applied to archaeological situations. It focuses on techniques and approaches that can be applicable to multiple situations, periods and cultures. The book begins with an introduction to discourse and argumentation analysis as a general field and also as an auxiliary technique to archaeology. The work includes conceptual applications, ranging from causality, ontological connections, vagueness, social production of discourse and public debates. The work also devotes a section to computational approaches and describes the specifics of some well-known families of algorithms such as lexical processing, information extraction or sentiment analysis. The conclusion comments on the future and which reflects on the previous chapters and discusses how the presented techniques and approaches should be adapted or improved for easier and more powerful application to archaeology. Contributing authors bring perspectives from archaeology, linguistics, and computer science.


Enterprise, Business-Process and Information Systems Modeling

Enterprise, Business-Process and Information Systems Modeling

Author: Han van der Aa

Publisher: Springer Nature

Published: 2023-05-30

Total Pages: 351

ISBN-13: 3031342410

DOWNLOAD EBOOK

This book contains the refereed proceedings of two long-running events held along with the CAiSE conference relating to the areas of enterprise, business-process and information systems modeling: * the 24th International Conference on Business Process Modeling, Development and Support, BPMDS 2023, and * the 28th International Conference on Exploring Modeling Methods for Systems Analysis and Development, EMMSAD 2023. The conferences were taking place in Zaragoza, Spain, during June 12-13, 2023. For BPMDS 9 full papers and 2 short papers were carefully reviewed and selected for publication from a total of 26 submissions; for EMMSAD 9 full papers and 3 short papers were accepted from 26 submissions after thorough reviews. The BPMDS papers deal with a broad range of theoretical and applications-based research in business process modeling, development and support. EMMSAD focusses on modeling methods for systems analysis and development.


Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment

Author: Jean-Michel Bruel

Publisher: Springer

Published: 2019-01-18

Total Pages: 237

ISBN-13: 3030060195

DOWNLOAD EBOOK

This book constitutes revised selected papers from the First International Workshop on Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, DEVOPS 2018, hled at the hateau de Villebrumier, France, in March 2018. The 17 papers presented in this volume were carefully reviewed and selected from 23 submissions. They cover a wide range of problems arising from Devops and related approaches, current tools, rapid development-deployment processes, effects on team performance, analytics, trustworthiness, microservices and related topics.


High Confidence Software Reuse in Large Systems

High Confidence Software Reuse in Large Systems

Author: Hong Mei

Publisher: Springer

Published: 2008-07-29

Total Pages: 412

ISBN-13: 354068073X

DOWNLOAD EBOOK

Software reuse depicts a great vision for the software industry. It has been widely viewed as a promising way to improve both the productivity and quality of software development. However, despite of the successes we have achieved, there are still many issues that have limited the promotion of software reuse in the real world. Therefore, software reuse has remained an important hotspot of research. ICSR is the premier international conference in the field of software reuse. It has been an important venue for presenting advances and improvements within the software reuse domain, and a powerful driving force in promoting the interaction between researchers and practitioners. The theme of ICSR 10 was "High Confidence Software Reuse in Large Systems. " A high confidence system is one that behaves in a well-understood and predictable fashion. Today’s trends towards widespread use of commercial off-the-shelf (COTS) technology, increased integration, continuous evolution, and larger scale are yielding more complex software systems. So, the problem of how to build high confidence complex systems and how to reuse software with a high level of confidence has become a new attractive topic for research. Furthermore, high-level software asset reuse has been a goal for the last 20–30 years, and it can still be considered an unsolved question. Components-based development, MDA-MDE-MDD, extreme programming, and other techniques or methods are promising approaches to software reuse that still need more research. These proceedings report on the current state of the art in software reuse.


Structured Development for Real-Time Systems

Structured Development for Real-Time Systems

Author: Paul T. Ward

Publisher: Pearson Education

Published: 1986-06-04

Total Pages: 286

ISBN-13: 0768685176

DOWNLOAD EBOOK

Real-time and embedded systems are in widespread use in the modern world. From the microprocessor controller in a camera, through "smart" traffic lights and production control systems, to large defense systems, computer technology is increasingly a part of systems that control and respond to their environments in real-time. As the technology has improved, we have come to rely on these systems more and more --- we have even put our lives in their hands. Airplanes, biomedical accelerators, nuclear power plants, and the like all depend on real-time control to operate safely. A failure in a control system, such as not responding correctly to faults in the environment, could endanger many lives. Unfortunately, there is a tendency for developers to focuse too heavily on the intrcacies of the engineering and computer technology, to the detriment of understanding the real-world problem at hand. At best, this wastes time and resouces and at worst it is dangerous in light of the life-critical nature of today's systems. This misplaced focus can result at least partly from the lack of a comprehensive set of modeling tools and techniques fitted to the real-time development environment. This book provides the tools and techniques needed for visualizing and verifying the operation of a real-time system prior to construction, and demonstrates their usefulness.


Topics in Systems

Topics in Systems

Author: Howard Eisner

Publisher: Stylus Publishing, LLC

Published: 2012-09-04

Total Pages: 276

ISBN-13: 193854952X

DOWNLOAD EBOOK

This book looks at many types of systems from various points of view, dealing with such topics as: how they are created, their features, how they serve us, the roles of the human, the systems approach, systems thinking, how we can maximize the benefits they provide, how to repair them, and how we are able to use them to solve our problems and improve our overall quality of life. This book is designed for engineers as well as all readers that are interested in the systems around them and their roles with respect to these systems. It is a broad-stroke overview of system level concepts and how they connect to one another. It includes fundamental notions related to types of systems, their attributes, their architectures, and their performance. It is hoped that this exploration of various kinds of systems will provide some insights that increase the help we get from the systems we build, and also reduce the number of systems that are not working for us.


Electronic Design Automation Frameworks

Electronic Design Automation Frameworks

Author: Franz J. Rammig

Publisher: Springer

Published: 2013-04-17

Total Pages: 279

ISBN-13: 0387348808

DOWNLOAD EBOOK

Design frameworks have become an important infrastructure for building complex design systems. Electronic Design Automation Frameworks presents a state-of-the-art review of the latest research results covering this topic; results which are also of value for other design frameworks. The book contains the selected proceedings of the Fourth International Working Conference on Electronic Design Frameworks, organized by the International Federation for Information Processing and held in Gramado, Brazil, in November 1994.