Serious criticisms of psychology's research practices and data analysis methods date back to at least the mid-1900s after the Galtonian school of thought had thoroughly triumphed over the Wundtian school. In the wake of Bem's (2011) recent, highly publicized study on psi phenomena in a prestigious journal, psychologists are again raising serious questions about their dominant research script. T...

Cafe is the name of an environment for systematic development of formal speci cations based on algebraic speci cation techniques. The concept of Cafe was conceived by the rst author around 1990 at ETL 1 as a successor of the OBJ language system. The development of Cafe has been supported by IPA 2 from 1992, and the rst version of CafeOBJ (a main speci cation language of Cafe ) was released in D...

The high-quality modeling experiences embedded in the more mature graphical OO methods (OOMs) makes their application to complex systems attractive, but the lack of rm semantic bases for the model-ing notations can signiicantly hamper the development of such systems. One approach to making OOMs more precise and amenable to rigorous analysis is to integrate them with suitable formal modeling tec...

In Germany a conceptual change from strong emphasis of procedural programming to objectoriented modelling (OOM) is on the way within the field of secondary Informatics education. Though recommended and emphasized by Informatics didactists and already embodied in some of Germany’s federal Informatics curricula, the change has not yet reached the majority of schools. A seeming change was carried ...

The traditional notion of instantiation in Object-Oriented Modeling (OOM) requires objects to be complete, i.e., be fully certain about their existence and attributes. This paper explores the notion of partial instantiation of class diagrams, which allows the modeler to omit some details of objects depending on modeler’s intention. Partial instantiation allows modelers to express optional exist...

This paper describes the application of the ObjectOriented Modeling (OOM) on the modeling of Power Systems. It is intend to develop a computational objectoriented base to represent, in an efficient way, the physical components of a Power System and their methodologies of analysis and synthesis. The generalization level of the classes’ structure allows future specializations, on the side of impl...

Zusammenfassung: In Rahmen dieses Beitrags werden zunächst Argumente dafür geliefert, dass objektorientiertes Modellieren (OOM) als Problemlösungsmethode dazu geeignet ist, Ziele allgemein bildenden Informatikunterrichts zu realisieren. Aufgrund des Mangels an Lehr-Lern-Materialien zum OOM in der Fachdidaktik, werden vorhandene Lehrstrategien und Lehr-Lern-Materialien in der Fachwissenschaft un...

Approximately 1000 students of computer science and business informatics attend the course Introduction to ObjectOriented Modeling (OOM) offered by the Business Informatics Group (BIG) of the Vienna University of Technology each year in order to learn the basic concepts of the Unified Modeling Language (UML) and to obtain a certificate. For finishing the course successfully, the students must p...

We present a new method for intra-cavity control of the carrier-envelope offset (CEO) frequency of ultrafast lasers that combines high feedback bandwidth with low loss, low nonlinearity, and low dispersion. A semiconductor saturable-absorber mirror (SESAM) inside a modelocked laser is optically pumped with a continuous-wave (cw) laser. In this way, the SESAM acts as intra-cavity opto-optical mo...