Synonyme wurden verwendet für:
Softwareentwicklung
Suche ohne Synonyme:
keywords:("Softwareentwicklung")
Zusicherungen und Laufzeit-Überwachungen in der modellbasierten Software-Entwicklung
Wirtschaftlichkeit und Entwicklungsprozess für Elektronik-Komponenten im Kfz
What software engineering can learn from practitioners
Wege zur Beherrschung der wachsenden Systemkomplexität in der Automobil-Software
Von Simulink nach OSEK: Automatische Codegenerierung für Echtzeitbetriebssysteme mit TargetLink
Vom modellbasierten Architekturentwurf über die Simulation verteilter Systeme zum Serienprojekt
Vom Design zum Code; ein durchgängiger Ansatz (DECOS)
Virtuelles AM-Radio zur subjektiven Empfangsbeurteilung
Virtuelle Absicherung von Fahrerassistenzfunktionen
Virtuelle Absicherung von Fahrassistenzsystemen und Gesamtfahrzeugarchitekturen
Virtual co-verification of automotive embedded systems
VirSim, a simulated environment for developing multitask software of satellite
Villa: Software- und Datenvarianten sicher produzieren
VHDL and top-down methods prove successful in automotive electronic design
Vertical commonality through the use of Ada in ATE systems
Verteilte Simulationen für automotive Anwendungen
Versions- und Änderungsmanagement in der Kfz-Zulieferindustrie
Verification of the redundancy management system for space launch vehicle: a case study
Verification of Solid State Interlocking Programs
Verification of Scheme Plans Using CSP||B
Verification of PLC programs using formal proof techniques
Verification and validiation of IRAS on-board software
Vehicle functionality - Why we need a structured development process
Variantenkonfiguration Modell-basierter Embedded Software
Validierung einer integrierenden Software-Plattform für sicherheitskritische Bahnsysteme
Validation of Railway Interlocking Systems by Formal Verification, A Case Study
Validation of mission critical software design and implementation using model checking (spacecraft)
Validation and Test of Complex Weapons Systems
Utilizing Event-B for domain engineering: a critical analysis
Using views for modeling automotive function nets
Using the 3T architecture for tracking Shuttle RMS procedures
Using specification-driven concepts for distributed data management and dissemination
Using signal-oriented feature trees for model-based automotive functions
Using Knowledge Exchange Workshops to analyze the DLR Software Engineering Community
Use of a digital computer in an integrated propulsion control system
UML/MDA reality check : heterogeneous architecture styles
UML basierte Geräteprofile für Schienenfahrzeuge mit Profinet IO
Twenty-Five Years of Formal Methods and Railways: What Next?