Category:LNCS 1031

From BibNetWiki

Lecture Notes in Computer Science, Volume 1031

Articles in category "LNCS 1031"

There are 35 articles in this category.

A ASIS for GNAT: Goals, Problems and Implementation Strategy Ada and Timed Automata Ada in Europe: Second International Eurospace - Ada-Europe Symposium, Frankfurtslash Main, Germany, October 2-6, 1995: proceedings Ada in Mixed Language Applications Ada95 - An Approach to Overcome the Software Crisis? Ada: A Sceptical Assessment An ANDF Based Ada 95 Compiler System Applying Teamworkslash Aria and RAISE for Developing an Air Traffic Control Application Ariane 5: Development of the On-Board Software B Breaking Through the V and V Bottleneck D DIS - An Interface to Distributed Interactive Simulation

D cont. Design of Concurrent Software Based on Problem Concurrency Developing Fault Tolerant Software in Ada for Real-Time Dependable Systems Distributed Object Oriented Programming and Interoperability for Ada 95: An OMGslash CORBA Approach Distributed and Parallel Systems and HOOD 4 E ECLIPS - A Successful Experiment Combining CCSDS SFDUs, Xslash Motif, HOOD and Ada Evaluation of a SPARC board equipped with the Ada Tasking Coprocessor (ATAC) Extending the Aria 95 Initial Conditions for Preelaboration for use in Real-Time Systems H Heterogeneous Data Structures and Cross-Classification of Objects with Ada95 K KBSE and Ada-Object and Enabling Technology M Modeling and Validation of Tasks with Algebraic Structured Nets O Objects at Use in Nautical Simulators P PARIS - Partitioned Ada for Remotely Invoked Services

P cont. PRONAOS Ground Control Center: First Operational Ada Application in C.N.E.S Performance Tuning of a Check-Out System Coded in Ada Periodic Processing in Hard Real-Time Systems: Assessment of Different Design Models in Ada Programming Distributed Systems with Both Ada 95 and PVM R ReverseNICE: A Re-Engineering Methodology and Supporting Tool S Safe Ada Executive: An Executive for Ada Safety Critical Applications T Testing Ada 95 Object-Oriented Programs The Introduction of an Object-Oriented Analysisslash Design Method and Object-Oriented Metrics in the Software Development Life-Cycle The Practical Application of Safety Techniques on an Ada Based Project The Use of Ada for the ENVISAT-l Simulator Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOOD Translating Shlaerslash Mellor Object-Oriented Analysis Models into Ada95