Software Engineering Application in Informatics

Software Engineering Application in Informatics
Author: Radek Silhavy
Publisher: Springer Nature
Total Pages: 1020
Release: 2021-11-16
Genre: Technology & Engineering
ISBN: 3030903184

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 intelligence are crucial topics for the research within an intelligent systems problem domain.

Software Engineering Perspectives and Application in Intelligent Systems

Software Engineering Perspectives and Application in Intelligent Systems
Author: Radek Silhavy
Publisher: Springer
Total Pages: 477
Release: 2016-04-26
Genre: Technology & Engineering
ISBN: 3319336223

The volume Software Engineering Perspectives and Application in Intelligent Systems presents new approaches and methods to real-world problems, and in particular, exploratory research that describes novel approaches in the field of Software Engineering. Particular emphasis is laid on modern trends in selected fields of interest. New algorithms or methods in a variety of fields are also presented. The 5th Computer Science On-line Conference (CSOC 2016) is intended to provide an international forum for discussions on the latest research results in all areas related to Computer Science. The addressed topics are the theoretical aspects and applications of Computer Science, Artificial Intelligences, Cybernetics, Automation Control Theory and Software Engineering.

Computer Systems and Software Engineering: Concepts, Methodologies, Tools, and Applications

Computer Systems and Software Engineering: Concepts, Methodologies, Tools, and Applications
Author: Management Association, Information Resources
Publisher: IGI Global
Total Pages: 2124
Release: 2017-12-01
Genre: Computers
ISBN: 1522539247

Professionals in the interdisciplinary field of computer science focus on the design, operation, and maintenance of computational systems and software. Methodologies and tools of engineering are utilized alongside computer applications to develop efficient and precise information databases. Computer Systems and Software Engineering: Concepts, Methodologies, Tools, and Applications is a comprehensive reference source for the latest scholarly material on trends, techniques, and uses of various technology applications and examines the benefits and challenges of these computational developments. Highlighting a range of pertinent topics such as utility computing, computer security, and information systems applications, this multi-volume book is ideally designed for academicians, researchers, students, web designers, software developers, and practitioners interested in computer systems and software engineering.

Software Engineering Trends and Techniques in Intelligent Systems

Software Engineering Trends and Techniques in Intelligent Systems
Author: Radek Silhavy
Publisher: Springer
Total Pages: 513
Release: 2017-04-07
Genre: Technology & Engineering
ISBN: 3319571419

This book presents new approaches and methods to solve real-world problems as well as exploratory research describing novel approaches in the field of software engineering and intelligent systems. It particularly focuses on modern trends in selected fields of interest, introducing new algorithms, methods and application of intelligent systems in software engineering. The book constitutes the refereed proceedings of the Software Engineering Trends and Techniques in Intelligent Systems Section of the 6th Computer Science On-line Conference 2017 (CSOC 2017), held in April 2017.

Software Engineering Processes

Software Engineering Processes
Author: Yingxu Wang
Publisher: CRC Press
Total Pages: 754
Release: 2000-04-21
Genre: Computers
ISBN: 9780849323669

Software engineering is playing an increasingly significant role in computing and informatics, necessitated by the complexities inherent in large-scale software development. To deal with these difficulties, the conventional life-cycle approaches to software engineering are now giving way to the "process system" approach, encompassing development methods, infrastructure, organization, and management. Until now, however, no book fully addressed process-based software engineering or set forth a fundamental theory and framework of software engineering processes. Software Engineering Processes: Principles and Applications does just that. Within a unified framework, this book presents a comparative analysis of current process models and formally describes their algorithms. It systematically enables comparison between current models, avoidance of ambiguity in application, and simplification of manipulation for practitioners. The authors address a broad range of topics within process-based software engineering and the fundamental theories and philosophies behind them. They develop a software engineering process reference model (SEPRM) to show how to solve the problems of different process domains, orientations, structures, taxonomies, and methods. They derive a set of process benchmarks-based on a series of international surveys-that support validation of the SEPRM model. Based on their SEPRM model and the unified process theory, they demonstrate that current process models can be integrated and their assessment results can be transformed between each other. Software development is no longer just a black art or laboratory activity. It is an industrialized process that requires the skills not just of programmers, but of organization and project managers and quality assurance specialists. Software Engineering Processes: Principles and Applications is the key to understanding, using, and improving upon effective engineering procedures for software development.

Computer Science and Engineering—Theory and Applications

Computer Science and Engineering—Theory and Applications
Author: Mauricio A. Sanchez
Publisher: Springer
Total Pages: 283
Release: 2018-02-05
Genre: Technology & Engineering
ISBN: 3319740601

This book presents a collection of research findings and proposals on computer science and computer engineering, introducing readers to essential concepts, theories, and applications. It also shares perspectives on how cutting-edge and established methodologies and techniques can be used to obtain new and interesting results. Each chapter focuses on a specific aspect of computer science or computer engineering, such as: software engineering, complex systems, computational intelligence, embedded systems, and systems engineering. As such, the book will bring students and professionals alike up to date on key advances in these areas.

Informatics in Schools. Fundamentals of Computer Science and Software Engineering

Informatics in Schools. Fundamentals of Computer Science and Software Engineering
Author: Sergei N. Pozdniakov
Publisher: Springer
Total Pages: 397
Release: 2018-10-10
Genre: Education
ISBN: 3030027503

This book constitutes the proceedings of the 11th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2018, held in St. Petersburg, Russia, in October 2018. The 29 full papers presented in this volume were carefully reviewed and selected from 74 submissions. They were organized in topical sections named: role of programming and algorithmics in informatics for pupils of all ages; national concepts of teaching informatics; teacher education in informatics; contests and competitions in informatics; socio-psychological aspects of teaching informatics; and computer tools in teaching and studying informatics.

Software Engineering and Algorithms

Software Engineering and Algorithms
Author: Radek Silhavy
Publisher: Springer
Total Pages: 741
Release: 2021-07-20
Genre: Technology & Engineering
ISBN: 9783030774417

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 statistical learning in the software engineering research are presented.

Software Engineering 2

Software Engineering 2
Author: Dines Bjørner
Publisher: Springer Science & Business Media
Total Pages: 780
Release: 2007-08-01
Genre: Computers
ISBN: 354033193X

The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches. This volume covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages. This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies. Vol. 1 of this series is a prerequisite text.