This article summarizes the goals and the first results of the project CITE – from Counterexamples to Interactive Incremental Tracing of Errors – at the National Institute of Informatics (NII) in Tokyo, Japan. CITE aims at developing the fundamental methods for generating both comprehensive and comprehensible error reports based on model checking results. Model checking is a powerful and effici...

We report on the adequacy of using Sato processes to value equity structured products. In models used to price options on realized variance, the latter must be a random variable with a positive variance. An analysis of this variance of realized variance for Sato processes shows that these processes may be suited to option contracts on realized volatility. Nonlinear pricing principles based on h...

Der vorliegende Beitrag präsentiert neueste Ergebnisse einer Evaluierungsstudie über die Effizienz modellbasierter Verifikationsansätze im Hinblick auf Anzahl und Art erkennbarer Fehler. Ein seit kurzem einsatzbereites Werkzeug zur vollautomatischen modellbasierten Testfallerzeugung lieferte hierfür ein wertvolles Forschungsinstrument, das in Bezug auf die Aufdeckung von Modellierungsfehlern un...

Das Fehlermachen ist ein vermutlich individueller Prozess. Auf dieser Annahme basierend hat der Persönliche Softwareprozess (PSP) [Hum95] eine Methode entwickelt, die eine systematische Analyse der eigenen Fehler bietet. Diese findet mittels konsequent geführter Aufzeichnungen statt, neben der eigentlichen Programmierarbeit. Manuelle Aufzeichnungen sind jedoch häufig fehlerhaft und dermaßen auf...

Wir diskutieren die Verwendung einer domänenund aufgabenspezifischen Modellierung im Rahmen der Anlagendiagnose von Bahnautomatisierungssystemen. Aus Randbedingungen wie der Variabilität der Prozesse, der Komplexität und Exponiertheit der Anlagen und den geforderten Kennzahlen für die Instandsetzung ergibt sich die Notwendigkeit, spezifische Diagnosemodelle zu erstellen, die sich auf Fehler, Sy...

background: this study quantified the effect of four popular culture media in a biodiesel production study on the qualitative and quantitative lipid content, dry biomass, and lipid productivity of nannochloropsis oculata. methods: culture of microalgae was done separately in walne, f/2, sato, and tmrl media. in the logarithmic and stationary growth phases, biomass production and lipid accumulat...

We study the extension of integrable equations which possess the Lax representations to noncommutative spaces. We construct various noncommutative Lax equations by the Lax-pair generating technique and the Sato theory. The Sato theory has revealed essential aspects of the integrability of commutative soliton equations and the noncommutative extension is worth studying. We succeed in deriving va...