Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings. (2016)

• Record Type: Book
• Further Information: Note: Kazuhiro Ogata, Mark Lawford, Shaoying Liu.
• Editors: Ogata, Kazuhiro; Lawford, Mark; Liu, Shaoying
• Contents: 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.
• Publisher Details: Cham : Springer
• Publication Date: 2016
• Copyright Date: 2016
• Extent: 1 online resource (486 pages)
• Subjects: Computer science; Computers -- Programming -- General; Computers -- Programming Languages -- General; Mathematics -- Logic; Computers -- Hardware -- Network Hardware; Computer programming / software development; Programming & scripting languages: general; Mathematical theory of computation; Network hardware; Software engineering; Logic design; Computer Communication Networks; Computers -- Software Development & Engineering -- General; Software Engineering
• Languages: English
• ISBNs: 9783319478463
• Related ISBNs: 9783319478456
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.