scholarly journals The Transnational Episode of America’s “J-Horror” Craze, The Circumstances of its Production and its Cultural and Formal Representations of Shared National Fear

2018 ◽  
Author(s):  
Carter Bryan
Keyword(s):  
Formal Representations

scholarly journals Industrial Examples of Formal Specifications for Test Case Generation

10.29007/z9ph ◽  
2018 ◽  
Author(s):  
Hendrik Roehm ◽  
Rainer Gmehlich ◽  
Thomas Heinz ◽  
Jens Oehlerking ◽  
Matthias Woehrle
Keyword(s):  
Embedded Systems ◽  
Requirements Engineering ◽  
Automotive Industry ◽  
Test Case Generation ◽  
Test Case ◽  
Formal Specifications ◽  
Discrete Events ◽  
The Past ◽  
Formal Representations

While requirements engineering has received considerable attention inacademia over the past years, formalization of requirements for physicallyinfluenced systems is still a difficult task in practice. In this paper, we giveformal representations of some typical requirement classes arising in theautomotive industry. We divide these patterns into three main classes:those mostly referring to properties of continuous signals, those mostlyreferring to discrete events and those referring to similarity to a referencesignal. We discuss these patterns on concrete examples from automotiveembedded systems, where specifications are used for test case generation.

Intermezzo or What Exists When a Tree Exists?

2016 ◽  
Author(s):  
Andrea Moro
Keyword(s):  
Formal Representation ◽  
Constituent Structure ◽  
The Asymmetry ◽  
The Right ◽  
Formal Representations

It is sometimes assumed that formal representation of language are abstractions and that they contrast with the concreteness of empirical neurobiological measures. It is argued that this is not so and that, moreover, the formal representations adopted in linguistics are also detectable by providing the right stimulus to the subjects at the neurobiological level; one example is given by the asymmetry of constituent structure.

Database Integrity Checking

2009 ◽  
pp. 212-220 ◽  
Author(s):  
Hendrik Decker ◽  
Davide Martinenghi
Keyword(s):  
Predicate Logic ◽  
Historical Background ◽  
Integrity Constraints ◽  
Future Trends ◽  
Declarative Languages ◽  
Incremental Evaluation ◽  
Database Integrity ◽  
Integrity Checking ◽  
Semantic Correctness ◽  
Formal Representations

Integrity constraints (or simply “constraints”) are formal representations of invariant conditions for the semantic correctness of database records. Constraints can be expressed in declarative languages such as datalog, predicate logic, or SQL. This article highlights the historical background of integrity constraints and the essential features of their simplified incremental evaluation. It concludes with an outlook on future trends.

scholarly journals Translating Simple Legal Text to Formal Representations

2015 ◽  
pp. 259-273 ◽  
Author(s):  
Shruti Gaur ◽  
Nguyen H. Vo ◽  
Kazuaki Kashihara ◽  
Chitta Baral
Keyword(s):  
Legal Text ◽  
Formal Representations
Sign in / Sign up

Export Citation Format

Share Document