The Essence of Software Engineering

The Essence of Software Engineering

Author: Volker Gruhn

Publisher: Springer

Published: 2018-06-13

Total Pages: 247

ISBN-13: 3319738976

DOWNLOAD EBOOK

This open access book includes contributions by leading researchers and industry thought leaders on various topics related to the essence of software engineering and their application in industrial projects. It offers a broad overview of research findings dealing with current practical software engineering issues and also pointers to potential future developments. Celebrating the 20th anniversary of adesso AG, adesso gathered some of the pioneers of software engineering including Manfred Broy, Ivar Jacobson and Carlo Ghezzi at a special symposium, where they presented their thoughts about latest software engineering research and which are part of this book. This way it offers readers a concise overview of the essence of software engineering, providing valuable insights into the latest methodological research findings and adesso’s experience applying these results in real-world projects.


Categories and Computer Science

Categories and Computer Science

Author: R. F. C. Walters

Publisher: Cambridge University Press

Published: 1991

Total Pages: 180

ISBN-13: 9780521422260

DOWNLOAD EBOOK

Category theory has become increasingly important and popular in computer science, and many universities now have introductions to category theory as part of their courses for undergraduate computer scientists. The author is a respected category theorist and has based this textbook on a course given over the last few years at the University of Sydney. The theory is developed in a straightforward way, and is enriched with many examples from computer science. Thus this book meets the needs of undergradute computer scientists, and yet retains a level of mathematical correctness that will broaden its appeal to include students of mathematics new to category theory.


Fundamentals of Software Engineering

Fundamentals of Software Engineering

Author: Hossein Hojjat

Publisher: Springer Nature

Published: 2019-09-21

Total Pages: 263

ISBN-13: 3030315177

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019. The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on agent based systems, theorem proving, learning, verification, distributed algorithms, and program analysis.


Software Engineering and Formal Methods

Software Engineering and Formal Methods

Author: Rocco De Nicola

Publisher: Springer

Published: 2016-06-22

Total Pages: 420

ISBN-13: 3319415913

DOWNLOAD EBOOK

This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program analysis; model checking; verification; interaction and adaptation; and development methods.


Fundamentals of Software Engineering

Fundamentals of Software Engineering

Author: Mehdi Dastani

Publisher: Springer

Published: 2017-10-10

Total Pages: 270

ISBN-13: 331968972X

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Fundamentals of Software Engineering, FSEN 2017, held in Tehran, Iran, in April 2017. The 16 full papers presented in this volume were carefully reviewed and selected from 49 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques.


Advances in Computers

Advances in Computers

Author:

Publisher: Academic Press

Published: 2019-01-08

Total Pages: 500

ISBN-13: 0128151226

DOWNLOAD EBOOK

Advances in Computers, Volume 112, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Mobile Application Quality Assurance, Advances in Combinatorial Testing, Advances in Applications of Object Constraint Language for Software Engineering, Advances in Techniques for Test Prioritization, Data Warehouse Testing, Mutation Testing Advances: An Analysis and Survey, Event-Based Concurrency: Applications, Abstractions, and Analyses, and A Taxonomy of Software Integrity Protection Techniques. - Provides in-depth surveys and tutorials on new computer technology - Covers well-known authors and researchers in the field - Presents extensive bibliographies with most chapters - Includes volumes that are devoted to single themes or subfields of computer science


Enterprise Information Systems

Enterprise Information Systems

Author: Slimane Hammoudi

Publisher: Springer

Published: 2018-06-15

Total Pages: 641

ISBN-13: 3319933752

DOWNLOAD EBOOK

This book constitutes extended and revised papers from the 19th International Conference on Enterprise Information Systems, ICEIS 2017, held in Porto, Portugal, in April 2017. The 28 papers presented in this volume were carefully reviewed and selected for inclusion in this book from a total of 318 submissions. They were organized in topical sections named: databases and information systems integration; artificial intelligence and decision support systems; information systems analysis and specification; software agents and internet computing; human-computer interaction; and enterprise architecture.


Smart Computational Strategies: Theoretical and Practical Aspects

Smart Computational Strategies: Theoretical and Practical Aspects

Author: Ashish Kumar Luhach

Publisher: Springer

Published: 2019-03-22

Total Pages: 278

ISBN-13: 9811362955

DOWNLOAD EBOOK

This book covers new developments and advances in the field of Computational Strategies for next-generation computing. The contributing authors share diverse perspectives on and extensive discussions of issues concerning the theory, applications, and future prospects. Addressing computing methodologies, hardware information systems and networks, this interdisciplinary book will appeal to all scholars with an interest in computing methodologies, hardware information systems and networks.


Computer Security

Computer Security

Author: Apostolos P. Fournaris

Publisher: Springer Nature

Published: 2020-02-20

Total Pages: 290

ISBN-13: 3030420515

DOWNLOAD EBOOK

This book constitutes the refereed post-conference proceedings of the Second International Workshop on Information & Operational Technology (IT & OT) security systems, IOSec 2019 , the First International Workshop on Model-driven Simulation and Training Environments, MSTEC 2019, and the First International Workshop on Security for Financial Critical Infrastructures and Services, FINSEC 2019, held in Luxembourg City, Luxembourg, in September 2019, in conjunction with the 24th European Symposium on Research in Computer Security, ESORICS 2019. The IOSec Workshop received 17 submissions from which 7 full papers were selected for presentation. They cover topics related to security architectures and frameworks for enterprises, SMEs, public administration or critical infrastructures, threat models for IT & OT systems and communication networks, cyber-threat detection, classification and pro ling, incident management, security training and awareness, risk assessment safety and security, hardware security, cryptographic engineering, secure software development, malicious code analysis as well as security testing platforms. From the MSTEC Workshop 7 full papers out of 15 submissions are included. The selected papers deal focus on the verification and validation (V&V) process, which provides the operational community with confidence in knowing that cyber models represent the real world, and discuss how defense training may benefit from cyber models. The FINSEC Workshop received 8 submissions from which 3 full papers and 1 short paper were accepted for publication. The papers reflect the objective to rethink cyber-security in the light of latest technology developments (e.g., FinTech, cloud computing, blockchain, BigData, AI, Internet-of-Things (IoT), mobile-first services, mobile payments).