Ada in Europe : Second International Eurospace-Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995 : proceedings

Marcel Toussaint (ed.)

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.

「Nielsen BookData」より

[目次]

  • 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 Control application.- 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.

「Nielsen BookData」より

この本の情報

書名 Ada in Europe : Second International Eurospace-Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995 : proceedings
著作者等 International Eurospace-Ada Europe Symposium
Toussaint, M.
Toussaint Marcel
シリーズ名 Lecture notes in computer science
出版元 Springer
刊行年月 c1996
ページ数 xi, 455 p.
大きさ 24 cm
ISBN 3540607579
NCID BA26831054
※クリックでCiNii Booksを表示
言語 英語
出版国 ドイツ
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想