MARC record from Internet Archive

LEADER: 04594cam 2200493Ia 4500
001 9922568050001661
005 20150423144357.0
008 061208s2006 gw a 101 0 eng d
010 $a 2006936100
016 7 $a981567444$2GyFmDB
020 $a9783540482659 (pbk.)
020 $a3540482652 (pbk.)
029 0 $aOHX$bhar060137997
029 1 $aYDXCP$b2519213
035 $a(CSdNU)u295396-01national_inst
035 $a(OCoLC)76949447
035 $a(OCoLC)76949447
035 $a(OCoLC)76949447
040 $aOHX$cOHX$dBAKER$dCUS$dDLC$dYDXCP$dOrLoB-B
049 $aCNUM
050 00 $aQA76.9.F38$bW67 2006
072 7 $aQA$2lcco
111 2 $aWorkshop on Rigorous Engineering of Fault-tolerant Systems$d(2005 : $cNewcastle upon Tyne, England)
245 10 $aRigorous development of complex fault-tolerant systems /$cMichael Butler ... [et al.] (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$cc2006.
300 $ax, 402 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in computer science,$x0302-9743 ;$v4157. $aState-of-the-art survey
500 $a"Workshop on Rigorous Engineering of Fault-tolerant Systems, REFT 2005, was held in conjunction with the Formal Methods 2005 conference at Newcastle University"--Pref.
504 $aIncludes bibliographical references and index.
505 0 $aTrain systems / Jean-Raymond Abrial -- Formalising reconciliation in partitionable networks with distributed services / Mikael Asplund and Simin Nadjm-Tehrani -- The fault-tolerant insulin pump therapy / Alfredo Capozucca, Nicolas Guelfi and Patrizio Pelliccione -- Reasoning about exception flow at the architectural level / Fernando Castor Filho, Patrick Henrique da S. Brito and Cecilia Mary F. Rubira -- Are practitioners writing contracts? / Patrice Chalin -- Determining the specification of a control system : an illustrative example / Joey W. Coleman -- Achieving fault tolerance by a formally validated interaction policy / Alessandro Fantechi, Stefania Gnesi and Laura Semini -- F(I)MEA-technique of Web services analysis and dependability ensuring / Anatoliy Gorbenko, Vyacheslav Kharchenko, Olga Tarasyuk and Alexey Furmanov -- On specification and verification of location-based fault tolerant mobile systems / Alexei Iliasov, Victor Khomenko, Maciej Koutny and Alexander Romanovsky -- Formal development of mechanisms for tolerating transient faults / Dubravka Ilic, Elena Troubitsyna, Linas Laibinis and Colin Snook -- Separating concerns in requirements analysis : an example / Daniel Jackson and Michael Jackson -- Rigorous fault tolerance using aspects and formal methods / Shmuel Katz -- Rigorous development of fault-tolerant agent systems / Linas Laibinis, Elena Troubitsyna, Alexei Iliasov and Alexander Romanovsky -- Formal service-oriented development of fault tolerant communicating systems / Linas Laibinis, Elena Troubitsyna, Sari Leppanen, Johan Lilius and Qaisar Ahmad Malik -- Programming-logic analysis of fault tolerance : expected performance of self-stabilisation / Carroll Morgan and Annabelle K. McIver -- Formal analysis of the operational concept for the small aircraft transportation system / Cesar Munoz, Victor Carreno and Gilles Dowek -- Towards a method for rigorous development of generic requirements patterns / Colin Snook, Michael Poppleton and Ian Johnson -- Rigorous design of fault-tolerant transactions for replicated database systems using event B / Divakar Yadav and Michael Butler -- Engineering reconfigurable distributed software systems : issues arising for pervasive computing / Apostolos Zarras, Manel Fredj, Nikolaos Georgantas and Valerie Issarny -- Tools for developing large systems (a proposal) / Jean-Raymond Abrial -- Why programming languages still matter / Peter Amey.
650 0 $aFault-tolerant computing$vCongresses.
650 0 $aComputer software$xReliability$vCongresses.
650 0 $aElectronic digital computers$xReliability$vCongresses.
650 0 $aFormal methods (Computer science)$vCongresses.
700 1 $aButler, Michael,$d1967-
830 0 $aLecture notes in computer science ;$v4157.
830 0 $aLecture notes in computer science.$pState-of-the-art survey.
938 $aOtto Harrassowitz$bHARR$nhar060137997$c71.52 USD
938 $aBaker & Taylor$bBKTY$c69.95$d69.95$i3540482652$n0007088257$sactive
938 $aYBP Library Services$bYANK$n2519213
947 $fSOET-TEC$hCIRCSTACKS$p$66.45$q1
949 $aQA 76.9.F38 W67 2006$i31786102108807
994 $a92$bCNU
999 $aQA 76.9 .F38 W67 2006$wLC$c1$i31786102108807$lCIRCSTACKS$mNULS$rY$sY $tBOOK$u4/9/2007