東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Formal methods and software engineer...

International Conference on Formal Engineering Methods (2016 :)

Linked to FindBook

Google Book

Amazon

博客來

Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Formal methods and software engineering/ edited by Kazuhiro Ogata, Mark Lawford, Shaoying Liu.
Reminder of title:	18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings /
remainder title:	ICFEM 2016
other author:	Ogata, Kazuhiro.
corporate name:	International Conference on Formal Engineering Methods
Published:	Cham :Springer International Publishing : : 2016.,
Description:	xvii, 486 p. :ill., digital ;24 cm.
[NT 15003449]:	Abstraction, 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.
Contained By:	Springer eBooks
Subject:	Formal methods (Computer science) - Congresses. -
Online resource:	http://dx.doi.org/10.1007/978-3-319-47846-3
ISBN:	9783319478463

Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings /
Formal methods and software engineering18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings /[electronic resource] :ICFEM 2016edited by Kazuhiro Ogata, Mark Lawford, Shaoying Liu. - Cham :Springer International Publishing :2016. - xvii, 486 p. :ill., digital ;24 cm. - Lecture notes in computer science,100090302-9743 ;. - Lecture notes in computer science ;10009..

Abstraction, 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.

This 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.

ISBN: 9783319478463

Standard No.: 10.1007/978-3-319-47846-3doiSubjects--Topical Terms:

622707
Formal methods (Computer science)
--Congresses.

LC Class. No.: QA76.9.F67

Dewey Class. No.: 004.0151

Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings /
LDR:02145nmm a2200337 a 4500 001 2053603
003 DE-He213
005 20161014095443.0
006 m d
007 cr nn 008maaau
008 170510s2016 gw s 0 eng d
020 $a 9783319478463 $q (electronic bk.)
020 $a 9783319478456 $q (paper)
024 7 $a 10.1007/978-3-319-47846-3 $2 doi
035 $a 978-3-319-47846-3
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.F67
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
082 0 4 $a 004.0151 $2 23
090 $a QA76.9.F67 $b I61 2016
111 2 $a International Conference on Formal Engineering Methods $n (18th : $d 2016 : $c Tokyo, Japan) $3 3166525
245 1 0 $a Formal methods and software engineering $h [electronic resource] : $b 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / $c edited by Kazuhiro Ogata, Mark Lawford, Shaoying Liu.
246 3 $a ICFEM 2016
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a xvii, 486 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 10009
505 0 $a Abstraction, 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 $a This 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 $a Formal methods (Computer science) $v Congresses. $3 622707
650 0 $a Software engineering $x Congresses. $3 696781
650 0 $a Computer science. $3 523869
650 0 $a Computer programming. $3 527209
650 0 $a Software engineering. $3 559826
650 0 $a Programming languages (Electronic computers) $3 606806
650 0 $a Computer logic. $3 840463
650 0 $a Logic, Symbolic and mathematical. $3 532051
650 1 4 $a Computer Science. $3 626642
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Programming Techniques. $3 892496
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 891123
650 2 4 $a Logics and Meanings of Programs. $3 892495
650 2 4 $a Mathematical Logic and Formal Languages. $3 892517
650 2 4 $a Computer Communication Networks. $3 775497
700 1 $a Ogata, Kazuhiro. $3 2058662
700 1 $a Lawford, Mark. $3 3166526
700 1 $a Liu, Shaoying. $3 1621774
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 10009. $3 3166527
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-47846-3
950 $a Computer Science (Springer-11645)