-
10881
Fluent temporal logic for discrete-time event-based models.
Опубликовано в: Software engineering notes.Статья -
10882
Context- and path-sensitive memory leak detection.
Опубликовано в: Software engineering notes.Статья -
10883
Summarizing application performance from a components perspective.
Опубликовано в: Software engineering notes.Статья -
10884
Matching execution histories of program versions.
Опубликовано в: Software engineering notes.Статья -
10885
Matching execution histories of program versions.
Опубликовано в: Software engineering notes.Статья -
10886
-
10887
-
10888
-
10889
CHARMY an extensible tool for architectural analysis.
Опубликовано в: Software engineering notes.Статья -
10890