Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 38 matches
- 1996
- Marcel Toussaint:
Ada in Europe, Second International Eurospace - Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995, Proceedings. Lecture Notes in Computer Science 1031, Springer 1996, ISBN 3-540-60757-9 [contents] - 1995
- A. Alapide, S. Candia, M. Cinella, S. Quaranta:
Applying Teamwork/Ada and RAISE for Developing an Air Traffic Control Application. Ada-Europe 1995: 331-343 - Paul A. Bailes, Paul Burnim, Murray Chapman, Eric J. Salzman:
KBSE and Ada - Object and Enabling Technology. Ada-Europe 1995: 152-163 - Stéphane Barbey:
Testing Ada 95 Object-Oriented Programs. Ada-Europe 1995: 406-418 - Marco Battaglia, Giancarlo Savoia:
ReverseNICE: A Re-Engineering Methodology and Supporting Tool. Ada-Europe 1995: 244-248 - F. Battini, P. L. Mantovani, Marco Mattavelli:
Evaluation of a SPARC Board Equipped with the Ada Tasking Coprocessor (ATAC). Ada-Europe 1995: 379-388 - Tim Birus, Paul Knueven, Ed Kuzemchak, Jack Rosenzweig, Joyce L. Tokar:
Extending the Ada 95 Initial Conditions for Preelaboration for Use in Real-Time Systems. Ada-Europe 1995: 164-169 - Lars Björnfot:
Ada and Timed Automata. Ada-Europe 1995: 389-405 - François Bossard:
Periodic Processing in Hard Real-Time Systems: Assessment of Different Design Models in Ada. Ada-Europe 1995: 355-364 - Rupert Brown:
The Practical Application of Safety Techniques on an Ada Based Project. Ada-Europe 1995: 51-57 - Didier Buchs, C. Buffard, Pascal Racloz:
Modeling and Validation of Tasks with Algebraic Structured Nets. Ada-Europe 1995: 284-297 - Jørgen Bundgaard:
An ANDF Based Ada 95 Compiler System. Ada-Europe 1995: 81-98 - Zièd Choukair, Yvon Kermarrec:
Distributed Object Oriented Programming and Interoperability for Ada 95: An OMG/CORBA Approach. Ada-Europe 1995: 217-227 - Pete Cornwell, Andy J. Wellings:
Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOOD. Ada-Europe 1995: 365-378 - Martin Croxford, James Sutton:
Breaking Through the V and V Bottleneck. Ada-Europe 1995: 344-354 - P. David, T. Planche, A. Corrégé, J.-F. Chane:
Developing Fault Tolerant Software in Ada for Real-Time Dependable Systems. Ada-Europe 1995: 21-50 - B. Davies, Derek A. Rothwell:
The Use of Ada for the ENVISAT-1 Simulator. Ada-Europe 1995: 170-177 - D. De Gabaï:
LAMPBADA: Logiciel d'Aide à la Mise au Point de Bibliothèques Ada (Ada Libraries Validation Tool). Ada-Europe 1995: 444-455 - Anthony B. Gargaro, Yvon Kermarrec, Laurent Pautet, Samuel Tardieu:
PARIS - Partitioned Ada for Remotely Invoked Services. Ada-Europe 1995: 191-205 - Rainer Gerlich, Mladen Kerep:
Distributed and Parallel Systems and HOOD 4. Ada-Europe 1995: 228-243 - Finn Hass:
Round Table Discussion: "Tools and Design Methods". Ada-Europe 1995: 439-443 - Maurice Heitz:
Achieving Reusable and Reliable Client-Server Code using HOODTM Automated Code Generation for ADA95 and C++ Targets. Ada-Europe 1995: 419-438 - Jean-François Kaufeler:
Ada: A Sceptical Assessment. Ada-Europe 1995: 1-3 - Magnus Kempe:
Heterogeneous Data Structures and Cross-Classification of Objects with Ada95. Ada-Europe 1995: 71-80 - Yvon Kermarrec, Laurent Pautet:
Programming Distributed Systems with Both Ada 95 and PVM. Ada-Europe 1995: 206-216 - André Laurens:
PRONAOS Ground Control Center: First Operational Ada Application in C.N.E.S. Ada-Europe 1995: 124-138 - Karlotto Mangold:
Ada95 - An Approach to Overcome the Software Crisis? Ada-Europe 1995: 4-10 - Andrew Matthewman:
ECLIPS - A Successful Experiment Combining CCSDS SFDUs, X/Motif, HOOD and Ada. Ada-Europe 1995: 311-330 - Kor Molenmaker:
Objects at Use in Nautical Simulators. Ada-Europe 1995: 178-186 - Jean-Noel Monfort, Vinh Qui Ribal:
Ariane 5: Development of the On-Board Software. Ada-Europe 1995: 111-123
skipping 8 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-05-12 07:37 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint