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...
Αποθηκεύτηκε σε:
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Livre numérique |
| Γλώσσα: | Anglais |
| Έκδοση: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Σειρά: | Lecture notes in computer science
1031 |
| Θέματα: | |
| Διαθέσιμο Online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Σημείωση: |
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 |
| LEADER | 05370nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 945094 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155214411 | ||
| 020 | |a 9783540493624 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Eurospace Ada-Europe Symposium |n (02 |d :1995 |c :Francfort-sur-le-Main, Allemagne). | |
| 245 | 1 | 0 | |a Ada in Europe : |b Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995 : proceedings |c [edited by] Marcel Toussaint. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1031 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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, design methods, life cycle, real-time, and methods. Many significant features of the new Ada 95 version, officially issued in February 1995, are addressed. Besides Ada-specific problems, general software engineering aspects are also presented. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Systèmes d'exploitation (ordinateurs) | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Ada (langage de programmation) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Toussaint, Marcel. |4 pbd | |
| 776 | 0 | |0 02476857X |t Ada in Europe |o Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995 |o proceedings |f Marcel Toussaint, ed |d 1996 |c Berlin |n Springer |p 1 vol. (XI-455 p.) |s Lecture notes in computer science |z 3-540-60757-9 | |
| 776 | 0 | |t Ada in Europe |b Texte imprimé |z 9783662208892 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0015477 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-RTWDJQT1-W |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747913722 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0015477 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750926481 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0015477 |z Accès INSA CVL | |
| 997 | |0 945094 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||