MARC record from Internet Archive

LEADER: 06087cam 22008174a 4500
001 ocm44270318
003 OCoLC
005 20190122020938.0
008 000530s2000 gw a b 101 0 eng
010 $a 00044020
040 $aDLC$beng$cDLC$dOHX$dC#P$dUKM$dUBA$dLVB$dIQU$dBAKER$dNLGGC$dBTCTA$dYDXCP$dOCLCG$dIG#$dZWZ$dDEBBG$dOCLCQ$dOCLCF$dOCLCQ$dOCLCO$dNAM$dOCL$dOCLCO$dOCLCQ$dOCLCO$dOCLCQ$dOCLCO$dBUF$dCEF$dFQG$dOCLCQ$dOCLCA
015 $aGBA047334$2bnb
016 7 $a007758369$2Uk
019 $a44653170$a56662520
020 $a3540676694$q(softcover ;$qalk. paper)
020 $a9783540676690$q(softcover ;$qalk. paper)
035 $a(OCoLC)44270318$z(OCoLC)44653170$z(OCoLC)56662520
042 $apcc
050 00 $aQA76.76.R44$bA33 2000
072 7 $aQ$2lcco
082 00 $a005.13/3$221
084 $a54.51$2bcl
084 $aSS 4800$2rvk
084 $aDAT 356f$2stub
111 2 $aAda-Europe International Conference$n(5th :$d2000 :$cPotsdam, Germany)
245 10 $aReliable software technologies Ada-Europe 2000 :$b5th Ada-Europe International Conference, Potsdam, Germany, June 26-30 2000 : proceedings /$cHubert B. Keller, Erhard Plo dereder.
260 $aBerlin ;$aNew York :$bSpringer,$c℗♭2000.
300 $axiii, 304 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 1 $aLecture notes in computer science ;$v1845
504 $aIncludes bibliographical references and index.
505 0 $aSupport of Technology Development in the Information Society / Rainer Zimmermann -- Kingcat MCAS -- Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and Java / Reto Weiss -- Ada after 10 Years of Usage -- Is There a Commercial Future? / Bryan Pflug -- An Open Ravenscar Real-Time Kernel for GNAT / Juan A. de la Puente, Jose F. Ruiz and Juan Zamorano -- Object-Oriented Programming and Protected Objects in Ada 95 / Andy J. Wellings, Bob Johnson and Bo Sanden / [and others] -- Is an Ada Lint Necessary? / Bjorn Kallberg -- Using Java APIs with Native Ada Compilers / Shayne Flint and Brian Dobbing -- Static Worst-Case Execution Time Analysis of Synchronous Programs / Thomas Ringler -- A Supporting Tool for Development of Self-Measurement Ada Programs / Yusuke Nonaka, Jingde Cheng and Kazuo Ushijima -- On Persistent and Reliable Streaming in Ada / Jorg Kienzle and Alexander Romanovsky -- Reengineering the Booch Component Library / Jordi Marco and Xavier Franch -- GtkAda: Design and Implementation of a High Level Binding in Ada / Emmanuel Briot, Joel Brobecker and Arnaud Charlet -- ASIS-for-GNAT: A Report of Practical Experiences / Sergey Rybin, Alfred Strohmeier and Vasiliy Fofanov / [and others] -- Generation of Interface Design Description Documents Using ASIS / Steven V. Hovater, William Marksteiner and Allen Butturini -- An Ada95 Programming Style Checker Using the GNAT ASIS Implementation / Patrick Closhen and Hans-Jurgen Hoffmann -- Enhancements in Software Project Risk Management / Peter Wieland, Frode Hegberg and Kristin Stromseng -- Constructing Reliable Embedded Systems Using the Results of System Safety Analysis / Giuseppe Mauri and Stefan Scheer -- An Application of the Chains-of-Rare-Events Model to Software Development Failure Prediction / Nestor R. Barraza, Jonas D. Pfefferman and Bruno Cernuschi-Frias / [and others] -- Analysis, Design and Implementation of an Object-Oriented Framework in Ada95 / Detlef Schmitt -- MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project / Thierry Lacomme, Severine Carles and Agusti Canals / [et al.] -- Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs / Johann Blieberger, Bernd Burgstaller and Bernhard Scholz -- Exceptions on OO Languages: Using Them and Reasoning about Them / Neelam Soundarajan and Stephen Fridella -- (True) Polymorphism in SPARK2000 / Tse-Min Lin and John A. McDermid -- Improving the Reliability of Object-Oriented Software through Object-Level Behavioral Simulation / Mahesh Deshpande, Frank Coyle and Jeff Tian -- Results of an Investigation into Software Integration Testing Automation / Simon Kiteley and Jonathan Draper -- On the Minimal Essential Subsets and Minimal Representative Sets / T.Y. Chen and M.F. Lau.
650 0 $aComputer software$xReliability$vCongresses.
650 6 $aLogiciels$xFiabilite $xCongre s.
650 7 $aComputer software$xReliability.$2fast$0(OCoLC)fst00872585
650 17 $aProgrammatuurtechniek.$2gtt
650 17 $aADA.$2gtt
650 7 $aAda$2gnd
650 7 $aSoftwareentwicklung$2gnd
650 7 $aZuverla ssigkeit$2gnd
650 7 $aKongress$2gnd
650 7 $aEngenharia de programacao (software)$2larpcal
650 7 $aLogiciels$xFiabilite $xCongre s.$2ram
650 7 $aAda (langage de programmation)$xCongre s.$2ram
650 07 $aADA.$2swd
655 4 $aKongress$zPotsdam$y2000.
655 7 $aConference papers and proceedings.$2fast$0(OCoLC)fst01423772
655 7 $aPotsdam (2000)$2swd
700 1 $aKeller, H. B.$q(Hubert B.)
700 1 $aPlo dereder, Erhard.
830 0 $aLecture notes in computer science ;$v1845.
856 41 $zTo connect to online$uhttp://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=1845
856 42 $3Publisher description$uhttp://catdir.loc.gov/catdir/enhancements/fy0812/00044020-d.html
938 $aBaker & Taylor$bBKTY$c69.95$d69.95$i3540676694$n0003551196$sactive
938 $aBaker and Taylor$bBTCP$n00044020
938 $aOtto Harrassowitz$bHARR$nhar005128426
938 $aIngram$bINGR$n9783540676690
938 $aYBP Library Services$bYANK$n1685713
029 1 $aAU@$b000021593634
029 1 $aAU@$b000021665580
029 1 $aDEBBG$bBV013190297
029 1 $aIG#$b9783540676690
029 1 $aNLGGC$b195416341
029 1 $aNZ1$b5746151
029 1 $aOHX$bhar005128426
029 1 $aYDXCP$b1685713
029 1 $aZWZ$b05192496X
994 $aZ0$bP4A
948 $hNO HOLDINGS IN P4A - 142 OTHER HOLDINGS