Refine
Has Fulltext
- no (4) (remove)
Document Type
- Article (4)
Is part of the Bibliography
- yes (4)
Keywords
- transformation (4) (remove)
Embedded real-time systems generate state sequences where time elapses between state changes. Ensuring that such systems adhere to a provided specification of admissible or desired behavior is essential. Formal model-based testing is often a suitable cost-effective approach. We introduce an extended version of the formalism of symbolic graphs, which encompasses types as well as attributes, for representing states of dynamic systems. Relying on this extension of symbolic graphs, we present a novel formalism of timed graph transformation systems (TGTSs) that supports the model-based development of dynamic real-time systems at an abstract level where possible state changes and delays are specified by graph transformation rules. We then introduce an extended form of the metric temporal graph logic (MTGL) with increased expressiveness to improve the applicability of MTGL for the specification of timed graph sequences generated by a TGTS. Based on the metric temporal operators of MTGL and its built-in graph binding mechanics, we express properties on the structure and attributes of graphs as well as on the occurrence of graphs over time that are related by their inner structure. We provide formal support for checking whether a single generated timed graph sequence adheres to a provided MTGL specification. Relying on this logical foundation, we develop a testing framework for TGTSs that are specified using MTGL. Lastly, we apply this testing framework to a running example by using our prototypical implementation in the tool AutoGraph.
Background:
Children’s spontaneous focusing on numerosity (SFON) is related to numerical skills. This study aimed to examine (1) the developmental trajectory of SFON and (2) the interrelations between SFON and early numerical skills at pre-school as well as their influence on arithmetical skills at school.
Method:
Overall, 1868 German pre-school children were repeatedly assessed until second grade. Nonverbal intelligence, visual attention, visuospatial working memory, SFON and numerical skills were assessed at age five (M = 63 months, Time 1) and age six (M = 72 months, Time 2), and arithmetic was assessed at second grade (M = 95 months, Time 3).
Results:
SFON increased significantly during pre-school. Path analyses revealed interrelations between SFON and several numerical skills, except number knowledge. Magnitude estimation and basic calculation skills (Time 1 and Time 2), and to a small degree number knowledge (Time 2), contributed directly to arithmetic in second grade. The connection between SFON and arithmetic was fully mediated by magnitude estimation and calculation skills at pre-school.
Conclusion:
Our results indicate that SFON first and foremost influences deeper understanding of numerical concepts at pre-school and—in contrast to previous findings –affects only indirectly children’s arithmetical development at school.
The aim of the paper is to defend the project of transforming philosophy carried out in my book 'Vernunft und Temperament. Eine Philosophie der Philosophie'.
In section 1, I distinguish between five philosophical genres in which transformation plays a role: 1. academic texts in which transformation is simply a topic; 2. texts meant to adequately articulate through their form the transformative experiences of their authors; 3. texts aiming to enable the reader to transform herself; 4. texts on other texts; 5. manifestos defending the project of transforming philosophy.
Section 2 is such a manifesto. Its main thesis is: "What makes somebody - anybody - a good philosopher is that she is a real human being. " Many of the remaining 16 theses of the manifesto are elaborations on this main thesis. One example is the thesis that the philosophical activity is essentially a becoming - the development of an individual human being.
Let X be an infinite linearly ordered set and let Y be a nonempty subset of X. We calculate the relative rank of the semigroup OP(X,Y) of all orientation-preserving transformations on X with restricted range Y modulo the semigroup O(X,Y) of all order-preserving transformations on X with restricted range Y. For Y = X, we characterize the relative generating sets of minimal size.