Go to main content

Fundamentals of software engineering : 9th International Conference, FSEN 2021, Virtual event, May 19-21, 2021, Revised selected papers / Hossein Hojjat, Mieke Massink (eds.).

IPM International Conference on Fundamentals of Software Engineering (9th : 2021 : Online); Hojjat, Hossein, editor.; Massink, Mieke, editor.
2021
QA76.758
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket
Cite
Citation

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 : 9th International Conference, FSEN 2021, Virtual event, May 19-21, 2021, Revised selected papers / Hossein Hojjat, Mieke Massink (eds.).
Meeting Name
IPM International Conference on Fundamentals of Software Engineering (9th : 2021 : Online)
ISBN
9783030892470 (electronic bk.)
3030892476 (electronic bk.)
3030892468
9783030892463
9783030892463 (print)
DOI
https://doi.org/10.1007/978-3-030-89247-0
Published
Cham, Switzerland : Springer, 2021.
Language
English
Description
1 online resource (xii, 229 pages) : illustrations (some color).
Item Number
10.1007/978-3-030-89247-0 doi
Call Number
QA76.758
Dewey Decimal Classification
005.1
Summary
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021. The 12 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 38 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.
Bibliography, etc. Note
Includes bibliographical references and author index.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file
PDF
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed October 19, 2021).
Added Author
Hojjat, Hossein, editor.
Massink, Mieke, editor.
Series
Lecture notes in computer science ; 12818.
LNCS sublibrary. SL 2, Programming and software engineering.
Available in Other Form
Print version: 9783030892463
Print version: 9783030892487
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
Coordination
Protocol Scheduling
Automated Replication of Tuple Spaces via Static Analysis
Incremental Refinement of Goal Models with Contracts
Logic
Proof Calculi for Epistemic Logics with Structured Knowledge
Introducing Intervalar differential dynamic logic
A Program Logic for Fresh Name Generation
Event-Driven Temporal Logic Pattern for Control Software Requirements Specification
Extending OCL with map and function types
Networks
Deadlock in packet switching networks
Runtime Monitoring Processes Across Blockchains
Solving Systems of Bilinear Equations for Transition Rate Reconstruction
Parallel Computation
Term Rewriting on GPUs
Promise Plus: Flexible Synchronization for Parallel Computations on Arrays
Testing
Towards Test Case Generation for Industrial Software Systems Based on Functional Specifications
Compressing Automatically Generated Unit Test Suites through Test Parameterization
Systematic Extraction of Test Cases from Object-oriented Programs.

Browse Subjects

Show more subjects...

Statistics

from
to
Export