Catalog > Sciences > Computer Science > Application Software > Shaoying Liu: Structured Object-Oriented Formal Language and Method (PDF)

Shaoying Liu
Structured Object-Oriented Formal Language and Method [PDF ebook]
Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Support

Cover of Shaoying Liu: Structured Object-Oriented Formal Language and Method (PDF)

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping.

€51.34

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● ISBN 9783642392771 ● Editor Shaoying Liu ● Publisher Springer Berlin Heidelberg ● Published 2013 ● Downloadable 3 times ● Currency EUR ● ID 6378536 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

16,941 Ebooks in this category

Cover of Gavin Powell: Database Modeling Step by Step

Gavin Powell: Database Modeling Step by Step

With the aim of simplifying relational database modeling, Database Modeling Step-by-Step presents the standard approach to database normalization and then adds its own approach, which is a more simpl …

Cover of Mohapatra Hitesh & Rath Prof. Amiya Kumar: Fundamentals of Software Engineering

Mohapatra Hitesh & Rath Prof. Amiya Kumar: Fundamentals of Software Engineering

Practical Handbook to understand the hidden language of computer hardware and software DESCRIPTIONThis book teaches the essentials of software engineering to anyone who wants to become an active and …

Cover of Christina Braz & Bilal Naqvi: Integrating a Usable Security Protocol into User Authentication Services Design Process

Christina Braz & Bilal Naqvi: Integrating a Usable Security Protocol into User Authentication Services Design Process

There is an intrinsic conflict between creating secure systems and usable systems. But usability and security can be made synergistic by providing requirements and design tools with specific usable s …

Cover of Diego Pacheco & Sam Sgro: Principles of Software Architecture Modernization

Diego Pacheco & Sam Sgro: Principles of Software Architecture Modernization

This book is a comprehensive guide to designing scalable and maintainable software written by an expert. It covers the principles, patterns, anti-patterns, trade-offs, and concepts that software deve …

Cover of Dan Aldred: Coding with the micro

Dan Aldred: Coding with the micro

A new title in the Quest Kids(R) children’s series that was launched by In Easy Steps in 2018, designed to make learning fun for children. Coding with the micro:bit – Create Cool Programming Projects …

Cover of Jimmy Russell: 101 Amazing Atari 2600 Facts

Jimmy Russell: 101 Amazing Atari 2600 Facts

In this, the first title in Jimmy Russell’s Games Console History series, we learn 101 amazing facts about Atari’s seminal 2600, the first truly popular home family computer games system. The facts c …

Cover of Donald J. Reifer: Software Maintenance Success Recipes

Donald J. Reifer: Software Maintenance Success Recipes

Software Maintenance Success Recipes identifies actionable formulas for success based on in-depth analysis of more than 200 real-world maintenance projects. It details the set of factors that are usu …

Cover of Scott Meyers: Effective C++ Digital Collection

Scott Meyers: Effective C++ Digital Collection

Scott Meyers’s seminal C++ books– Effective C++ , More Effective C++ , and Effective STL –have been immensely helpful to hundreds of thousands of C++ programmers. All three are finally available toge …

Cover of Preston Zhang: Practical Guide for Oracle SQL, T-SQL and MySQL

Preston Zhang: Practical Guide for Oracle SQL, T-SQL and MySQL

SQL is a widely used to access most databases, therefore database developers and system administrators should be familiar with it. This hands-on SQL book will help beginner and intermediate user …

Cover of Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee - An Intel Company, Santa Clara California, USA) Ransome: Core Software Security

Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee – An Intel Company, Santa Clara California, USA) Ransome: Core Software Security

‘… an engaging book that will empower readers in both large and small software development and engineering organizations to build security into their products. … Readers are armed with firm …