Towards Rapid Re-Certification Using Formal Analysis

Outline. 1. Problem Overview: Why is software (re)certification hard? What s the risk? 2. What kind of solution is needed? 3. Technical Background. 4. Approach, Running Example. Conflict Detection, Reconciliation. 5. Recertification Triggers. 6. Does it scale? 7. Future Work. Presented at the 12th A...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Smullen, Daniel, Breaux, Travis
Format:	Report
Sprache:	eng
Schlagworte:	AUTOMATION BRIEFING CHARTS Computer Programming and Software COMPUTER PROGRAMS CONFLICT DATA PROCESSING DETECTION Information Science RISK SCALE SOLUTIONS(GENERAL) SYMPOSIA
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!