Erscheinungsjahr
Medientyp
Datenquelle
Format
Lizenz
Sprache
Synonyme wurden verwendet für: Software • Software engineering • engineering
Suche ohne Synonyme: keywords:(Software engineering)
Verwendete Synonyme:
- computer software
Verwendete Synonyme:
- programmentwicklung
- programmentwurf
- software technik
- software technique
- software technology
- softwareentwicklung
- softwareentwurf
- softwaretechnik
- softwaretechnologie
Verwendete Synonyme:
- industrielle technik
- ingenieurwesen
- ingenieurwissenschaft
- ingenieurwissenschaften
- technik
- technikwissenschaften
- technique
- technische wissenschaften
-
The software model checker Blast
Applications to software engineeringSpringer Verlag | 2007|Schlagwörter: Software verification, Software specification, Software Engineering/Programming and Operating Systems, Software Engineering -
Differential Monitoring
Springer Verlag | 2021|Schlagwörter: Software engineering, Software Engineering/Programming and Operating Systems -
Into the unknown: active monitoring of neural networks (extended version)
Freier ZugriffSpringer Verlag | 2023|Schlagwörter: Software Engineering, Software Engineering/Programming and Operating Systems -
Synthesis of AMBA AHB from formal specification: a case study
Springer Verlag | 2011|Schlagwörter: Software Engineering, Software Engineering/Programming and Operating Systems -
Vamos: Middleware for Best-Effort Third-Party Monitoring
Freier ZugriffSpringer Verlag | 2023|Schlagwörter: Software Engineering/Programming and Operating Systems -
Better Quality in Synthesis through Quantitative Objectives
Freier ZugriffSpringer Verlag | 2009|Schlagwörter: Software Engineering/Programming and Operating Systems, Software Engineering -
Preface of the Special Issue in Memoriam Helmut Veith
Freier ZugriffSpringer Verlag | 2017|Schlagwörter: Engineering, Electrical Engineering, Computer-Aided Engineering (CAD, CAE) and Design, Software Engineering/Programming and Operating Systems -
Interface-Based Design
Springer Verlag | 2005|Schlagwörter: Software engineering, Software Engineering -
Alpaga: A Tool for Solving Parity Games with Imperfect Information
Freier ZugriffSpringer Verlag | 2009|Schlagwörter: Software Engineering/Programming and Operating Systems, Software Engineering -
The BLAST Software Verification System
Springer Verlag | 2005|Schlagwörter: Software Engineering/Programming and Operating Systems, Software Engineering -
HYTECH: a model checker for hybrid systems
NationallizenzSpringer Verlag | 1997|Schlagwörter: Software Engineering, Software Engineering/Programming and Operating Systems -
Forward Analysis of Depth-Bounded Processes
Freier ZugriffSpringer Verlag | 2010|Schlagwörter: Software Engineering/Programming and Operating Systems, Software Engineering -
From non-preemptive to preemptive scheduling using synchronization synthesis
Freier ZugriffSpringer Verlag | 2016|Schlagwörter: Engineering, Electrical Engineering, Computer-Aided Engineering (CAD, CAE) and Design, Software Engineering/Programming and Operating Systems -
Monitoring Event Frequencies
Freier ZugriffDataCite | 2020|Schlagwörter: Software and its engineering → Software organization and properties -
Finitary Winning in ω-Regular Games
Freier ZugriffSpringer Verlag | 2006|Schlagwörter: Software Engineering/Programming and Operating Systems, Software Engineering -
2011 CAV award announcement
Springer Verlag | 2012|Schlagwörter: Software verification, Engineering, Computer-Aided Engineering (CAD, CAE) and Design, Electrical Engineering, Software Engineering/Programming and Operating Systems -
Into the Unknown: Active Monitoring of Neural Networks
Springer Verlag | 2021|Schlagwörter: Software Engineering/Programming and Operating Systems -
A survey of partial-observation stochastic parity games
Springer Verlag | 2012|Schlagwörter: Engineering, Electrical Engineering, Computer-Aided Engineering (CAD, CAE) and Design, Software Engineering/Programming and Operating Systems -
Assume-Guarantee Synthesis
Freier ZugriffSpringer Verlag | 2007|Schlagwörter: Software Engineering/Programming and Operating Systems, Software Engineering -
Software Verification with BLAST
Springer Verlag | 2003|Schlagwörter: Software Engineering/Programming and Operating Systems, Software Engineering
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.