| 000 | 03919nam a22006135i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-29628-9 | ||
| 003 | DE-He213 | ||
| 005 | 20210120143353.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 160229s2016 gw | s |||| 0|eng d | ||
| 020 |
_a9783319296289 _9978-3-319-29628-9 |
||
| 024 | 7 |
_a10.1007/978-3-319-29628-9 _2doi |
|
| 050 | 4 | _aQA76.758 | |
| 072 | 7 |
_aUMZ _2bicssc |
|
| 072 | 7 |
_aCOM051230 _2bisacsh |
|
| 072 | 7 |
_aUMZ _2thema |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 245 | 1 | 0 |
_aEngineering Trustworthy Software Systems _h[electronic resource] : _bFirst International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures / _cedited by Zhiming Liu, Zili Zhang. |
| 250 | _a1st ed. 2016. | ||
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2016. |
|
| 300 |
_aXI, 325 p. 141 illus. in color. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aProgramming and Software Engineering ; _v9506 _aLecture Notes in Computer Science _v9506 |
|
| 505 | 0 | _a(In-)formal methods: The Lost Art -- Program refinement, perfect secrecy and information flow -- The Z Notation: Whence the Cause and Whither the Course? -- Model-Driven Design of Object and Component Systems -- Cyber-Physical Systems Engineering -- Combining Formal and Informal Methods in the Design of Spacecrafts. | |
| 520 | _aThe courses of SETSS 2014 aim to improve the understanding of the relation between theory and practice in software engineering, to contribute to narrowing the gap between them. This volume contains the lecture notes of the five courses and materials of one seminar. The common themes of the courses include the design and use of theories, techniques and tools for software specification and modeling, analysis and verification. The courses cover sequential programming, component- and object software, hybrid systems and cyber-physical systems with challenges of termination, security, safety, security, fault-tolerance and real-time requirements. The techniques include model checking, correctness by construction through refinement and model transformations, synthesis and computer algebra. | ||
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aComputer logic. | |
| 650 | 0 | _aProgramming languages (Electronic computers). | |
| 650 | 0 | _aComputer simulation. | |
| 650 | 0 | _aSpecial purpose computers. | |
| 650 | 1 | 4 |
_aSoftware Engineering. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14029 |
| 650 | 2 | 4 |
_aLogics and Meanings of Programs. _0https://scigraph.springernature.com/ontologies/product-market-codes/I1603X |
| 650 | 2 | 4 |
_aProgramming Languages, Compilers, Interpreters. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14037 |
| 650 | 2 | 4 |
_aSimulation and Modeling. _0https://scigraph.springernature.com/ontologies/product-market-codes/I19000 |
| 650 | 2 | 4 |
_aSpecial Purpose and Application-Based Systems. _0https://scigraph.springernature.com/ontologies/product-market-codes/I13030 |
| 700 | 1 |
_aLiu, Zhiming. _eeditor. _0(orcid)0000-0001-9771-3071 _1https://orcid.org/0000-0001-9771-3071 _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aZhang, Zili. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319296272 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319296296 |
| 830 | 0 |
_aProgramming and Software Engineering ; _v9506 |
|
| 830 | 0 |
_aLecture Notes in Computer Science ; _v9506 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-29628-9 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cEBK | ||
| 999 |
_c57907 _d57907 |
||