Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Software Assurance in an Uncertain World
Published in Fundamental Approaches to Software Engineering
(2019)
Get full text
Book Chapter
Implementing Graph Transformations in the Bulk Synchronous Parallel Model
Krause, Christian, Tichy, Matthias, Giese, Holger
Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2014)
Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2014)
Get full text
Book Chapter
Conference Proceeding
Taming Multi-Variability of Software Product Line Transformations
Published in Fundamental Approaches to Software Engineering
(2018)
Get full text
Book Chapter
Summarizing Software API Usage Examples Using Clustering Techniques
Published in Fundamental Approaches to Software Engineering
(2018)
Get full text
Book Chapter
Hierarchical Specification and Verification of Architectural Design Patterns
Published in Fundamental Approaches to Software Engineering
(2018)
Get full text
Book Chapter
Offline Delta-Driven Model Transformation with Dependency Injection
Published in Fundamental Approaches to Software Engineering
(2019)
Get full text
Book Chapter
Supporting Verification-Driven Incremental Distributed Design of Components
Published in Fundamental Approaches to Software Engineering
(2018)
Get full text
Book Chapter
Fast Computation of Arbitrary Control Dependencies
Published in Fundamental Approaches to Software Engineering
(01.01.2018)
Get full text
Book Chapter
DeepFault: Fault Localization for Deep Neural Networks
Published in Fundamental Approaches to Software Engineering
(2019)
Get full text
Book Chapter
Revisiting Semantics of Interactions for Trace Validity Analysis
Published in Fundamental Approaches to Software Engineering
(01.01.2020)
Get full text
Book Chapter
A Data Flow Model with Frequency Arithmetic
Published in Fundamental Approaches to Software Engineering
(01.01.2019)
Get full text
Book Chapter
Can ChatGPT support software verification?
Published in Fundamental Approaches to Software Engineering
(2024)
Get full text
Book Chapter