000 05639cam a2201033 a 4500
001 ocn232363540
003 OCoLC
005 20250703144342.0
006 m o d
007 cr cn|||||||||
008 080620s2007 gw a ob 101 0 eng d
040 _aGW5XE
_beng
_epn
_cGW5XE
_dCEF
_dCOD
_dSTF
_dW2U
_dYNG
_dNUI
_dOCLCQ
_dOCLCA
_dOCLCF
_dEBLCP
_dBEDGE
_dVT2
_dOCLCQ
_dOCLCO
_dSLY
_dCOO
_dYDXCP
_dOCL
_dOCLCO
_dOCLCQ
_dOCLCO
_dOCLCQ
_dUAB
_dESU
_dOCLCQ
_dU3W
_dBUF
_dTFW
_dWYU
_dICG
_dOCLCQ
_dOL$
_dOCLCQ
_dAUD
_dWURST
_dOCLCQ
_dEUX
_dOCLCQ
_dCOM
_dOCLCO
_dOCLCQ
_dOCLCL
016 _a2008008222X
019 _a189754313
_a261068042
_a308299931
_a880102397
_a1087006561
_a1238701330
020 _a9783540773955
020 _a3540773959
020 _a9783540773948
_q(pbk.)
020 _a3540773940
_q(pbk.)
024 7 _a10.1007/978-3-540-77395-5
_2doi
024 8 _a9786611342845
029 1 _aAU@
_b000042639040
029 1 _aAU@
_b000043372145
029 1 _aAU@
_b000045233909
029 1 _aHEBIS
_b198461674
029 1 _aNLGGC
_b384377769
029 1 _aNZ1
_b11605787
029 1 _aNZ1
_b13705056
035 _a(OCoLC)232363540
_z(OCoLC)189754313
_z(OCoLC)261068042
_z(OCoLC)308299931
_z(OCoLC)880102397
_z(OCoLC)1087006561
_z(OCoLC)1238701330
037 _a978-3-540-77394-8
_bSpringer
_nhttp://www.springerlink.com
050 4 _aQA76.9.F67
_bR9 2007eb
055 0 2 _aQA76.9*
055 0 0 _aQA76 .9 F67
_bR87 2007
072 7 _aQA
_2lcco
082 0 4 _a004
_222
084 _aTP311-532
_2clc
049 _aMAIN
111 2 _aRV (Workshop)
_n(7th :
_d2007 :
_cVancouver, B.C.)
_925105
245 1 0 _aRuntime verification :
_b7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers /
_cOleg Sokolsky, Serdar Taşiran (eds.).
246 3 0 _aRV 2007
260 _aBerlin ;
_aNew York :
_bSpringer,
_c©2007.
300 _a1 online resource (viii, 213 pages) :
_billustrations
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
490 1 _aLecture notes in computer science,
_x0302-9743 ;
_v4839
490 1 _aLNCS sublibrary. SL 2, Programming and software engineering
504 _aIncludes bibliographical references and index.
505 0 _aInvited paper: PSL for runtime verification : theory and practice / Cindy Eisner -- AOP-related papers -- Core runtime verification papers.
588 0 _aPrint version record.
520 _aThis book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Runtime Verification, RV 2007, held in Vancouver, Canada, in August 2007 as satellite workshop of AoSD 2007, the International Conference on Aspect-Oriented Software Development. The 16 revised full papers presented together with 1 invited paper were carefully selected from 29 initial submissions. The subject covers several technical fields such as specification languages and logics, aspect oriented languages with trace predicates, program instrumentation in general, program guidance in general, combining static and dynamic analysis, and dynamic program analysis. There are 7 papers that focus on aspect-oriented programming followed by 9 papers which place emphasis on core runtime verification.
650 0 _aFormal methods (Computer science)
_vCongresses.
_915679
650 0 _aComputer software
_xVerification
_vCongresses.
_915105
650 0 _aComputer software
_xTesting
_vCongresses.
_918837
650 0 _aAspect-oriented programming
_vCongresses.
_920812
650 6 _aMéthodes formelles (Informatique)
_vCongrès.
_918838
650 6 _aLogiciels
_xVérification
_vCongrès.
_918708
650 0 7 _aComputer software
_xVerification.
_2cct
_91930
650 0 7 _aComputer software
_xTesting.
_2cct
_94794
650 0 7 _aAspect-oriented programming.
_2cct
_920819
650 0 7 _aFormal methods (Computer science)
_2cct
_915635
650 7 _aInformatique.
_2eclas
_914930
650 7 _aAspect-oriented programming.
_2fast
_0(OCoLC)fst01739787
_920819
650 7 _aComputer software
_xTesting.
_2fast
_0(OCoLC)fst00872601
_94794
650 7 _aComputer software
_xVerification.
_2fast
_0(OCoLC)fst00872604
_91930
650 7 _aFormal methods (Computer science)
_2fast
_0(OCoLC)fst00932926
_915635
653 0 0 _ainformatiesystemen
653 0 0 _ainformation systems
653 0 0 _acomputerwetenschappen
653 0 0 _acomputer sciences
653 0 0 _aprogrammeertalen
653 0 0 _aprogramming languages
653 0 0 _asoftware engineering
653 1 0 _aInformation and Communication Technology (General)
653 1 0 _aInformatie- en communicatietechnologie (algemeen)
655 2 _aCongress
_911670
655 7 _aConference papers and proceedings.
_2fast
_0(OCoLC)fst01423772
_96065
655 7 _aConference papers and proceedings.
_2lcgft
_96065
655 7 _aActes de congrès.
_2rvmgf
_9609890
700 1 _aSokolsky, Oleg.
700 1 _aTasiran, Serdar.
_925107
758 _ihas work:
_aRuntime Verification (Online) (Text)
_1https://id.oclc.org/worldcat/entity/E39PCY3fyBJJtGGmfDPpWCKB8y
_4https://id.oclc.org/worldcat/ontology/hasWork
776 0 8 _iPrint version:
_aRV 2007 (2007 : Vancouver, B.C.).
_tRuntime verification.
_dBerlin ; New York : Springer, ©2007
_z9783540773948
_z3540773940
_w(DLC) 2007941510
_w(OCoLC)185038879
830 0 _aLecture notes in computer science ;
_v4839.
_x0302-9743
830 0 _aLNCS sublibrary.
_nSL 2,
_pProgramming and software engineering.
_920654
856 4 0 _uhttps://link.springer.com/10.1007/978-3-540-77395-5
938 _aProQuest Ebook Central
_bEBLB
_nEBL336873
938 _aYBP Library Services
_bYANK
_n2809941
994 _a92
_bATIST
999 _c636985
_d636985