000 | 04005nam a22006495i 4500 | ||
---|---|---|---|
001 | 978-3-319-47846-3 | ||
003 | DE-He213 | ||
005 | 20210120143310.0 | ||
007 | cr nn 008mamaa | ||
008 | 161014s2016 gw | s |||| 0|eng d | ||
020 |
_a9783319478463 _9978-3-319-47846-3 |
||
024 | 7 |
_a10.1007/978-3-319-47846-3 _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 |
_aFormal Methods and Software Engineering _h[electronic resource] : _b18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings / _cedited by Kazuhiro Ogata, Mark Lawford, Shaoying Liu. |
250 | _a1st ed. 2016. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2016. |
|
300 |
_aXVII, 486 p. 144 illus. _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 ; _v10009 _aLecture Notes in Computer Science _v10009 |
|
505 | 0 | _aAbstraction, refinement and evolution -- Formal specification and modeling -- Program analysis -- Formal verification -- Model checking -- Formal approaches to software testing and inspection -- Formal methods for self-adaptive systems -- Formal methods for object-oriented systems -- Formal methods for component-based systems -- Tool development, integration and experiments involving verified systems -- Formal model-based development and code generation. . | |
520 | _aThis book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as veriļ¬cation and validation, software engineering, formal speciļ¬cation and modeling, software security, and software reliability. | ||
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aComputer programming. | |
650 | 0 | _aProgramming languages (Electronic computers). | |
650 | 0 | _aComputer logic. | |
650 | 0 | _aMathematical logic. | |
650 | 0 | _aComputer communication systems. | |
650 | 1 | 4 |
_aSoftware Engineering. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14029 |
650 | 2 | 4 |
_aProgramming Techniques. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14010 |
650 | 2 | 4 |
_aProgramming Languages, Compilers, Interpreters. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14037 |
650 | 2 | 4 |
_aLogics and Meanings of Programs. _0https://scigraph.springernature.com/ontologies/product-market-codes/I1603X |
650 | 2 | 4 |
_aMathematical Logic and Formal Languages. _0https://scigraph.springernature.com/ontologies/product-market-codes/I16048 |
650 | 2 | 4 |
_aComputer Communication Networks. _0https://scigraph.springernature.com/ontologies/product-market-codes/I13022 |
700 | 1 |
_aOgata, Kazuhiro. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aLawford, Mark. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aLiu, Shaoying. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319478456 |
776 | 0 | 8 |
_iPrinted edition: _z9783319478470 |
830 | 0 |
_aProgramming and Software Engineering ; _v10009 |
|
830 | 0 |
_aLecture Notes in Computer Science ; _v10009 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-47846-3 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cEBK | ||
999 |
_c57194 _d57194 |