A Graph Rewriting Approach for Transformational Design of Digital Systems

Transformational design integrates design and verification. It combines “correctness by construction” and design creativity by the use of pre-proven behaviour preserving transformations as design steps. The formal aspects of this methodology are hidden in the transformations. A constraint is the availability of a design representation with a compositional formal semantics. Graph representations are useful design representations because of their visualisation of design information. In this paper graph rewriting theory, as developed in the last twenty years in mathematics, is shown to be a useful basis for a formal framework for transformational design. The semantic aspects of graphs which are no part of graph rewriting theory are included by the use of attributed graphs. The used attribute algebra, table algebra, is a relation algebra derived from database theory. The combination of graph rewriting, table algebra and transformational design is new

Mission 2 Solution: Requirements Engineering Education as a Central Theme in the BIT Programme

Design of integrated business-IT solutions is the main theme in the Business Information Technology programme (BIT) at the University of Twente. Our mission is to teach students to design solutions that are needed instead of solutions that are asked for. This makes requirements engineering an essential part of our education in business-IT alignment. Integration of requirements engineering (RE) in several courses is combined with challenging the students by authentic cases, taken from business practice, in which they have to apply theory and train their competences. This combination results in reflection as well as in RE experience and insight in the importance of requirements analysis. \ud In this position paper we outline how RE is integrated in the BIT programme and we discuss the project course BIT Ltd in more detail

Old Broken Crayons: Adolescent Artists with Autism in Art Education

This research engages a combined qualitative methodology of arts-informed research and critical descriptive ethnography to study thirteen adolescent artists with autism as they engage in art making across multiple art education contexts. This study revealed the perceptions of stakeholders about art and autism that informed the access these adolescent artists had to art education and art materials. These perceptions included varying ideas of competence, ability and struggle associated with an identity as `autistic\u27. In the examination of these adolescents\u27 experiences the engagement with art making and the role of art in the lives of these artists is explored. It is shown that art functions as communication and a way of connecting to the world around them, acting as a form of literacy through the visual text of their artwork. This study offers a paradigm for inclusive art education that operates within the social model of dis/ability and considers strategies for full inclusion with art curriculum and art materials. Recommendations for families, art teachers of students with autism and art teacher preparation are provided

Blame : marriage, folklore, and the Victorian novel

Blame: Marriage, Folklore, and the Victorian Novel contends that the intersection of folk and legal discourses of responsibility and culpability shapes the way the Victorian novel imagines blame. Recent studies have drawn attention to the importance of official legal discourses such as trial testimony and standards of evidence to the development of narrative form during the nineteenth century. However, by attending to folk modes for establishing blameworthiness in Victorian novels, I show that folk and legal standards of culpability are mutually constitutive. The legal system is designed to identify the culpable in a fixed process – codified in slow-changing statutes – that begins with crime and ends with punishment. The counter-discourse of folklore – by definition constantly changing – distributes blame more widely than the legal system allows. The resulting circulation of blame blurs the distinction between public and private by showing that the stakes of domestic conflicts extend beyond husband and wife, underscoring the communal investment in failing marriages and their symptoms, which include marital violence, bigamy, and adultery. Examining marital conflicts in works by Charlotte Brontë, Anthony Trollope, Rosina Bulwer Lytton, Wilkie Collins, Charles Dickens, Thomas Hardy, and William Makepeace Thackeray, I argue that the novels conceive of blame not as a single event but as a process of continuous negotiation and redefinition of standards of responsibility, moral agency, and culpability

The Study on Health Impact of Suteti Among Community Living Under Suteti Towers, 2007

Background and Method: A study on the health impact of the Extra High Voltage Transmission power line, 500 kV (SUTETI) was carried out among 1750 people who have been living for more than 15 years around the tower in Jakarta and Tambun. The dependent variables were health impact based on identification of laboratory exams on blood chemistry, electrocardiogram, adult roentgen photo, bone photo roentgen of children, hypertension as well as mental emotional disorders using Cornell Medical Index (CMI) and Sleeping Disorders. The melatonin enzyme was  measured trying to identify the association with electromagnetic field exposure and mental psychosomatics evidence.  The independent or risk factors measured besides the socio demographic, duration of stay, length of stay at home, smoking were the respondents' annoyance and satisfaction living around the tower and the reasons of feeling not safe. At the same time the electromagnetic field was also measured separately. The personal electric and magnetic field doses were the function of length of stay inside the house and the electric field and magnetic field measured inside the house. The study location was divided into three zones, zone 1, 0-30 ms left and right sides from center of tower foot, zone 2, 30-70 ms and zone 3, 70-100 ms.Results and Conclusion: Study results reported the range  of  electric field measured , at one meter from the ground, showed the highest 3,2 kV/m just underneath the tower (10-30 m), declined to  0,5 kV/m  about 70 m away from the center of the tower and steadily declined, about 70-100 m, the electric field became very small to 0,0 kV/m The magnetic field measured were, the highest 20-30 m, 534 mA/m ( 6,7x 10 -² mT),  declined at the distance of 70 m to 110 mA/m ( 1,3 x  10 -² mT ), very small  at a 100 m, 50 mA/m ( 6,3 x 10 -3 mT). Study results also revealed that there were no significant associations identified  between  adults roentgen results, children bone roentgen results, hypertension, mental emotional disorders/ CMI, sleeping disorders with electric and magnetic field dose . The logistic regression functions reported the magnetic field dose as a borderline determinant to electrocardiogram. People who lived 0-70 m had 7 times greater risk to suffer from emotional mental disorders than those living >70 m away from the tower even though mental emotional disorders was neither significant to electro field dose nor to magnetic field dose. The melatonin correlates positively with electromagnetic doses which mean melatonin was not suppressed by the electromagnetic exposures. Melatonin also neither associated with CMI nor with sleeping disorders.Keywords: Extra High Voltage Power Line  Transmission (SUTETI), lab exams on blood chemistry, electrocardiogram /ECG, roentgen, bone roentgen in children, CMI, Sleeping disorders, melatonin, electric field dose, magnetic field dos

Labyrinth Meditation as a Foundation for Photography with Adolescents

Abstract This capstone thesis paper analyzes how the use of meditation, finger labyrinths, and photography intertwine to strengthen reflection for the adolescent population. To further this community engagement project, the researcher observed two male adolescents in in their work with meditation and photography. Results revealed that after the use of labyrinth meditation, participants felt calm and quiet. The photo-taking portion of this study was different than what they had previously experienced while taking images. Results also showed that meditation before photo-taking allowed for reflection, awareness, and personal empowerment to increase during the art making process. This study emphasizes the need for decreasing one’s pace in relation to photography

Designing for Complexity in Mother Tongue or First Language (L1)-Based Multilingual Education Programs

Mother-tongue or first language (L1)-based multilingual education programs are necessarily complex and may require a more nonlinear approach to program design. These programs operate within and act upon a range of psycholinguistic, sociolinguistic, and sociopolitical issues that include language structure and literacy assessment, language policy and politics, and cultural and social behavior change linked to literacy expansion. The broad use of one-size-fits-all outcomes-based design approaches for L1-based multilingual education programs often result in designs that are retrofitted to new country settings and ill-suited to the context in which they are implemented. This paper looks at some of the many features that can be used to inform the development of L1-based multilingual education in the context of early literacy programming. Specifically, it examines the use of alternative approaches in the development of flexible theory of change design that integrate early literacy and L1-based multilingual education program design frameworks to more suitably address the sociolinguistic, sociopolitical, and psycholinguistic assumptions underpinning multilingual education approaches