LEADER 06038nam 22007215 450 001 996465581503316 005 20200703045041.0 010 $a3-540-49362-X 024 7 $a10.1007/BFb0015477 035 $a(CKB)1000000000234399 035 $a(SSID)ssj0000320801 035 $a(PQKBManifestationID)11254867 035 $a(PQKBTitleCode)TC0000320801 035 $a(PQKBWorkID)10249071 035 $a(PQKB)10073302 035 $a(DE-He213)978-3-540-49362-4 035 $a(PPN)155214411 035 $a(EXLCZ)991000000000234399 100 $a20121227d1996 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAda in Europe$b[electronic resource] $eSecond International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995 /$fedited by Marcel Toussaint 205 $a1st ed. 1996. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1996. 215 $a1 online resource (XII, 464 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1031 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-60757-9 327 $aAda: 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. 330 $aThis 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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1031 606 $aProgramming languages (Electronic computers) 606 $aSoftware engineering 606 $aComputer programming 606 $aOperating systems (Computers) 606 $aSpecial purpose computers 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 615 0$aProgramming languages (Electronic computers). 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aOperating systems (Computers). 615 0$aSpecial purpose computers. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aOperating Systems. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a005.13/3 702 $aToussaint$b Marcel$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Eurospace-Ada-Europe Symposium 906 $aBOOK 912 $a996465581503316 996 $aAda in Europe$91502001 997 $aUNISA LEADER 00894nam a22002291i 4500 001 991004219219707536 005 20030221125720.0 008 020829s1972 it a||||||||||||||||ita 035 $ab1194416x-39ule_inst 035 $aARCHE-003397$9ExL 040 $aDip.to Filologia Ling. e Lett.$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 245 00$aCanti della Resistenza armata in Italia 260 $aMilano :$bEdizioni del Gallo,$c1972 300 $a125 p. :$bill. ;$c17 cm 440 2$aI canzonieri della protesta ;$v2 650 4$aCanti partigiani$xItalia 907 $a.b1194416x$b02-04-14$c01-04-03 912 $a991004219219707536 945 $aLE008 TS B X 39$g1$i2008000377342$lle008$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i12219034$z01-04-03 996 $aCanti della Resistenza armata in Italia$9913840 997 $aUNISALENTO 998 $ale008$b01-04-03$cm$da $e-$fita$git $h0$i1