Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"Argumentation structure"”.
-
Safety cases for the formal verification of automatically generated code
… safety cases that argue along the hierarchical structure of systems in model-based development. This core safety case is extended by separately specified auxiliary information from other verification and validation activities such as testing. The thesis also presents an approach to develop …
-
A pragma-dialectical approach in television talk show argumentation: A case study of the Namibia Broadcasting Corporation’s one-on-one discourse
… explications of pragma-dialectical theory of argumentation (van Eemeren, 2017). The pragma-dialectical theory of argumentation is fundamentally a broad spectrum of the study of linguistics that has, through its development and growth, shifted its interest and focus from abstractions of formal …