Nutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLP Tetzner, Elke , 1971- Text theses Text Hochschulschrift 2008 2008 ger electronic resourceremoteComputermedienOnline-Ressourcetext/htmlapplication/pdfOnline-Ressource graph. Darst. Die Dissertation beinhaltet die Sprachen MODEL-HS und VYSMO zur modularen, deklarativen Beschreibung hybrider Systeme, die dem Nachweis zeit- und sicherheitskritischer Eigenschaften für die symbolische Simulation in CLP dienen. Zum Erlangen sprachtheoretischer Erkenntnisse wie Entscheidbarkeit wurden hybride Systeme neu unter formal nachweisbaren Akzeptanzbedingungen definiert, welche durch praktische Beispiele belegt sind. Weitere Ergebnisse sind eine neue Klassifikation hybrider Systeme, ein Werkzeug ROSSY, Anfragebeschreibungen und deren Transformation in temporal-logische Ausdrücke, Anfragemasken und Anwendungen für Studiensysteme und parallele Programme. vorgelegt von Elke Tetzner Rostock, Univ., Fak. f. Informatik u. Elektrotechnik, Diss., 2009 004 http://rosdok.uni-rostock.de/resolve?urn=urn:nbn:de:gbv:28-diss2009-0057-3 http://rosdok.uni-rostock.de/resolve?urn=urn:nbn:de:gbv:28-diss2009-0057-3&pdf http://nbn-resolving.de/urn:nbn:de:gbv:28-diss2009-0057-3 Nutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLP--(DE-627)595033644 urn:nbn:de:gbv:28-diss2009-0057-3 oclc: 370886304 ppn: (DE-627)595322611