Ada in Europe : Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995 : proceedings
This book presents the refereed proceedings of the Second International Eurospace - Ada-Europe Symposium, held in Frankfurt, Germany, in October 1995. The 37 selected revised papers are organized in sections on Ada 95: the future, safety, language, applications, distribution, methods and tools, desi...
Spremljeno u:
| Autor kompanije: | |
|---|---|
| Daljnji autori: | |
| Format: | Livre numérique |
| Jezik: | Anglais |
| Izdano: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serija: | Lecture notes in computer science
1031 |
| Teme: | |
| Online pristup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Bilješka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Ada in Europe, Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995, proceedings, Marcel Toussaint, ed, 1996, Berlin, Springer, 1 vol. (XI-455 p.), Lecture notes in computer science, 3-540-60757-9 • Ada in Europe, Texte imprimé, 9783662208892 |
Sadržaj:
- Ada: A sceptical assessment
- Ada95 An approach to overcome the software crisis?
- Safe Ada Executive: An executive for Ada safety critical applications
- Developing fault tolerant software in Ada for real-time dependable systems
- The practical application of safety techniques on an Ada based project
- Ada in mixed language applications
- Heterogeneous data structures and cross-classification of objects with Ada 95
- An ANDF based Ada 95 compiler system
- Performance tuning of a check-out system coded in Ada
- Ariane 5: Development of the on-board software
- PRONAOS ground control center: First operational Ada application in C.N.E.S.
- ASIS for GNAT: Goals, problems and implementation strategy
- KBSE and Ada: Object and enabling technology
- Extending the Ada 95 initial conditions for preelaboration for use in real-time systems
- The use of Ada for the ENVISAT-1 simulator
- Objects at use in nautical simulators
- DIS An interface to distributed interactive simulation
- PARIS Partitioned Ada for Remotely Invoked Services
- Programming distributed systems with both Ada 95 and PVM
- Distributed object oriented programming and interoperability for Ada 95: An OMG/CORBA approach
- Distributed and parallel systems and HOOD4
- ReverseNICE: A re-engineering methodology and supporting tool
- Translating Shlaer/Mellor Object-Oriented Analysis Models into Ada 95
- The introduction of an Object Oriented Analysis/Design method and Object Oriented Metrics in the software development life-cycle
- Modelling and validation of tasks with algebraic structured nets
- Design of concurrent software based on problem concurrency
- ECLIPS A successful experiment combining CCSDS SFDUs, X/Motif, HOOD and Ada
- Applying Teamwork/Ada and RAISE for developing an Air Traffic Controlapplication
- Breaking through the V and V bottleneck
- Periodic processing in hard real-time systems: Assessment of different design models in Ada
- Transaction specification for object-oriented real-time systems in HRT-HOOD
- Evaluation of a SPARC board equipped with the Ada Tasking Coprocessor (ATAC)
- Ada and timed automata
- Testing Ada 95 object-oriented programs
- Achieving reusable and reliable client-server code using HOODTM automated code generation for ADA95 and C++ targets
- Round table discussion: Tools and design methods held on October 4, 1995
- Lampbada.