ToussaintSecond International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995
Ada in Europe
Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995
Mitarbeit:Toussaint, Marcel
ToussaintSecond International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995
Ada in Europe
Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995
Mitarbeit:Toussaint, Marcel
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
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.
Andere Kunden interessierten sich auch für
- HardyReliable Software Technologies - Ada-Europe '9742,99 €
- ToussaintAda in Europe42,99 €
- StrohmeierReliable Software Technologies - Ada Europe 9642,99 €
- Alfred Strohmeier / Dirk Craeynest (eds.)Reliable Software Technologies - Ada-Europe 200142,99 €
- Tullio Vardanega / Andy Wellings (eds.)Reliable Software Technology - Ada-Europe 200542,99 €
- Hubertus B. Keller / Erhard Plödereder (eds.)Reliable Software Technologies Ada-Europe 200042,99 €
- Jean-Pierre Rosen / Alfred Strohmeier (eds.)Reliable Software Technologies -- Ada-Europe 200342,99 €
-
-
-
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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Produktdetails
- Produktdetails
- Lecture Notes in Computer Science 1031
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-60757-1
- 1996.
- Seitenzahl: 476
- Erscheinungstermin: 10. Januar 1996
- Englisch
- Abmessung: 235mm x 155mm x 26mm
- Gewicht: 704g
- ISBN-13: 9783540607571
- ISBN-10: 3540607579
- Artikelnr.: 09246008
- Herstellerkennzeichnung
- Books on Demand GmbH
- In de Tarpen 42
- 22848 Norderstedt
- info@bod.de
- 040 53433511
- Lecture Notes in Computer Science 1031
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-60757-1
- 1996.
- Seitenzahl: 476
- Erscheinungstermin: 10. Januar 1996
- Englisch
- Abmessung: 235mm x 155mm x 26mm
- Gewicht: 704g
- ISBN-13: 9783540607571
- ISBN-10: 3540607579
- Artikelnr.: 09246008
- Herstellerkennzeichnung
- Books on Demand GmbH
- In de Tarpen 42
- 22848 Norderstedt
- info@bod.de
- 040 53433511
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.
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.