Herausforderungen und neue Technologien zur Verifikation nebenläufiger verteilter Systeme
| dc.contributor.author | Santen, Thomas | |
| dc.contributor.editor | Jähnichen, Stefan | |
| dc.contributor.editor | Küpper, Axel | |
| dc.contributor.editor | Albayrak, Sahin | |
| dc.date.accessioned | 2018-11-19T13:24:10Z | |
| dc.date.available | 2018-11-19T13:24:10Z | |
| dc.date.issued | 2012 | |
| dc.description.abstract | Nebenläufige und verteilt arbeitende Softwaresysteme sind nicht neu. Betriebssysteme sind seit mehr als 20 Jahren inhärent nebenläufig. Verteilte Datenbanken werden mindestens genauso lange erfolgreich eingesetzt. Neue Entwicklungen wie Multi- und Many-Core Architekturen, Cloud und Ubiquitous Computing oder die immer größer werdenden Anforderungen an Performanz, Energieeffizienz und andere Qualitätseigenschaften stellen jedoch die Effektivität etablierter Qualitätssicherungstechniken in Frage. Insbesondere ist systematisches Testen immer weniger geeignet, die erforderliche Qualität solcher Systeme adäquat und kosteneffizient zu sichern. In dieser Situation stellen leistungsfähige modellbasierte und formale Verifikationstechniken eine attraktive Alternative dar. Der Vortrag zeigt, wie diese Techniken bereits heute in die industrielle Praxis der Softwareproduktion wirken. | de |
| dc.identifier.isbn | 978-3-88579-292-5 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/18339 | |
| dc.language.iso | de | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Software Engineering 2012 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-198 | |
| dc.title | Herausforderungen und neue Technologien zur Verifikation nebenläufiger verteilter Systeme | de |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 17 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 17 | |
| gi.conference.date | 27. Februar - 2. März 2012 | |
| gi.conference.location | Berlin | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1