06038nam 22007215 450 99646558150331620200703045041.03-540-49362-X10.1007/BFb0015477(CKB)1000000000234399(SSID)ssj0000320801(PQKBManifestationID)11254867(PQKBTitleCode)TC0000320801(PQKBWorkID)10249071(PQKB)10073302(DE-He213)978-3-540-49362-4(PPN)155214411(EXLCZ)99100000000023439920121227d1996 u| 0engurnn|008mamaatxtccrAda in Europe[electronic resource] Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995 /edited by Marcel Toussaint1st ed. 1996.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1996.1 online resource (XII, 464 p.) Lecture Notes in Computer Science,0302-9743 ;1031Bibliographic Level Mode of Issuance: Monograph3-540-60757-9 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.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.Lecture Notes in Computer Science,0302-9743 ;1031Programming languages (Electronic computers)Software engineeringComputer programmingOperating systems (Computers)Special purpose computersProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14045Special Purpose and Application-Based Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I13030Programming languages (Electronic computers).Software engineering.Computer programming.Operating systems (Computers).Special purpose computers.Programming Languages, Compilers, Interpreters.Software Engineering/Programming and Operating Systems.Software Engineering.Programming Techniques.Operating Systems.Special Purpose and Application-Based Systems.005.13/3Toussaint Marceledthttp://id.loc.gov/vocabulary/relators/edtInternational Eurospace-Ada-Europe SymposiumBOOK996465581503316Ada in Europe1502001UNISA