Software engineering . 1, Abstraction and modelling /
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 1 covers t...
Main Author: | Bjørner, D. 1937- |
---|---|
Other Authors: | SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
Berlin :
Springer-Verlag,
2006.
Berlin : 2006. |
Physical Description: |
1 online resource (xxxix, 711 pages) : illustrations. |
Series: |
Texts in theoretical computer science.
|
Subjects: |
LEADER | 06167cam a2200961 a 4500 | ||
---|---|---|---|
001 | 262692376 | ||
003 | OCoLC | ||
005 | 20240223121953.0 | ||
006 | m o d | ||
007 | cr cn||||||||| | ||
008 | 081017s2006 gw a ob 001 0 eng d | ||
019 | |a 225389844 |a 288260513 |a 613658162 |a 646746854 |a 739139058 |a 756423659 |a 779194170 |a 880110982 |a 1044300405 |a 1056417162 |a 1059530061 |a 1077280303 |a 1102276513 |a 1110913188 |a 1125820407 |a 1136181447 |a 1204027868 |a 1391804546 | ||
020 | |a 9783540312888 |q (online) | ||
020 | |a 3540312889 |q (online) | ||
020 | |a 3540211497 |q (v. 1 ; |q print) | ||
020 | |a 9783540211495 |q (v. 1 ; |q print) | ||
035 | |a (OCoLC)262692376 |z (OCoLC)225389844 |z (OCoLC)288260513 |z (OCoLC)613658162 |z (OCoLC)646746854 |z (OCoLC)739139058 |z (OCoLC)756423659 |z (OCoLC)779194170 |z (OCoLC)880110982 |z (OCoLC)1044300405 |z (OCoLC)1056417162 |z (OCoLC)1059530061 |z (OCoLC)1077280303 |z (OCoLC)1102276513 |z (OCoLC)1110913188 |z (OCoLC)1125820407 |z (OCoLC)1136181447 |z (OCoLC)1204027868 |z (OCoLC)1391804546 | ||
037 | |a 978-3-540-21149-5 |b Springer |n http://www.springerlink.com | ||
040 | |a GW5XE |b eng |e pn |c GW5XE |d NUI |d OCLCQ |d AU@ |d A7U |d OCLCO |d E7B |d OCLCO |d OCLCQ |d OCLCF |d NLGGC |d BEDGE |d IDEBK |d SLY |d OCLCQ |d KKS |d Z5A |d OCLCQ |d UAB |d ESU |d U3W |d OCLCQ |d CEF |d ICG |d YOU |d AUD |d OCLCQ |d ZHM |d LIP |d WURST |d SFB |d UKAHL |d OCLCQ |d OCLCO |d OCLCQ |d DCT |d OCLCO |d OCLCL | ||
049 | |a COM6 | ||
050 | 4 | |a QA76.758 |b .B56 2006eb | |
082 | 0 | 4 | |a 005.1 |2 22 |
084 | |a TP311. 5 |2 clc | ||
100 | 1 | |a Bjørner, D. |q (Dines), |d 1937- |1 https://id.oclc.org/worldcat/entity/E39PBJxmJDtPGM4wxcVm7hy68C. | |
245 | 1 | 0 | |a Software engineering . |n 1, |p Abstraction and modelling / |c D. Bjørner. |
246 | 3 | 0 | |a Abstraction and modelling. |
260 | |a Berlin : |b Springer-Verlag, |c 2006. | ||
264 | 1 | |a Berlin : |b Springer-Verlag, |c 2006. | |
300 | |a 1 online resource (xxxix, 711 pages) : |b illustrations. | ||
336 | |a text |b txt |2 rdacontent. | ||
337 | |a computer |b c |2 rdamedia. | ||
338 | |a online resource |b cr |2 rdacarrier. | ||
347 | |a text file |b PDF |2 rda. | ||
490 | 1 | |a Texts in theoretical computer science. | |
504 | |a Includes bibliographical references and indexes. | ||
505 | 0 | |a 1. Abstraction and modelling -- v. 2. Specification of systems and languages -- 3. Domains, requirements, and software design. | |
588 | 0 | |a Print version record. | |
520 | |a The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides a sound, but simple basis of insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda Calculus, algebras, and mathematical logic. Then it trains its readers in basic property- and model-oriented specification principles and techniques. The model-oriented concepts that are common to such specification languages as B, VDM-SL, and Z are explained here using the RAISE specification language (RSL). This book then covers the basic principles of applicative (functional), imperative, and concurrent (parallel) specification programming. Finally, the volume contains a comprehensive glossary of software engineering, and extensive indexes and references. These volumes are suitable for self-study by practicing software engineers and for use in university undergraduate and graduate courses on software engineering. Lecturers will be supported with a comprehensive guide to designing modules based on the textbooks, with solutions to many of the exercises presented, and with a complete set of lecture slides. | ||
506 | |a University staff and students only. Requires University Computer Account login off-campus. | ||
650 | 0 | |a Software engineering. | |
650 | 0 | |a Computer programming. | |
650 | 6 | |a Génie logiciel. | |
650 | 6 | |a Programmation (Informatique) | |
650 | 7 | |a computer programming. |2 aat. | |
650 | 0 | 7 | |a Computer programming. |2 cct. |
650 | 0 | 7 | |a Software engineering. |2 cct. |
650 | 7 | |a Informatique. |2 eclas. | |
650 | 7 | |a Computer programming. |2 fast. | |
650 | 7 | |a Software engineering. |2 fast. | |
653 | 0 | 0 | |a programmeren. |
653 | 0 | 0 | |a programming. |
653 | 0 | 0 | |a computerwetenschappen. |
653 | 0 | 0 | |a computer sciences. |
653 | 0 | 0 | |a programmeertalen. |
653 | 0 | 0 | |a programming languages. |
653 | 0 | 0 | |a software engineering. |
653 | 1 | 0 | |a Information and Communication Technology (General) |
653 | 1 | 0 | |a Informatie- en communicatietechnologie (algemeen) |
710 | 2 | |a SpringerLink (Online service) | |
773 | 0 | 8 | |i (MP) |t Software engineering |w (NL-LeOCL)308109864 |w (OCoLC)613493930 |7 nnam. |
776 | 0 | 8 | |i Print version: |a Bjørner, D. (Dines), 1937- |t Software engineering . 1, Abstraction and modelling. |d Berlin : Springer-Verlag, 2006 |z 3540211497 |z 9783540211495 |w (OCoLC)70234912. |
830 | 0 | |a Texts in theoretical computer science. | |
907 | |a .b29554457 |b multi |c - |d 100215 |e 240320 | ||
998 | |a (3)cue |a cu |b 240227 |c m |d z |e - |f eng |g gw |h 0 |i 2 | ||
948 | |a MARCIVE Overnight, in 2024.03 | ||
948 | |a MARCIVE Comp, in 2022.12 | ||
948 | |a MARCIVE Over, 07/2021 | ||
948 | |a MARCIVE Comp, 2018.05 | ||
948 | |a MARCIVE August, 2017 | ||
948 | |a MARCIVE extract Aug 5, 2017 | ||
994 | |a 92 |b COM | ||
995 | |a Loaded with m2btab.ltiac in 2024.03 | ||
995 | |a Loaded with m2btab.elec in 2024.02 | ||
995 | |a Loaded with m2btab.ltiac in 2022.12 | ||
995 | |a Loaded with m2btab.ltiac in 2021.07 | ||
995 | |a Loaded with m2btab.elec in 2021.06 | ||
995 | |a Loaded with m2btab.ltiac in 2018.06 | ||
995 | |a Loaded with m2btab.ltiac in 2017.08 | ||
995 | |a Loaded with m2btab.elec in 2017.01 | ||
995 | |a OCLC offline update by CMU | ||
999 | |e z | ||
999 | |a cue | ||
989 | |d cueme |e - - |f - - |g - |h 0 |i 0 |j 200 |k 240227 |l $0.00 |m |n - - |o - |p 0 |q 0 |t 0 |x 0 |w SpringerLink |1 .i150198012 |u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/3-540-31288-9 |3 SpringerLink |z Click here for access |