Architecting systems with trustworthy components : (Record no. 637854)

MARC details
000 -LEADER
fixed length control field 08144cam a2201129 a 4500
001 - CONTROL NUMBER
control field ocn262693377
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250703145356.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cn|||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 081017s2006 gw a ob 101 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency GW5XE
Language of cataloging eng
Description conventions pn
Transcribing agency GW5XE
Modifying agency GW5XE
-- QCL
-- OKU
-- YNG
-- UV0
-- CEF
-- NUI
-- OCLCQ
-- N$T
-- MNU
-- E7B
-- OCLCO
-- OCLCQ
-- A7U
-- OCLCQ
-- BEDGE
-- COO
-- YDXCP
-- IDEBK
-- SLY
-- OCLCQ
-- DEBSZ
-- OCLCQ
-- EBLCP
-- VT2
-- SHS
-- OCLCQ
-- UAB
-- ESU
-- OCLCQ
-- NJR
-- U3W
-- OCLCQ
-- OCLCF
-- STF
-- OCLCQ
-- TFW
-- OCLCQ
-- AU@
-- OCLCQ
-- WYU
-- ICG
-- UWO
-- YOU
-- OCLCQ
-- AUD
-- OL$
-- OCLCQ
-- BWN
-- DCT
-- ZHM
-- ERF
-- WURST
-- OCLCQ
-- EUX
-- OCLCQ
-- UKAHL
-- OCLCQ
-- OCLCO
-- COM
-- OCLCO
-- OCLCQ
-- OCLCL
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 980041740
Source DE-101
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 013532974
Source Uk
019 ## -
-- 70695624
-- 222314502
-- 228161386
-- 228161387
-- 288238044
-- 489059269
-- 613491811
-- 708331671
-- 739129998
-- 767222374
-- 777968267
-- 785778700
-- 880102724
-- 964929246
-- 993758114
-- 1005827095
-- 1006397960
-- 1009201831
-- 1011972529
-- 1012879091
-- 1014438634
-- 1020031447
-- 1027278309
-- 1035658358
-- 1036740496
-- 1038479156
-- 1039689355
-- 1044612831
-- 1056348129
-- 1060973915
-- 1067031787
-- 1073038123
-- 1081195317
-- 1086916253
-- 1100827733
-- 1102297281
-- 1102533649
-- 1105599153
-- 1110347944
-- 1110793121
-- 1110934472
-- 1112542994
-- 1119479857
-- 1132300827
-- 1162782923
-- 1167933598
-- 1238260891
-- 1391789806
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540358336
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540358331
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540358005
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540358008
024 3# - OTHER STANDARD IDENTIFIER
Standard number or code 9783540358008
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/11786160
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000042372575
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000042438272
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000059270822
029 1# - (OCLC)
OCLC library identifier DEBSZ
System control number 280695780
029 1# - (OCLC)
OCLC library identifier HEBIS
System control number 192075330
029 1# - (OCLC)
OCLC library identifier NLGGC
System control number 333117778
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 12056580
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 13962819
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000060477686
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)262693377
Canceled/invalid control number (OCoLC)70695624
-- (OCoLC)222314502
-- (OCoLC)228161386
-- (OCoLC)228161387
-- (OCoLC)288238044
-- (OCoLC)489059269
-- (OCoLC)613491811
-- (OCoLC)708331671
-- (OCoLC)739129998
-- (OCoLC)767222374
-- (OCoLC)777968267
-- (OCoLC)785778700
-- (OCoLC)880102724
-- (OCoLC)964929246
-- (OCoLC)993758114
-- (OCoLC)1005827095
-- (OCoLC)1006397960
-- (OCoLC)1009201831
-- (OCoLC)1011972529
-- (OCoLC)1012879091
-- (OCoLC)1014438634
-- (OCoLC)1020031447
-- (OCoLC)1027278309
-- (OCoLC)1035658358
-- (OCoLC)1036740496
-- (OCoLC)1038479156
-- (OCoLC)1039689355
-- (OCoLC)1044612831
-- (OCoLC)1056348129
-- (OCoLC)1060973915
-- (OCoLC)1067031787
-- (OCoLC)1073038123
-- (OCoLC)1081195317
-- (OCoLC)1086916253
-- (OCoLC)1100827733
-- (OCoLC)1102297281
-- (OCoLC)1102533649
-- (OCoLC)1105599153
-- (OCoLC)1110347944
-- (OCoLC)1110793121
-- (OCoLC)1110934472
-- (OCoLC)1112542994
-- (OCoLC)1119479857
-- (OCoLC)1132300827
-- (OCoLC)1162782923
-- (OCoLC)1167933598
-- (OCoLC)1238260891
-- (OCoLC)1391789806
037 ## - SOURCE OF ACQUISITION
Stock number 978-3-540-35800-8
Source of stock number/acquisition Springer
Note http://www.springerlink.com
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.76.C66
Item number A73 2006eb
072 #7 - SUBJECT CATEGORY CODE
Subject category code QA
Source lcco
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 051390
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 051440
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 051230
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMZ
Source bicssc
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1
Edition number 22
084 ## - OTHER CLASSIFICATION NUMBER
Classification number TP311. 5-532
Number source clc
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
245 00 - TITLE STATEMENT
Title Architecting systems with trustworthy components :
Remainder of title international seminar, Dagstuhl Castle, Germany, December 12-17, 2004 : revised selected papers /
Statement of responsibility, etc. Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski (eds.).
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin ;
-- New York :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. ©2006.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (x, 298 pages) :
Other physical details illustrations
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
347 ## - DIGITAL FILE CHARACTERISTICS
File type text file
347 ## - DIGITAL FILE CHARACTERISTICS
Encoding format PDF
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science,
International Standard Serial Number 0302-9743 ;
Volume/sequential designation 3938
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
588 0# - SOURCE OF DESCRIPTION NOTE
Source of description note Print version record.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Invited Articles -- Audition of Web Services for Testing Conformance to Open Specified Protocols -- A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation -- Making Specifications Complete Through Models -- Bus Scheduling for TDL Components -- Refinement and Consistency in Component Models with Multiple Views -- Articles by Participants -- A Taxonomy on Component-Based Software Engineering Methods -- Unifying Hardware and Software Components for Embedded System Development -- On the Composition of Compositional Reasoning -- Trustworthy Instantiation of Frameworks -- Performance Prediction of Component-Based Systems -- Towards an Engineering Approach to Component Adaptation -- Compatible Component Upgrades Through Smart Component Swapping -- Exceptions in Component Interaction Protocols -- Necessity -- Coalgebraic Semantics for Component Systems -- A Type Theoretic Framework for Formal Metamodelling.
520 ## - SUMMARY, ETC.
Summary, etc. This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems with Trustworthy Components, held in Dagstuhl Castle, Germany, in December 2004. The 10 revised full papers presented together with 5 invited papers contributed by outstanding researchers were carefully selected and included in the book reflecting ongoing improvement from the seminar. Core problems addressed by the seminar are measurement and normalization of non-functional properties, modular reasoning over non-functional properties, capture of component requirements in interfaces and protocols, interference and synergy of top-down and bottom-up aspects, duality of componentization and architecture, system properties, and opportunities for correctness by construction/static checking.
506 ## - RESTRICTIONS ON ACCESS NOTE
Terms governing access University staff and students only. Requires University Computer Account login off-campus.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Component software
General subdivision Reliability
Form subdivision Congresses.
9 (RLIN) 25186
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Software architecture
General subdivision Reliability
Form subdivision Congresses.
9 (RLIN) 25185
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Architecture logicielle
General subdivision Fiabilité
Form subdivision Congrès.
9 (RLIN) 29779
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Composants logiciels
General subdivision Fiabilité
Form subdivision Congrès.
9 (RLIN) 29780
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Programming
-- Open Source.
Source of heading or term bisacsh
9 (RLIN) 4346
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Software Development & Engineering
-- Tools.
Source of heading or term bisacsh
9 (RLIN) 4348
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Software Development & Engineering
-- General.
Source of heading or term bisacsh
9 (RLIN) 4347
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Component software
General subdivision Reliability.
Source of heading or term cct
9 (RLIN) 29781
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Software architecture
General subdivision Reliability.
Source of heading or term cct
9 (RLIN) 29782
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Informatique.
Source of heading or term eclas
9 (RLIN) 14930
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term programmeren
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term programming
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computerwetenschappen
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computer sciences
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computernetwerken
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computer networks
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term operating systems
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term programmeertalen
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term programming languages
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term software engineering
653 10 - INDEX TERM--UNCONTROLLED
Uncontrolled term Information and Communication Technology (General)
653 10 - INDEX TERM--UNCONTROLLED
Uncontrolled term Informatie- en communicatietechnologie (algemeen)
655 #2 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Congress
9 (RLIN) 11670
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings.
Source of term fast
Authority record control number (OCoLC)fst01423772
9 (RLIN) 6065
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Conference papers and proceedings.
Source of term lcgft
9 (RLIN) 6065
655 #7 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Actes de congrès.
Source of term rvmgf
9 (RLIN) 609890
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Reussner, Ralf.
9 (RLIN) 27740
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Stafford, Judith A.
Fuller form of name (Judith Alyce)
-- https://id.oclc.org/worldcat/entity/E39PCjFvyfw6gqRv4kDfBGtK7d
9 (RLIN) 29783
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Szyperski, Clemens.
9 (RLIN) 29784
758 ## -
-- has work:
-- Architecting systems with trustworthy components (Text)
-- https://id.oclc.org/worldcat/entity/E39PCFPgGhmHhWxMtKXRQPhktC
-- https://id.oclc.org/worldcat/ontology/hasWork
773 0# - HOST ITEM ENTRY
Title Springer e-books
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Title Architecting systems with trustworthy components.
Place, publisher, and date of publication Berlin ; New York : Springer, ©2006
International Standard Book Number 3540358005
-- 9783540358008
Record control number (DLC) 2006905119
-- (OCoLC)70268212
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 3938.
International Standard Serial Number 0302-9743
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://link.springer.com/10.1007/11786160">https://link.springer.com/10.1007/11786160</a>
938 ## -
-- Askews and Holts Library Services
-- ASKH
-- AH26902223
938 ## -
-- EBL - Ebook Library
-- EBLB
-- EBL3068097
938 ## -
-- ebrary
-- EBRY
-- ebr10530347
938 ## -
-- EBSCOhost
-- EBSC
-- 183069
938 ## -
-- ProQuest MyiLibrary Digital eBook Collection
-- IDEB
-- cis23799256
938 ## -
-- YBP Library Services
-- YANK
-- 3024020
994 ## -
-- 92
-- ATIST
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
  Not Lost     eBook LNCS e-Library e-Library 28/07/2022   28/07/2022 28/07/2022 eBook

Powered by Koha