2014 Theoretical Aspects Of Software Engineering Conference Tase

Author : IEEE Staff
Publisher : Unknown
Page : 221 pages
File Size : 54,9 Mb
Release : 2014-09-01
Category : Electronic
ISBN : 1479950300

Get Book

2014 Theoretical Aspects of Software Engineering Conference (TASE) by IEEE Staff Pdf

Requirements Engineering Specification and Verification Program Analysis Software Testing Model Driven Engineering Software Architectures and Design Aspect and Object Orientation Embedded and Real Time Systems Software Processes and Workflows Component Based Software Engineering Software Safety, Security and Reliability Reverse Engineering and Software Maintenance Service Oriented and Cloud Computing Semantic Web and Web Services Type System and Theory Program Logics and Calculus Probability in Software Engineering

Author : Cristina David,Meng Sun
Publisher : Springer Nature
Page : 375 pages
File Size : 47,8 Mb
Release : 2023-06-26
Category : Computers
ISBN : 9783031352577

Get Book

Theoretical Aspects of Software Engineering by Cristina David,Meng Sun Pdf

This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4–6, 2023. The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; and AI for formal methods.

Author : Tiziana Margaria,Bernhard Steffen
Publisher : Springer Nature
Page : 437 pages
File Size : 52,6 Mb
Release : 2022-10-19
Category : Computers
ISBN : 9783031197567

Get Book

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering by Tiziana Margaria,Bernhard Steffen Pdf

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.

Author : Anonim
Publisher : IEEE
Page : 306 pages
File Size : 44,8 Mb
Release : 2008-01-01
Category : Computers
ISBN : 0769532497

Get Book

Theoretical Aspects of Software Engineering by Anonim Pdf

The 39 papers selected for the June 2008 symposium present new approaches to model checking, program analysis, service-oriented computing, verification and validation, software testing, logic systems, and specifications. The contributors propose a bigraphical model of WSBPEL, workflow semantics of peer and service behavior, automatic verification of self-stabilizing population protocols, and a multidimensional model for mum effect in offshore outsourcing. Other topics include test data generation for C programs, transformation of BPEL processes to Petri nets, symmetry reduction for B and Z models, and permission interpretation for ownership types. No subject index is provided.

Author : Joost-Pieter Katoen,Rom Langerak,Arend Rensink
Publisher : Springer
Page : 391 pages
File Size : 42,8 Mb
Release : 2017-10-16
Category : Computers
ISBN : 9783319682709

Get Book

ModelEd, TestEd, TrustEd by Joost-Pieter Katoen,Rom Langerak,Arend Rensink Pdf

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday. The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science. The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods.

Author : Thao Dang,Volker Stolz
Publisher : Springer Nature
Page : 357 pages
File Size : 52,8 Mb
Release : 2022-09-23
Category : Computers
ISBN : 9783031171963

Get Book

Runtime Verification by Thao Dang,Volker Stolz Pdf

This book constitutes the refereed proceedings of the 22nd International Conference on Runtime Verification, RV 2022, held in Tbilisi, Georgia, during September 28-30, 2022. The 12 regular papers and 10 short papers presented in this book were carefully reviewed and selected from 40 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification.

Author : Jasmin Christian Blanchette,Stephan Merz
Publisher : Springer
Page : 514 pages
File Size : 52,8 Mb
Release : 2016-08-08
Category : Mathematics
ISBN : 9783319431444

Get Book

Interactive Theorem Proving by Jasmin Christian Blanchette,Stephan Merz Pdf

This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

Author : Axel Legay,Tiziana Margaria
Publisher : Springer
Page : 609 pages
File Size : 43,7 Mb
Release : 2017-03-30
Category : Computers
ISBN : 9783662545775

Get Book

Tools and Algorithms for the Construction and Analysis of Systems by Axel Legay,Tiziana Margaria Pdf

