Fundamentals of software engineering : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised selected papers / Hossein Hojjat, Erika Ábrahám, editors.
IPM International Conference on Fundamentals of Software Engineering (10th : 2023 : Tehran, Iran); Hojjat, Hossein, editor.; Ábrahám, Erika, editor.
2023
QA76.758
Available Online

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Fundamentals of software engineering : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised selected papers / Hossein Hojjat, Erika Ábrahám, editors.
Meeting Name
IPM International Conference on Fundamentals of Software Engineering (10th : 2023 : Tehran, Iran)
ISBN
9783031424410 (electronic bk.)
3031424417 (electronic bk.)
9783031424403
3031424409
DOI
https://doi.org/10.1007/978-3-031-42441-0
Published
Cham : Springer, 2023.
Language
English
Description
1 online resource (x, 157 pages) : illustrations (some color).
Item Number
10.1007/978-3-031-42441-0 doi
Call Number
QA76.758
Dewey Decimal Classification
005.1
Summary
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Fundamentals of Software Engineering, FSEN 2023, held Tehran, Iran in May 4-5, 2023. The 9 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 19 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 coordination, logic, networks, parallel computation, and testing.
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed September 5, 2023).
Added Author
Hojjat, Hossein, editor.
Ábrahám, Erika, editor.
Series
Lecture notes in computer science ; 14155. 1611-3349
Available in Other Form
Print version: 9783031424403
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
Structured specification of paraconsistent transition systems
Towards a Basic Theory for Partial Differentiation in the Prototype Verification System
Case studies of development of verified programs with Dafny for accessibility assessment
TPGen: A Self-Stabilizing GPU-Based Method for Test and Prime Paths Generation
An Optimised Complete Strategy for Testing Symbolic Finite State Machines
Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models
Interaction-based Offline Runtime Verification of Distributed Systems
Genetic Algorithm for Program Synthesis
Property-Based Conjecturing for Automated Induction in Isabelle/HOL
Verification of the busy-forbidden protocol
kProp: Multi-Neuron Relaxation Method for Neural Network Robustness Verification.

Browse Subjects

Show more subjects...

Statistics

from
to
Export