000 | 03187nam a22006015i 4500 | ||
---|---|---|---|
001 | 978-3-319-47846-3 | ||
003 | DE-He213 | ||
005 | 20200421111652.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 |
|
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. |
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 |
_aLecture Notes in Computer Science, _x0302-9743 ; _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 | _aComputer science. | |
650 | 0 | _aComputer communication systems. | |
650 | 0 | _aComputer programming. | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aProgramming languages (Electronic computers). | |
650 | 0 | _aComputer logic. | |
650 | 0 | _aMathematical logic. | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aProgramming Techniques. |
650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
650 | 2 | 4 | _aLogics and Meanings of Programs. |
650 | 2 | 4 | _aMathematical Logic and Formal Languages. |
650 | 2 | 4 | _aComputer Communication Networks. |
700 | 1 |
_aOgata, Kazuhiro. _eeditor. |
|
700 | 1 |
_aLawford, Mark. _eeditor. |
|
700 | 1 |
_aLiu, Shaoying. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783319478456 |
830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v10009 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-319-47846-3 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-LNC | ||
942 | _cEBK | ||
999 |
_c54447 _d54447 |