Der Arbeitskreis " Requirements Engineering und Projektmanagement " (www.repm.de) wurde 2004 innerhalb der Fachgruppe " Requirements Engineering " gegründet mit dem Ziel, die Beziehungen zwischen Requirements Engineering (RE) und Projektmanagement (PM) zu analysieren und Vorschläge zu erarbeiten für deren effiziente Zusammenarbeit. Mit dem Workshop " Anforderungsbasiertes Projektmanagement " be...

This study aims to determine how effective the Talkhis and Taqshir methods are in improving learning outcomes of class VII D MTs "Al-Islam" Joresan subject Tajwid Hal Nun Sukun Tanwin. The research subjects were Joresan, totaling 30 students, consisting 15 boys girls. is a classroom action (CAR) which consists two cycles with design each cycle four stages, namely first stage planning, second ac...

Die Europäische Union empfiehlt ihren Mitgliedsstaaten seit kurzem ein Abwassermonitoring als Corona-Frühwarnsystem. Bislang war die Technik dafür noch nicht ausgereift. Gemeinsam mit seinem Tochterunternehmen Analytik Jena hat Endress+Hauser nun Nach

Wir präsentieren eine operationelle Semantik mit Typsicherheitsbeweis für Mehrfachvererbung in C++, formalisiert im und maschinengeprüft durch den Maschinenbeweiser Isabelle/HOL. Die Typsicherheit des Vererbungsmechanismus von C++ war lange offen. Der nun vorliegende Beweis erhöht das Vertrauen in die Sprache, erzeugt aber auch neue Einsicht in die Problematik des C++-Vererbungsmechanismus. Er ...

We describe an automated volumetric measure of the hippocampus obtained with software called the Knowledge-Guided MRI Analysis Program (KGMAP). Postmortem MR images from 56 participants in the Nun Study were used to validate the measure. KGMAP-determined volumes strongly correlated with those obtained with manual tracings and neurofibrillary pathologic findings of Alzheimer disease in the hippo...

Seit Längerem steigt die globale Durchschnittstemperatur der Atmosphäre und führt damit auch in der Schweiz zu einem Anstieg der Gewässertemperaturen. Verlässliche längerfristige Prognosen hierfür sind in der Schweiz auf Bundesebene zum jetzigen Zeitpunkt nicht erstellbar. Nun wurden an der Ecole Polytechnique Fédérale de Lausanne (EPFL) zwei Modellvarianten entwickelt, um längerfristig Antwort...