Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
The Ada paradox(es)
Proceedings of the 2008 ACM annual international conference on sigada annual international conference, 2008, p.11-12
2008
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language
2011
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
An Invitation to Ada 2005
Reliable Software Technologies -- Ada-Europe 2003, 2003, Vol.2655
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Quasar: A New Tool for Concurrent Ada Programs Analysis
Reliable Software Technologies -- Ada-Europe 2003, 2003, Vol.2655
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Normalized Restricted Random Testing
Reliable Software Technologies -- Ada-Europe 2003, 2003, Vol.2655
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95
Reliable Software Technologies -- Ada-Europe 2003, 2003, Vol.2655
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Charles: A Data Structure Library for Ada95
Reliable Software Technologies -- Ada-Europe 2003, 2003, Vol.2655
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation
Reliable Software Technologies -- Ada-Europe 2003, 2003, Vol.2655
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Evidential Volume Approach for Certification
Reliable Software Technologies -- Ada-Europe 2003, 2003, Vol.2655
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Booch's Ada vs. Liskov's Java: Two Approaches to Teaching Software Design
Reliable Software Technologies -- Ada-Europe 2003, 2003, Vol.2655
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Test Environment for High Integrity Software Development
Reliable Software Technologies -- Ada-Europe 2003, 2003, Vol.2655
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Round Robin Scheduling Policy for Ada
Reliable Software Technologies -- Ada-Europe 2003, 2003, Vol.2655
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Software Fault Tolerance: An Overview
Reliable Software Technologies -- Ada-Europe 2003, 2003, Vol.2655
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Organizing Committee
Reliable Software Technologies -- Ada-Europe 2003, 2003, Vol.2655
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Experiences on Developing and Using a Tool Support for Formal Specification
Reliable Software Technologies -- Ada-Europe 2003, 2003, Vol.2655
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Testing Safety Critical Ada Code Using Non Real Time Testing
Reliable Software Technologies -- Ada-Europe 2003, 2003, Vol.2655
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Project
Reliable Software Technologies -- Ada-Europe 2003, 2003, Vol.2655
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Running Ada on Real-Time Linux
Reliable Software Technologies -- Ada-Europe 2003, 2003, Vol.2655
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Reliable Software Technologies – Ada-Europe 2003
Reliable Software Technologies -- Ada-Europe 2003, 2003, Vol.2655
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software
Reliable Software Technologies -- Ada-Europe 2003, 2003, Vol.2655
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Adding Temporal Annotations and Associated Verification to Ravenscar Profile
Reliable Software Technologies -- Ada-Europe 2003, 2003, Vol.2655
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Modules for Crosscutting Models
Reliable Software Technologies -- Ada-Europe 2003, 2003, Vol.2655
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The Standard UML-Ada Profile
Reliable Software Technologies -- Ada-Europe 2003, 2003, Vol.2655
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95
Reliable Software Technologies -- Ada-Europe 2003, 2003, Vol.2655
2003
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Specification for Java
Reliable Software Technologies -- Ada-Europe 2003, 2003, Vol.2655
2003
Link zum Volltext
Verfügbarkeit prüfen
26 – 50 von 70
Suche als RSS-Feed
Aktive Filter
PublikationsformArtikel
ThemaApplied Sciences
Suchergebnisse filtern
Filter anzeigen