The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 48 full papers, 4 tool demonstration papers, and 12 software competition papers presented in these volumes were carefully reviewed and selected from 181 submissions to TACAS and 32 submissions to the software competition. They were organized in topical sections named: verification techniques; learning; synthesis; automata; concurrency and bisimulation; hybrid systems; security; run-time verification and logic; quantitative systems; SAT and SMT; and SV COMP.

Author : Tiziana Margaria,Bernhard Steffen
Publisher : Springer Nature
Page : 505 pages
File Size : 53,8 Mb
Release : 2021-10-11
Category : Computers
ISBN : 9783030891596

Get Book

Leveraging Applications of Formal Methods, Verification and Validation by Tiziana Margaria,Bernhard Steffen Pdf

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends. The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems.

Author : Anne E. Haxthausen,Wen-ling Huang,Markus Roggenbach
Publisher : Springer Nature
Page : 340 pages
File Size : 54,8 Mb
Release : 2023-09-17
Category : Computers
ISBN : 9783031401329

Get Book

Applicable Formal Methods for Safe Industrial Products by Anne E. Haxthausen,Wen-ling Huang,Markus Roggenbach Pdf

This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research. After studying mathematics at the University of Hamburg, Jan worked with Philips and Deutsche System-Technik on fault-tolerant systems, distributed systems, database systems, and safety-critical embedded systems. Since 1994 he has worked as a consultant to industry, specializing in development methods, verification, validation and test of safety-critical systems, and since 1995 he has been a Professor of Computer Science at the University of Bremen. In his research he has been most interested in the combination and application of existing methods and corresponding tools to real-world problems, particularly in the field of safety-critical embedded systems and distributed systems, including avionics and railway control systems. The papers in this volume reflect those interests, and the impact he has had on colleagues and collaborators. The volume is structured into sections on testing; railway verification and safety & security; intelligent systems and cyber-physical systems; and tools and techniques for specification, verification and code generation.

Author : Klaus Havelund,Jan Peleska,Bill Roscoe,Erik de Vink
Publisher : Springer
Page : 692 pages
File Size : 55,5 Mb
Release : 2018-07-11
Category : Computers
ISBN : 9783319955827

Get Book

Formal Methods by Klaus Havelund,Jan Peleska,Bill Roscoe,Erik de Vink Pdf

This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018. The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.

Author : Tiziana Margaria,Bernhard Steffen
Publisher : Springer Nature
Page : 608 pages
File Size : 44,7 Mb
Release : 2022-10-19
Category : Computers
ISBN : 9783031198496

Get Book

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles by Tiziana Margaria,Bernhard Steffen Pdf

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.

Author : Sabri Arik,Tingwen Huang,Weng Kin Lai,Qingshan Liu
Publisher : Springer
Page : 702 pages
File Size : 42,6 Mb
Release : 2015-11-17
Category : Computers
ISBN : 9783319265612

Get Book

Neural Information Processing by Sabri Arik,Tingwen Huang,Weng Kin Lai,Qingshan Liu Pdf

The four volume set LNCS 9489, LNCS 9490, LNCS 9491, and LNCS 9492 constitutes the proceedings of the 22nd International Conference on Neural Information Processing, ICONIP 2015, held in Istanbul, Turkey, in November 2015. The 231 full papers presented were carefully reviewed and selected from 375 submissions. The 4 volumes represent topical sections containing articles on Learning Algorithms and Classification Systems; Artificial Intelligence and Neural Networks: Theory, Design, and Applications; Image and Signal Processing; and Intelligent Social Networks.

Author : Anonim
Publisher : Unknown
Page : 128 pages
File Size : 40,9 Mb
Release : 2016
Category : Computer software
ISBN : 1509017631

Get Book

The 10th International Symposium on Theoretical Aspects of Software Engineering by Anonim Pdf

Author : Yamine Aït-Ameur,Florin Crăciun
Publisher : Springer Nature
Page : 441 pages
File Size : 48,7 Mb
Release : 2022-07-01
Category : Computers
ISBN : 9783031103636

Get Book

Theoretical Aspects of Software Engineering by Yamine Aït-Ameur,Florin Crăciun Pdf

This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques.