Tools and Algorithms for the Construction and Analysis of Systems: 27th Inter…

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an onlin…

Fundamental Approaches to Software Engineering: 24th International Conference…

This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-…

Building Better Interfaces for Remote Autonomous Systems: An Introduction for…

This 'Open Access' SpringerBrief provides foundational knowledge for designing autonomous, asynchronous systems and explains aspects of users relevant to designing for these systems, introduces principles for user-centered design, and prepares readers for more advanced and specific readings. It provides context and the implications for design choices made during the design and development of th…

Tools and Algorithms for the Construction and Analysis of Systems: 27th Inter…

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an onlin…

Integration of Reusable Systems

Software reuse and integration has been described as the process of creating software systems from existing software rather than building software systems from scratch. Whereas reuse solely deals with the artifacts creation, integration focuses on how reusable artifacts interact with the already existing parts of the specified transformation. Currently, most reuse research focuses on creating a…

IMPLEMENTASI ALARM PERTANDA MEMULAI DAN PERGANTIAN SET PADA PERTANDINGAN BADM…

Scoreboard is an information medium to display information such as in badminton matches. In previous research, it has been able to design a digital scoreboard using Arduino Uno, NodeMCU ESP8266, android software, and led matrix p10, where arduino uno functions as a microcontnroller to manage the display system of the scoreboard, NodeMCU ESP8266 as communication software android and arduino uno,…

PROTOTYPE SISTEM KEAMANAN KOTAK AMAL MENGGUNAKAN FINGERPRINT BERBASIS TELEGRA…

The focus of this research is to design a prototype of a charity box security system using fingerprints. Along with the increase in criminal acts in charity boxes, one of which is theft and burglary. The author's idea is to build or design an additional security system with a Fingerprint as input to a charity box that acts as access to open a charity box. In this research, the safe security sys…

PENGARUH FAKTOR MODERASI SISTEM INFORMASI TERHADAP BUDAYA ORGANISASI DALAM ME…

Performance excellence in a faculty is measured by how much knowledge each student has. Knowledge sharing has an important role in maximizing individual performance in an organization or educational institution. Knowledge sharing is indeed important, but in another matter the problem is when students have engaged in knowledge sharing behavior, because this can cause obstacles to success in perf…

SISTEM DETEKSI SERANGAN SIBER PADA JARINGAN SCADA PROTOKOL IEC 60870-5-104 ME…

Supervisory and Data Acquisition (SCADA) plays an important role in industry by providing process automation, centralized control and monitoring processes. SCADA is designed for closed areas with special protocols that are isolated from the internet, but modern SCADA systems are required to be connected to one or more other network protocols to make it easier to access the SCADA system from het…

DESAIN SISTEM MONITORING PENDETEKSI TEMPERATUR LEBIH PADA MODUL SURYA DENGAN …

The source of electrical energy comes from fossil fuels, so it is necessary to develop new and renewable energy sources such as Solar Power Plants (PLTS) which utilize solar energy to produce electrical energy. The increase in solar radiation causes the efficiency produced by the solar module as the main component of PLTS to be not optimal and the use of data loggers as a recorder for solar mod…

Recent Advances in Agent-based Negotiation

This volume comprises carefully selected and reviewed outcomes of the 12th International Workshop on Automated Negotiations (ACAN) held in Macao, 2019, in conjunction with International Joint Conference on Artificial Intelligence (IJCAI) 2019. It focuses on human aspects of automated negotiation and the recent advances in negotiation frameworks and strategies. Written by leading academic and in…

Recent Innovations in Computing

This book features selected papers presented at the 3rd International Conference on Recent Innovations in Computing (ICRIC 2020), held on 20–21 March 2020 at the Central University of Jammu, India, and organized by the university’s Department of Computer Science & Information Technology. It includes the latest research in the areas of software engineering, cloud computing, computer networks…

Proceedings of the First International Workshop on Intelligent Software Autom…

This book is a collection of research papers presented at the International Workshop on Intelligent Software Engineering Automation (ISEA 2020) in the 27th Asia-Pacific Software Engineering Conference (APSEC 2020), during 1–4 December 2020 in Singapore. The book discusses automated tools and techniques which are required to reflect over business knowledge to identify what is missing or could …

Systems and Information Sciences

This book constitutes the proceedings of the 1st International Conference on Systems and Information Sciences (ICCIS), held in Manta, Ecuador, from July 27 to 29, 2020, and was jointly organized by Universidad Laica Eloy Alfaro de Manabí “ULEAM”, in collaboration with GDEON. ICCIS aims to bring together systems and information sciences researchers and developers from academia and industry …

