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 03772 am 2200721 n 450 001 9910342656003321 005 20190607 010 $a2-7535-6672-0 024 7 $a10.4000/books.pur.100931 035 $a(CKB)4100000009526208 035 $a(FrMaCLE)OB-pur-100931 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/46512 035 $a(PPN)267959567 035 $a(EXLCZ)994100000009526208 100 $a20191011j|||||||| ||| 0 101 0 $afre 135 $auu||||||m|||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aEntre mémoire collective et histoire officielle $eL'histoire du temps présent en Amérique latine /$fLuc Capdevila, Frédérique Langue 210 $aRennes $cPresses universitaires de Rennes$d2019 215 $a1 online resource (282 p.) 311 $a2-7535-0885-2 330 $aCet ouvrage explore les différentes approches menées en histoire du temps présent latino-américain par des historiens, des sociologues, des anthropologues d'Europe et d'Amérique latine. Si la violence des années de guerre froide a marqué en profondeur cette partie du continent, le XIXe siècle des indépendances et de la formation républicaine comme le passé colonial ne sont pas pour autant absents. Bien au contraire, ces moments anciens demeurent intensément constitutifs du passé/présent qui travaille ces sociétés. En effet, le processus d'ouverture et de renouvellement politique qui s'affirme aujourd'hui en Amérique latine favorise conjointement un mouvement de démocratisation de la relation au passé et dans l'écriture de l'histoire. Les mémoires indiennes, l'enquête orale, la transmission du souvenir par le théâtre alternatif participent de ces nombreuses voies qui expérimentent la démocratisation de l'histoire. Entre mémoire collective et histoire officielle analyse ainsi la relation que ces sociétés construisent aujourd'hui avec un passé/présent inscrit dans la longue durée, où cohabitent les héros plus que les victimes, où comme on l'observe par ailleurs dans l'Espagne contemporaine la mémoire individuelle et collective est davantage perçue comme un droit et non comme un devoir, dans la perspective de pouvoir vivre ensemble. 606 $aHistory 606 $amémoire historique 606 $amémoire collective 606 $aAmérique latine 606 $ahistoire des mentalités 610 $aAmérique latine 610 $ahistoire des mentalités 610 $amémoire historique 610 $amémoire collective 615 4$aHistory 615 4$amémoire historique 615 4$amémoire collective 615 4$aAmérique latine 615 4$ahistoire des mentalités 700 $aAlbarrán$b Daniela$01313565 701 $aArzú$b Marta Casaús$01313566 701 $aBoidin$b Capucine$01287090 701 $aBorgeaud-Garciandía$b Natacha$01313567 701 $aBorras$b Gérard$0914495 701 $aBurgos$b Élizabeth$0184198 701 $aCapdevila$b Luc$0927633 701 $aCaurey$b Elías$01313568 701 $aCombès$b Isabelle$01237352 701 $aGárate$b Manuel$01313569 701 $aJoly$b Maud$01300729 701 $aLangue$b Frédérique$01196123 701 $aOrtiz$b Elio$01313570 701 $aPedro$b Joana Maria$01313571 701 $aRaimondi$b Marta Mariasole$01313572 701 $aRichard$b Nicolas$01292649 701 $aWolff$b Cristina Scheibe$01293443 701 $aCapdevila$b Luc$0927633 701 $aLangue$b Frédérique$01196123 801 0$bFR-FrMaCLE 906 $aBOOK 912 $a9910342656003321 996 $aEntre mémoire collective et histoire officielle$93031430 997 $aUNINA