000 06934cam a2200853 a 4500
001 ocn272312269
003 OCoLC
005 20250703145659.0
006 m o d
007 cr cn|||||||||
008 081117s2008 gw a ob 101 0 eng d
040 _aGW5XE
_beng
_epn
_cGW5XE
_dNJR
_dSTF
_dOH1
_dDLC
_dIG#
_dBUF
_dCOO
_dNUI
_dOCLCQ
_dUAB
_dE7B
_dOCLCF
_dBEDGE
_dOCLCO
_dYDXCP
_dIDEBK
_dOCLCQ
_dOCL
_dOCLCO
_dEBLCP
_dDEBSZ
_dOCLCQ
_dVT2
_dOCLCQ
_dESU
_dOCLCQ
_dSHS
_dOCLCQ
_dCEF
_dTFW
_dU3W
_dOCLCQ
_dWYU
_dICG
_dYOU
_dOCLCQ
_dLEAUB
_dAU@
_dOCLCQ
_dW2U
_dAUD
_dERF
_dOCLCQ
_dBWN
_dDCT
_dOCLCQ
_dOCLCO
_dCOM
_dOCLCO
_dOCLCQ
_dINT
_dOCLCL
_dQGK
019 _a233264581
_a243863889
_a250799522
_a488388989
_a495285386
_a613702286
_a646036304
_a785781725
_a964921801
_a1005821213
_a1011872722
_a1035665710
_a1044228870
_a1056343487
_a1060685323
_a1060869299
_a1060885253
_a1066404197
_a1066454299
_a1073056234
_a1081207534
_a1087332038
_a1105589605
_a1110204000
_a1112526462
_a1162795088
_a1170614555
_a1171914145
_a1204034163
_a1259134191
_a1262671806
_a1374609054
020 _a9783540686248
020 _a354068624X
020 _a9783540686217
020 _a3540686215
020 _a9788354068624
_q(8)
020 _a8354068625
024 7 _a10.1007/978-3-540-68624-8
_2doi
024 8 _a9786611860158
029 1 _aAU@
_b000043648500
029 1 _aAU@
_b000058163252
029 1 _aAU@
_b000060008903
029 1 _aDEBSZ
_b285789244
029 1 _aIG#
_b9783540686217
029 1 _aNZ1
_b12396819
029 1 _aNZ1
_b13705088
035 _a(OCoLC)272312269
_z(OCoLC)233264581
_z(OCoLC)243863889
_z(OCoLC)250799522
_z(OCoLC)488388989
_z(OCoLC)495285386
_z(OCoLC)613702286
_z(OCoLC)646036304
_z(OCoLC)785781725
_z(OCoLC)964921801
_z(OCoLC)1005821213
_z(OCoLC)1011872722
_z(OCoLC)1035665710
_z(OCoLC)1044228870
_z(OCoLC)1056343487
_z(OCoLC)1060685323
_z(OCoLC)1060869299
_z(OCoLC)1060885253
_z(OCoLC)1066404197
_z(OCoLC)1066454299
_z(OCoLC)1073056234
_z(OCoLC)1081207534
_z(OCoLC)1087332038
_z(OCoLC)1105589605
_z(OCoLC)1110204000
_z(OCoLC)1112526462
_z(OCoLC)1162795088
_z(OCoLC)1170614555
_z(OCoLC)1171914145
_z(OCoLC)1204034163
_z(OCoLC)1259134191
_z(OCoLC)1262671806
_z(OCoLC)1374609054
037 _a978-3-540-68621-7
_bSpringer
_nhttp://www.springerlink.com
050 4 _aQA76.76.R44
_bA33 2008eb
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_222
049 _aMAIN
111 2 _aAda-Europe International Conference on Reliable Software Technologies
_n(13th :
_d2008 :
_cVenice, Italy)
_930981
245 1 0 _aReliable software technologies--Ada-Europe 2008 :
_b13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008 : proceedings /
_cFabrice Kordon, Tullio Vardanega (eds.).
246 3 0 _aAda-Europe 2008
260 _aBerlin ;
_aNew York :
_bSpringer,
_c©2008.
300 _a1 online resource (xiv, 281 pages) :
_billustrations
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
347 _bPDF
490 1 _aLecture notes in computer science,
_x0302-9743 ;
_v5026
490 1 _aLNCS sublibrary. SL 2, Programming and software engineering
504 _aIncludes bibliographical references and index.
588 0 _aPrint version record.
505 0 _aA New Approach to Memory Partitioning in On-Board Spacecraft Software -- Design and Development of Component-Based Embedded Systems for Automotive Applications -- On the Timed Automata-Based Verification of Ravenscar Systems -- Operational Semantics of Ada Ravenscar -- Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives -- A Modelling Approach with Coloured Petri Nets -- A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets -- Concurrent Program Metrics Drawn by Quasar -- A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM -- A Framework for CFG-Based Static Program Analysis of Ada Programs -- A Type-Safe Database Interface -- StateML?+?: From Graphical State Machine Models to Thread-Safe Ada Code -- Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems -- A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions -- Increasing Confidence in Concurrent Software through Architectural Analysis -- Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness -- RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs -- Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project -- An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications -- Real-Time Distribution Middleware from the Ada Perspective.
520 _aThis book constitutes the refereed proceedings of the 13th International Conference on Reliable Software Technologies, Ada-Europe 2008, held in Venice, Italy, in June 2008. The 20 revised full papers presented were carefully reviewed and selected from numerous submissions. The conference proceedings published in this volume cover topics ranging from formal verification to real-time systems via concurrency, embedded systems, language technologies, model-driven engineering and applications of Petri Nets.
546 _aEnglish.
650 0 _aComputer software
_xReliability
_vCongresses.
_918123
650 6 _aLogiciels
_xFiabilité
_vCongrès.
_926740
650 7 _aInformatique.
_2eclas
_914930
650 7 _aComputer software
_xReliability.
_2fast
_0(OCoLC)fst00872585
_918125
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 _aKordon, Fabrice.
_922133
700 1 _aVardanega, T.
_q(Tullio)
_1https://id.oclc.org/worldcat/entity/E39PCjF3Pppt9j8wCB6fk7WGQC
_926744
758 _ihas work:
_aReliable software technologies--Ada-Europe 2008 (Text)
_1https://id.oclc.org/worldcat/entity/E39PCGFDcCmC46cvYWb8yyjqcd
_4https://id.oclc.org/worldcat/ontology/hasWork
776 0 8 _iPrint version:
_aAda-Europe International Conference on Reliable Software Technologies (13th : 2008 : Venice, Italy).
_tReliable software technologies--Ada-Europe 2008.
_dBerlin ; New York : Springer, ©2008
_z9783540686217
_z3540686215
_w(DLC) 2008927854
_w(OCoLC)227032568
830 0 _aLecture notes in computer science ;
_v5026.
_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-68624-8
938 _aEBL - Ebook Library
_bEBLB
_nEBL3068570
938 _aebrary
_bEBRY
_nebr10532979
938 _aProQuest MyiLibrary Digital eBook Collection
_bIDEB
_ncis23930455
938 _aIngram
_bINGR
_n9783540686217
938 _aYBP Library Services
_bYANK
_n3024328
994 _a92
_bATIST
999 _c638160
_d638160