Software Engineering: Specification, Implementation, Verification / (Record no. 902)

MARC details
000 -LEADER
fixed length control field 03073cam a22005415i 4500
001 - CONTROL NUMBER
control field 21821628
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20230214191727.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 |||||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 170915s2017 gw |||| o |||| 0|eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2019767327
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783319615189
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-319-61518-9
Source of number or code doi
035 ## - SYSTEM CONTROL NUMBER
System control number (DE-He213)978-3-319-61518-9
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Language of cataloging eng
Description conventions pn
-- rda
Transcribing agency DLC
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM051230
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMZ
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMZ
Source thema
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1 ALA
Edition number 23
092 ## - LOCALLY ASSIGNED DEWEY CALL NUMBER (OCLC)
Edition number 0
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Alagić, Suad,
Relator term author.
245 10 - TITLE STATEMENT
Title Software Engineering: Specification, Implementation, Verification /
Statement of responsibility, etc. by Suad Alagić.
250 ## - EDITION STATEMENT
Edition statement 1st ed. 2017.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Cham :
Name of producer, publisher, distributor, manufacturer Springer International Publishing :
-- Imprint: Springer,
Date of production, publication, distribution, manufacture, or copyright notice 2017.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (XV, 178 pages 99 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
Encoding format PDF
Source rda
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note 1 Analysis and Design -- 2 Specification of Constraints -- 3 Implementation Technology -- 4 Mapping Models to Code -- 5 Data Management -- 6 Software Verification.
520 ## - SUMMARY, ETC.
Summary, etc. This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models. Employing technical details typically missing from existing textbooks on software engineering, the author shows how precise specifications lead to static verification of software systems. In addition, data management is given the attention that is required in order to produce a successful software project. Uses constraints in all phases of software development Follows recent developments in software technologies Technical coverage of data management issues and software verification Illustrated throughout to present analysis, specification, implementation and verification of multiple applications Includes end-of-chapter exercises and Instructor Presentation Slides.
588 ## - SOURCE OF DESCRIPTION NOTE
Source of description note Description based on publisher-supplied MARC data.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computers.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Programming languages (Electronic computers).
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Software engineering.
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Software Engineering.
Authority record control number or standard number https://scigraph.springernature.com/ontologies/product-market-codes/I14029
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Models and Principles.
Authority record control number or standard number https://scigraph.springernature.com/ontologies/product-market-codes/I18016
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Programming Languages, Compilers, Interpreters.
Authority record control number or standard number https://scigraph.springernature.com/ontologies/product-market-codes/I14037
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Title Software engineering : specification, implementation, verification
International Standard Book Number 9783319615172
Record control number (DLC) 2017945084
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783319615172
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783319615196
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783319870991
843 ## - REPRODUCTION NOTE
Type of reproduction Photocopy
887 ## - NON-MARC INFORMATION FIELD
Source of data CamTech Library
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 0
b ibc
c origres
d u
e ncip
f 20
g y-gencatlg
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Books
Suppress in OPAC No
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
    Dewey Decimal Classification     CamTech Library CamTech Library General Collections 02/14/2023   005.1 ALA CamTech 000011 02/14/2023 C.1 02/14/2023 Books