Modelling and Implementation of Complex Systems

This proceedings book gives a new vision and real progress towards more difficult problems resolution. In trying to solve the problems we face every day in the complex world we are living, we are constantly developing artificial systems and increasingly complex middleware. Indeed, the research works contained in this book address a large spread of nowadays topics like IoT architectures, communi…

Advances in Software Engineering, Education, and e-Learning

This book presents the proceedings of four conferences: The 16th International Conference on Frontiers in Education: Computer Science and Computer Engineering + STEM (FECS'20), The 16th International Conference on Foundations of Computer Science (FCS'20), The 18th International Conference on Software Engineering Research and Practice (SERP'20), and The 19th International Conference on e-Learnin…

Data Science and Intelligent Systems

This book constitutes the second part of refereed proceedings of the 5th Computational Methods in Systems and Software 2021 (CoMeSySo 2021) proceedings. The real-world problems related to data science and algorithm design related to systems and software engineering are presented in this papers. Furthermore, the basic research’ papers that describe novel approaches in the data science, algorit…

Software Engineering Application in Informatics

This book constitutes the first part of refereed proceedings of the 5th Computational Methods in Systems and Software 2021 (CoMeSySo 2021). The CoMeSySo 2021 Conference is breaking the barriers, being held online. CoMeSySo 2021 intends to provide an international forum for the discussion of the latest high-quality research results. The software engineering, computer science, and artificial i…

Requirements Engineering for Social Sector Software Applications

This book presents interdisciplinary research in software engineering with applications for the social sector. The author focuses on software applications that are used for social good and that serve the needs of society. The author aims to bridge the knowledge gap between requirement engineers, industry, and users in order to help identify a diverse range of needs in the social sector (taking …

Software Engineering and Algorithms

This book constitutes the refereed proceedings of the Software Engineering and Algorithms section of the 10th Computer Science On-line Conference 2021 (CSOC 2021), held on-line in April 2021. Software engineering research and its applications to intelligent algorithms take an essential role in computer science research. In this book, modern research methods, application of machine and statisti…

New Perspectives in Software Engineering

This book contains a selection of papers from the 2020 International Conference on Software Process Improvement (CIMPS 20), held between the 21st and 23rd of October in Mazatlán, Sinaloa, México. The CIMPS 20 is a global forum for researchers and practitioners that present and discuss the most recent innovations, trends, results, experiences and concerns in the several perspectives of Softwar…

Internet of Things Security and Data Protection

This book provides an overview of the most recent developments in Internet of Things (IoT) security and data protection. It presents the results of several international research projects addressing this topic from complementary angles. It starts by analyzing the main privacy and security threats on IoT, as well as the evolution of data protection norms, such as the European General Data Protec…

Advances in Data and Information Sciences

The book gathers a collection of high-quality peer-reviewed research papers presented at the International Conference on Data and Information Systems (ICDIS 2017), held at Indira Gandhi National Tribal University, India from November 3 to 4, 2017. The book covers all aspects of computational sciences and information security. In chapters written by leading researchers, developers and practition…

Languages, Design Methods, and Tools for Electronic System Design

This book brings together a selection of the best papers from the twentiethedition of the Forum on specification and Design Languages Conference (FDL), which took place on September 18-20, 2017, in Verona, Italy. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verific…

Oracle Developer/2000 Forms: The Practitioner`s Guide

Edition

-

ISBN/ISSN

0-13-949033-7

Collation

658 p. : ill. ; 25 cm

Series Title

-

Call Number

005.75 Lul o

Software Agents

Edition

-

ISBN/ISSN

0-262-52234-9

Collation

xiii, 210 p. : ill. ; 23 cm

Series Title

-

Call Number

006.3 Bra s

SOFTWARE ENGINEERING: A Practitioner`s Approach, SEVENTH EDITION

Edition

7th

ISBN/ISSN

978-007-126782-3

Collation

xxviii, 895 p. : ill. ; 24 cm

Series Title

-

Call Number

005.1 Pre s

SECURITY FOR SOFTWARE ENGINEERS

Edition

-

ISBN/ISSN

978-1-138-58382-5

Collation

350 p.; 24 cm.

Series Title

-

Call Number

005.1 Hel s

Software Engineering for Variability Intensive Systems : FOUNDATIONS AND APPL…

Edition

-

ISBN/ISSN

978-0-8153-4805-4

Collation

xxxiii, 402 p.; 24 cm.

Series Title

-

Call Number

005.1 Mis s

Software Evolution with UML and XML

Edition

-

ISBN/ISSN

1-59140-462-2

Collation

402 hlm

Series Title

-

Call Number

005.1 Yan s