S?ure-Basenhaushalt

Ohne Zusammenfassung     

Fachhochschule im Spannungsverh?ltnis zwischen Erhalterrechten und Kollegiumsautonomie

Das FHStG erm?glicht Erhaltern von Fachhochschul-Studieng?ngen unter bestimmten Voraussetzungen die Verleihung der Bezeichnung \"Fachhochschule\". Dabei ist ua eine Organisation einzurichten und nachzuweisen, die aus einem Fachhochschulkollegium und einem Leiter des Fachhochschulkollegiums besteht. Beide Organe sind Ausfluss fachhochschulischer Autonomie. Hinsichtlich Rechtsstellung und Aufgabenwahrnehmung dieser Organe besteht eine Reihe von Unklarheiten auf verfassungsrechtlicher und einfachgesetzlicher Ebene. Auch die Zusammenarbeit zwischen Erhalter und autonomem Bereich ist durch einige – vom FHStG ungeregelte – Problembereiche gekennzeichnet. Da viele Erhalter in der Rechtsform einer GmbH organisiert sind, fragt sich zus?tzlich, wie die Bestimmungen des GmbHG hier zum Tragen kommen. Der vorliegende Beitrag zeigt einige m?gliche Auslegungsvarianten von unklaren Bestimmungen des FHStG, aber auch grundlegende verfassungsrechtliche Probleme auf. Immerhin l?sst sich festhalten, dass fachhochschulische Autonomieauch im Rahmen der Rechtsform der GmbH grunds?tzlich gelebt und vollzogen werden kann. Der Beitrag kommt aber auch zum Schluss, dass das FHStG in einigen Punkten dringend einer Novellierung bedarf.     

Pädagogisch-psychologisches Wissen von Lehrkräften aus Schule und Erwachsenenbildung: Entwicklung und Erprobung eines Testinstruments

Teachers’ pedagogical/psychological knowledge (PPK) is an important aspect of teacher competence. All conceptualisations developed so far assume that PPK is general and not specific for subjects or educational contexts. The authors take up this assumption and examine empirically whether PPK of school teachers and adult education teachers is general, i.?e. generic for subjects and educational contexts. Based on a conceptualisation validated through an expert survey (N = 44) the development of a digital test instrument with text- and videobased items is described. The article reports on the results of the structure, reliability, and DIF analyses of two PPK-facets on a total of N = 212 school and adult education teachers; analyses showed that both facets can be measured reliably with only small DIF-effects. The results point to the fact that – largely in line with the results of a literature content analysis and the expert survey – PPK is general over educational contexts. Finally, results are discussed with regard to the potentials of videobased instruments to measure teachers’ professional competence.     

DFG-Schwerpunktprogramm: Entwurf und Entwurfsmethodik eingebetteter Systeme

Ohne Zusammenfassung     

Elektronische Vertr?ge und ihre verbindliche Aushandlung

Zusammenfassung.   Dieser Artikel erarbeitet eine formale Bestimmung der Begriffe “elektronischer Vertrag”, seine “Ziele”, “Verpflichtungen” und seine “verbindliche Aushandlungsphase”. Die hier erarbeiteten Begriffe dienen erstens der Spezifikation elektronischer Vertr?ge und zweitens der Verifikation lokaler Implementationen von elektronischen Vertragskooperationen. Besonders behandelt werden die lokale Darstellungen von Vertr?gen und ihre vermittelnde Kommunikation, mehrfache sowie sich überlappende Durchl?ufe durch eine verbindliche Phase und die Rolle von Beweismitteln. Die Begriffe beruhen auf der Theorie der formalen Sprachen bzw. der Automaten. Sie werden an einem einfachen Beispiel einer bilateralen Auftragskooperation demonstriert. Eingegangen am 16. Dezember 1999 / Angenommen am 10. M?rz 2000     

Software-Sicherheitsprüfung mit VALSOFT

Zusammenfassung. Die Physikalisch-Technische Bundesanstalt mu? alle eichpflichtigen Me?ger?te prüfen. Da heute fast jedes Me?ger?t durch Software gesteuert wird, mu? sichergestellt werden, da? der Datenpfad vom Sensoreingang zur Anzeige (Eichpfad) nicht durch externe Faktoren beeinflu?t werden kann. Das VALSOFT-Werkzeug erkennt, analysiert und visualisiert Beeinflussungen der Eichpfade. Grundlage der Analyse sind Program-Slicing und Constraint-Solving. Zu beliebigen Programmpunkten (z. B. Me?wertausgaben) k?nnen diejenigen Anweisungen bestimmt werden, die diesen Punkt beeinflussen (sog. Slice). Zus?tzlich k?nnen genaue Bedingungen berechnet werden, unter denen verd?chtige Datenflüsse stattfinden (sog. Pfadbedingungen). Anwendungen in anderen sicherheitskritischen Bereichen sind ohne weiteres m?glich. Eingegangen am 3. November 1998 / Angenommen am 23. M?rz 1999     

Editorial

Ohne Zusammenfassung     

Hydrothermal vent communities and plate tectonics

Deep in the oceans, hydrothermal vents are home to an extraordinary array of fauna. These animals depend primarily not on sunlight, but on the chemical energy of the hot fluids issuing from the cracked volcanic rocks along the mid-ocean ridges. Of the 442 species so far discovered, only 9% are known to occur elsewhere. Regional similarities in the distribution of this fauna seem to be controlled by the distance between vents along the mid-ocean ridge system and by the history of the tectonic development of the ridges.