Detailansicht

Wissensnetz

Allgemeinbegriff

Program Slicing

Programmanalyse

Sachbegriff	Program Slicing
Definition	Verfahren zum Extrahieren von Eigenschaften eines Programmes
Oberbegriff	Programmanalyse
Themengebiet	Informatik, Datenverarbeitung
Quelle	Vorlage
Datensatztyp	Allgemeinbegriff
GND-Nummer	4803784-9
Datensatz-ID	972769358
Thema in alle anzeigen Syntax-Preserving Program Slicing for Highly-Configurable C Software Systems Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security Program Slicing : Ein dienstorientiertes Modell Quantitative Analyse des auxininduzierten miR160/ARF-Regelkreises in Physcomitrella patens From formal semantics to verified slicing : a modular framework with applications in language based security From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs Information flow control for Java : a comprehensive approach based on path conditions in dependence graphs Advanced slicing of sequential and concurrent programs Advanced Slicing of Sequential and Concurrent Programs Program Slicing - Ein komponentenbasiertes und adaptierbares Referenztool, exemplarisch angepasst für C Program slicing : ein dienstorientiertes Modell Computing abstract models for verifying reactive systems Pfadbedingungen in Abhängigkeitsgraphen und ihre Anwendung in der Softwaresicherheitstechnik Abstract state machines : verification problems and computational power Abstract state machines : verification problems and computational power Advanced slicing of sequential and concurrent programs Abstract State Machines : A Method for High-Level System Design and Analysis

Hinweis

Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link:

Katalog der Deutschen Nationalbibliothek

Program Slicing

Syntax-Preserving Program Slicing for Highly-Configurable C Software Systems

Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security

Program Slicing : Ein dienstorientiertes Modell

Quantitative Analyse des auxininduzierten miR160/ARF-Regelkreises in Physcomitrella patens

From formal semantics to verified slicing : a modular framework with applications in language based security

From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security

Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs

Information flow control for Java : a comprehensive approach based on path conditions in dependence graphs

Advanced slicing of sequential and concurrent programs

Advanced Slicing of Sequential and Concurrent Programs

Program Slicing - Ein komponentenbasiertes und adaptierbares Referenztool, exemplarisch angepasst für C

Program slicing : ein dienstorientiertes Modell

Computing abstract models for verifying reactive systems

Pfadbedingungen in Abhängigkeitsgraphen und ihre Anwendung in der Softwaresicherheitstechnik

Abstract state machines : verification problems and computational power

Abstract state machines : verification problems and computational power

Advanced slicing of sequential and concurrent programs

Abstract State Machines : A Method for High-Level System Design and Analysis