LEADER 04876nam 22006495 450 001 996465758403316 005 20200629135005.0 010 $a3-540-47240-1 024 7 $a10.1007/3-540-55585-4 035 $a(CKB)1000000000233831 035 $a(SSID)ssj0000320803 035 $a(PQKBManifestationID)11231139 035 $a(PQKBTitleCode)TC0000320803 035 $a(PQKBWorkID)10257868 035 $a(PQKB)11146284 035 $a(DE-He213)978-3-540-47240-7 035 $a(PPN)155231421 035 $a(EXLCZ)991000000000233831 100 $a20121227d1992 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAda: Moving Towards 2000$b[electronic resource] $e11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992. Proceedings /$fedited by Jan van Katwijk 205 $a1st ed. 1992. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1992. 215 $a1 online resource (VIII, 328 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v603 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-55585-4 327 $aDistributed application designed using MASCOT and implemented in Ada -- Real time Ada in the International Space Station freedom -- Managing Ada object-oriented development -- Software engineering, Ada and metrics -- Using Ada source code generators in a large project -- Design and code metrics through a DIANA-based tool -- Using ADA in integrating ATC systems -- An evaluation of ADA source code reuse -- Porting embedded real-time ADA software -- Reusable executives for hard real-time systems in Ada -- Designing hard real-time systems -- Runtime system support for data-oriented synchronization in Ada-9X -- Decimal arithmetic in Ada -- Task Dependence Net as a representation for concurrent Ada programs -- Detection and avoidance of elaboration-time problems for multi-unit real-time Ada applications -- Simulation of Mosca specifications in Ada -- Considerations with regard to validation of Ada debuggers -- SWG APSE test support toolset (assessment of the CAIS-A interface set) -- Compilation Integration: A solution for the challenge of developing and reusing ada software on different platforms -- Extending working environments for the development of reactive/adaptive systems with intelligent controls -- Predicting the speedup of parallel Ada programs -- A highly parallel Ada task scheduler -- STRAda An Ada transformation and distribution system -- AMPATS A multi processor Ada tool set -- A practical use of the Ada Rendez-Vous paradigm in distributed systems. 330 $aSoftware engineering and the language Ada are playing a major role in the development of software and software technology for the new century. The11th Ada Europe conference shows that Ada has matured from a language, mainly of researchers and academics in the early 1980s, into a full-grown tool in software engineering practice. This volume contains a selection of contributions to the conference. They demonstrate that Ada is very beneficially used in many software development projects and is gradually becoming accepted on the scale it deserves. Papers have been selected that show that Ada is indeed ripened in all aspects of software engineering. A variety of topics is addressed: management, economics, practical experiences, numerics, and the use of Ada for real-time and distributed systems. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v603 606 $aProgramming languages (Electronic computers) 606 $aSoftware engineering 606 $aComputer programming 606 $aOperating systems (Computers) 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 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 615 0$aProgramming languages (Electronic computers). 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aOperating systems (Computers). 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aOperating Systems. 676 $a005.13/3 702 $aKatwijk$b Jan van$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aAda-Europe International Conference 906 $aBOOK 912 $a996465758403316 996 $aAda: Moving Towards 2000$92830683 997 $aUNISA