English
Fundamentals of Software Engineering
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Protocol Scheduling
-
Altmetric BadgeChapter 2 Automated Replication of Tuple Spaces via Static Analysis
-
Altmetric BadgeChapter 3 Incremental Refinement of Goal Models with Contracts
-
Altmetric BadgeChapter 4 Adding Proof Calculi to Epistemic Logics with Structured Knowledge
-
Altmetric BadgeChapter 5 Introducing Interval Differential Dynamic Logic
-
Altmetric BadgeChapter 6 A Program Logic for Fresh Name Generation
-
Altmetric BadgeChapter 7 Event-Driven Temporal Logic Pattern for Control Software Requirements Specification
-
Altmetric BadgeChapter 8 Extending OCL with Map and Function Types
-
Altmetric BadgeChapter 9 Deadlock in Packet Switching Networks
-
Altmetric BadgeChapter 10 Runtime Monitoring Processes Across Blockchains
-
Altmetric BadgeChapter 11 Solving Systems of Bilinear Equations for Transition Rate Reconstruction
-
Altmetric BadgeChapter 12 Term Rewriting on GPUs
-
Altmetric BadgeChapter 13 Promise Plus: Flexible Synchronization for Parallel Computations on Arrays
-
Altmetric BadgeChapter 14 Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications
-
Altmetric BadgeChapter 15 Compressing Automatically Generated Unit Test Suites Through Test Parameterization
-
Altmetric BadgeChapter 16 Systematic Extraction of Tests from Object-Oriented Programs