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 |