| Document Type
|
:
|
BL
|
| Record Number
|
:
|
859781
|
| Main Entry
|
:
|
International Conference on Formal Engineering Methods(20th :2018 :, Gold Coast, Qld.)
|
| Title & Author
|
:
|
Formal methods and software engineering : : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /\ Jing Sun, Meng Sun (eds.).
|
| Publication Statement
|
:
|
Cham, Switzerland :: Springer,, 2018.
|
| Series Statement
|
:
|
Lecture notes in computer science ;; 11232
|
|
|
:
|
LNCS sublibrary. SL 2, Programming and software engineering
|
| Page. NO
|
:
|
1 online resource (xxii, 474 pages) :: illustrations
|
| ISBN
|
:
|
3030024504
|
|
|
:
|
: 9783030024505
|
|
|
:
|
3030024490
|
|
|
:
|
9783030024499
|
| Notes
|
:
|
International conference proceedings.
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and author index.
|
| Contents
|
:
|
Formal methods -- Verification -- Network systems -- Type theory -- Theorem proving -- Logic and semantics -- Refinement and transition systems -- Emerging applications of formal methods -- Doctoral symposium.
|
| Abstract
|
:
|
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.
|
| Subject
|
:
|
Formal methods (Computer science), Congresses.
|
| Subject
|
:
|
Software engineering, Congresses.
|
| Subject
|
:
|
Computer programming-- software development.
|
| Subject
|
:
|
Computers-- Expert Systems.
|
| Subject
|
:
|
Computers-- General.
|
| Subject
|
:
|
Computers-- Hardware-- Handheld Devices.
|
| Subject
|
:
|
Computers-- Programming-- General.
|
| Subject
|
:
|
Computers-- Software Development Engineering-- General.
|
| Subject
|
:
|
Expert systems-- knowledge-based systems.
|
| Subject
|
:
|
Formal methods (Computer science)
|
| Subject
|
:
|
Information technology: general issues.
|
| Subject
|
:
|
Mathematical theory of computation.
|
| Subject
|
:
|
Mathematics-- Logic.
|
| Subject
|
:
|
Software Engineering.
|
| Subject
|
:
|
Software engineering.
|
| Subject
|
:
|
Systems analysis design.
|
| Dewey Classification
|
:
|
004.01/51
|
| LC Classification
|
:
|
QA76.9.F67
|
| Added Entry
|
:
|
Sun, Jing, (Computer scientist)
|
|
|
:
|
Sun, Meng
|
| Parallel Title
|
:
|
ICFEM 2018
|