Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung (Deutsch)
- Neue Suche nach: Frese, Udo
- Neue Suche nach: Hausmann, Daniel
- Neue Suche nach: Lüth, Christoph
- Neue Suche nach: Täubig, Holger
- Neue Suche nach: Walter, Dennis
- Neue Suche nach: Frese, Udo
- Neue Suche nach: Hausmann, Daniel
- Neue Suche nach: Lüth, Christoph
- Neue Suche nach: Täubig, Holger
- Neue Suche nach: Walter, Dennis
In:
Software Engineering, Fachtagung des GI-Fachbereichs Softwaretechnik, 2008
;
335-338
;
2008
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung
-
Beteiligte:Frese, Udo ( Autor:in ) / Hausmann, Daniel ( Autor:in ) / Lüth, Christoph ( Autor:in ) / Täubig, Holger ( Autor:in ) / Walter, Dennis ( Autor:in )
-
Erschienen in:GI-Edition. Lecture Notes in Informatics (LNI), Proceedings ; 122 ; 335-338
-
Verlag:
- Neue Suche nach: Gesellschaft für Informatik
-
Erscheinungsort:Bonn
-
Erscheinungsdatum:2008
-
Format / Umfang:4 Seiten, 3 Quellen
-
ISBN:
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Deutsch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 88
-
Konzeption eines Austauschformates für AUTOSAR DiagrammeStantchev, Vladimir / Kostrzycki, Dawid et al. | 2008
- 93
-
Defining a timing model for AUTOSAR - Status and challengesRichter, Kai et al. | 2008
- 98
-
The legacy ECU software problem - Approach and research challengesHeinz, Thomas / Schneider, Jörn et al. | 2008
- 103
-
BRIEF: Systematisches Prozess-Briefing und -Debriefing. Ein bei der Erstellung komplexer Automobilsoftware praxiserprobtes Entwicklungsvorgehen, das Elemente klassischer und agiler Modelle kombiniertOmasreiter, Hannes / Schlumpberger, Claudia / Widmann, Lorenz et al. | 2008
- 108
-
Vom modellbasierten Architekturentwurf über die Simulation verteilter Systeme zum SerienprojektOtterbach, Rainer / Niggemann, Oliver et al. | 2008
- 113
-
Model-based design for IEC 61508: Towards translation validation of generated codeConrad, Mirko et al. | 2008
- 118
-
Effizienzsteigerung im Systemtest von Steuergeräten. Eine empirische UntersuchungWiemann, Matthias / Gericke, Jörg et al. | 2008
- 141
-
Integrationsnotwendigkeit im agilen ZeitalterSchiller, Jennifer et al. | 2008
- 149
-
Das Link-System: Von Weblinks zu universellen, sensitiven HyperlinksFischer, Dirk et al. | 2008
- 178
-
Using collaborative business process models for the configuration of distributed workflow environmentsWerth, Dirk / Ziemann, Jörg / Walter, Philipp / Loos, Peter et al. | 2008
- 184
-
MDA und KI: Domänenspezifische Modellierung und Umsetzung wissensintensiver ProzesseKruse, Steffen / Zilinski, Malte / Garbe, Hilke / Möbus, Claus et al. | 2008
- 191
-
Systematische Berücksichtigung von Abhängigkeitsbeziehungen bei ArchitekturentscheidungenWohlfarth, Sven / Riebisch, Matthias et al. | 2008
- 198
-
Grafische Validierungsregeln am Beispiel von EPKsFeja, Sven / Fötsch, Daniel / Stein, Sebastian et al. | 2008
- 212
-
UPPAAL-Modelle als ausführbare Spezifikation in JavaGoedicke, Michael / Balz, Moritz / Striewe, Michael et al. | 2008
- 219
-
Modellgetriebene Integration von AltsystemenHildebrandt, Dieter / Gründler, Michael / Feislachen, Heiner et al. | 2008
- 226
-
Inkrementelle Transformation einer monolithischen GeschäftssoftwareHunold, Sascha / Korch, Matthias / Krellner, Björn / Rauber, Thomas / Reichel, Thomas / Rünger, Gudula et al. | 2008
- 240
-
Relating product line context to requirements engineering processes using design rationaleFricker, Samuel / Stoiber, Reinhard et al. | 2008
- 252
-
Varianten in der Automobilelektronikentwicklung. Herausforderungen und LösungsansätzeBecker, Martin / Weber, Matthias / Wierczoch, Thomas et al. | 2008
- 261
-
Multiple software product lines in automotive software developmentBeher, Uwe / Bönisch, Günter / Heidrich, Mike et al. | 2008
- 285
-
Modellierung von Variabilität in der Geschäftsanalyse - Eine industrielle FallstudieMaßen, Thomas von der / Wübbeke, Andreas et al. | 2008
- 311
-
Safety Critical Java erleichtert die Zertifizierung sicherheitskritischer Echtzeit-AnwendungenHenties, Thomas et al. | 2008
- 323
-
Secure Coding als Bindeglied zwischen formalen Ansätzen, um Safety in Infrastruktur-kritischen Systemen zu gewährleistenKöppl, Wolfgang / Rohrmair, Gordon et al. | 2008
- 329
-
Nachweis von Sicherheitseigenschaften in modellbasierten EntwurfsprozessenPeikenkamp, Thomas et al. | 2008
- 335
-
Zertifizierung einer Sicherungskomponente mittels durchgängig formaler ModellierungFrese, Udo / Hausmann, Daniel / Lüth, Christoph / Täubig, Holger / Walter, Dennis et al. | 2008
- 359
-
Plattformübergreifende funktionale Tests durch GUI-AbstraktionMarkiewicz, Benno / Flemig, Holger / Weicker, Karsten et al. | 2008
- 367
-
Vergleich einer graphenbasierten Methode mit der Klassifikationsbaummethode für die Testfallermittlung anhand einer automotiven FallstudieBeidinger, Friedrich / Hollmann, Axel / Kleinselbeck, Markus / Ritschel, Wolf et al. | 2008
- 375
-
A TTCN-3-based web service test frameworkWerner, Edith / Grabowski, Jens / Troschütz, Stefan / Zeiss, Benjamin et al. | 2008
- 387
-
Test case structuring and execution control in an integration framework for heterogeneous automatic software testsGanser, Andreas / Schackmann, Holger / Lichter, Horst / Schlebusch, Heinz-Josef et al. | 2008
- 395
-
Ein Framework für die Testautomatisierung bei Fahrer-Assistenz-SystemenEntin, Vladimir / Meyer-Wegener, Klaus et al. | 2008
- 399
-
Using UML environment models for test case generationHeisel, Maritta / Hatebur, Denis / Santen, Thomas / Seifert, Dirk et al. | 2008
- 407
-
Glassboxtest zur Testsuite-OptimierungSchmidberger, Rainer et al. | 2008
- 415
-
Automatic generation of optimized integration test data by genetic algorithmsPinte, Florin / Saglietti, Francesca / Oster, Norbert et al. | 2008
- 423
-
Automatic test case generation from UML models and OCL expressionsWeißleder, Stephan / Sokenou, Dehla et al. | 2008
- 427
-
A domain specific language for uncovering abstract protocols and testing message scenariosReichert, Tim / Herzberg, Dominikus et al. | 2008
- 431
-
Path constraint construction with lookaheadGerlich, Ralf et al. | 2008
- 443
-
Static bug detection through analysis of inconsistent clonesJuergens, Elmar / Hummel, Benjamin / Deissenboeck, Florian / Feilkas, Martin et al. | 2008
- 451
-
Assessing relations between non-functional requirementsJaeger, Michael C. / Hoffmann, Anne et al. | 2008
- 457
-
Qualitätsrisiken und deren AbhängigkeitenHerrmann, Andrea et al. | 2008
- 464
-
Erfassung, Strukturierung und Überprüfung von Qualitätsanforderungen durch aktivitätenbasierte QualitätsmodelleWagner, Stefan / Deissenboeck, Florian / Winter, Sebastian et al. | 2008