Now that formal methods are seen as a necessary and beneficial theoretical tool for systems designers and programmers, this book offers a thorough and comprehensive tutorial introduction to Z taking as its starting point the practical use of this formal specification language. Case studies are used to illustrate all aspects of Z and are introduced early on in order to motivate the mathematical notations that have to be covered. Standard notation is used throughout. Many proofs are included and they are presented using the commonest format for natural deduction proofs. With exercises given and clear descriptions and explanations provided, this book is required reading for students and post-experience software engineers learning Z. Enhancements to this edition are more exercises, information on how to relate Z specifications to actual program code, and amendments so that the book is in line with the current language standards.

Dive into the software development profession from nearly every angle. You'll learn about the power of code generation as well as the benefits and dangers of design patterns. Go far beyond just writing code and tackle the emotional, psychological, and social aspects of software development as well. In dozens of nuggets of wisdom, you'll discover: * What will really keep you motivated to code in the long run * How you ensure your software project launches on time * Why applications get complex when people crave simple software * How you can survive a difficult client project * How we can collectively promote our industry to the masses This book is packed with lessons Ka Wai Cheung has learned from more than a decade of experience in the industry. After reading, you'll come away confident in all aspects of your career in web development.

This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2016, held in Rome, Italy, in April 2016. The 11 full papers presented were carefully reviewed and selected from 79 submissions. The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT industry experiences with relation to the evaluation of novel approaches to software engineering. The conference acknowledges necessary changes in systems and software thinking due to contemporary shifts of computing paradigm to e-services, cloud computing, mobile connectivity, business processes, and societal participation.

This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 36 papers presented in this volume were carefully reviewed and selected from 112 submissions. They cover traditional as well as emerging topics in programming languages. In detail they deal with semantic foundation and type system for probabilistic programming; techniqu3es for verifying concurrent or higher-order programs; programming languages for arrays or web data; program analysis and verification of non-standard program properties; foundation and application of interactive theorem proving; graph rewriting; separation logic; session type; type theory; and implicit computational complexity.

Learn how to code for the iMac, Mac mini, Mac Pro, and MacBook using Swift, Apple's hottest programming language. Fully updated to cover the new MacBook Touch Bar, macOS Programming for Absolute Beginners will not only teach complete programming novices how to write macOS programs, but it can also help experienced programmers moving to the Mac for the first time. You will learn the principles of programming, how to use Swift and Xcode, and how to combine your knowledge into writing macOS programs. If you've always wanted to learn coding but felt stymied by the limitation of simplistic programming languages or intimidated by professional but complicated programming languages, then you'll want to learn Swift. Swift is your gateway to both Mac and iOS app development while being powerful and easy to learn at the same time, and macOS Programming for Absolute Beginners is the perfect place to start - add it to your library today.What You'll Learn Master the basic principles of object-oriented programming Use Xcode, the main programming tool used for both macOS and iOS development See what makes Swift unique and powerful as a programming language and why you should learn it Create macOS programs using Swift and Xcode Apply interface principles that follow Apple's Human Interface Guidelines Take advantage of the new Touch Bar Who This Book Is For People who want to learn programming for the first time and for experienced programmers wanting to learn Xcode and the Mac for the first time.

Take the pain out of dealing with relational databases in an object-oriented programming world. With this short book, you can save time and money by simply coding less while accomplishing more with the Doctrine persistence framework, a leading persistence solution for PHP programmers and web developers. PHP Persistence teaches you about PHP persistence and how to use it effectively for your database-driven applications. Bestselling author Michael Romer leverages his own vast experience to show you what you need to know about Doctrine 2 and how to use it in your own projects. Along the way you'll learn about powerful persistence techniques, such as object-relational mapping (ORM) in PHP. What You'll Learn Define entities and references between entities Manage entities Master the Doctrine Query Language Use appropriate command-line tools for PHP persistence Program for caching Who This Book Is For Experienced PHP programmers and web developers with some exposure to PHP.

Learn how to develop a complete and robust Node, express.js and MongoDB-based web application and mobile application backend quickly using KeystoneJS. You'll learn how KeystoneJS makes complicated things simple, without limiting the power or flexibility of node.js or the frameworks it is built on. Beginning KeystoneJS shows you how to build database-driven websites, applications, and APIs, all built upon Express, the defacto web server for Node.js that uses MongoDB as its storage backend. What You Will Learn Discover the setup and architecture of the KeystoneJS framework. See how easy it is to extend KeystoneJS Understand the custom types and fields provided out of the box Write clean markup and create templates using Swig Use the powerful editing options in the framework's responsive dashboard Who This Book Is For Technical and non-technical people who would like to build applications quickly to leverage structured data to improve productivity.

This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016. The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.

This concise step-by-step guide includes the best practices and patterns that help readers of all levels to unearth the potential of Materialize. A responsive framework based on Google's innovative Material Design language, Materialize provides CSS and JavaScript features similar to other popular frameworks such as Bootstrap and Foundation. With the advent of Material Design, developers can no longer overlook its importance and resourcefulness in web design and development. However, incorporating this toolkit in the web application can be quite a juggle. Compared to other design languages available in the market today, Materialize is the only one that adds depth and motion to its application elements. Ideal for web designers and developers, Introducing Materialize is your comprehensive training guide to the newest design language you need to learn. What You'll Learn Learn why Materialize is so popular and resourceful Get up and Running with this awesome toolkit Quick start with Materialize and creating unique designs Downloading and Installing the framework Get a grip on the fundamentals of Material Design Gather comprehensive knowledge about the framework Unearth the potential of this framework for real time implementation Who This Book Is For Ideal for web developers and designers with good experience of UI technologies such as HTML, CSS, JavaScript and jQuery. This book does not require prior experience of any responsive framework. It caters to readers on all levels ranging from beginners to experienced professionals.

Make your Swift apps agile and sound with this short step by step guide. You'll learn about unit testing, mocking and continuous integration and how to get these key ingredients running in your Swift projects. This book also looks at how to write your Swift apps using test driven development (TDD). Agile practices have made major inroads in iOS development, however it's very unusual to see something as basic as unit testing on a Swift application. Done correctly, Agile development results in a significant increase in development efficiency and a reduction in the number of defects. Apple has released unit testing and code coverage frameworks for Swift development in XCode. Up until now getting unit testing up and running in Swift was not for the faint-hearted. Thankfully now, there is no excuse other than a lack of information on where to get started. iOS developers are faced with their own set of problems such as tightly coupled code, fragmentation, immature testing tools all of which can be solved using existing Agile tools and techniques. Swift Programming Using Agile Tools and Techniques is your solution to handling these tasks. What You Will Learn Write unit tests in Swift Write an application using test driven development Examine GUI testing, refactoring, and mocking frameworks Set up and configure a continuous integration server Measure code coverage Who This Book Is For Swift developers and would be mobile app testers will benefit from the guidance in this book.

Learn what Backdrop CMS is and how it fulfills the role of a content management system, along with how to install and configure it. This book teaches how to create and manage content, taxonomy, users, page layouts, and menus to get the best site possible. You'll also see how to install on shared hosting - which is a focus of the Backdrop CMS team - to make hosting your website affordable. Backdrop CMS has a very strong community, and Beginning Backdrop CMS shows you how to leverage Backdrop CMS's repository of contributed modules and themes to expand the functionality and look of your site, along with how to contribute your own material to the community. Beginning Backdrop CMS focuses on the user who is responsible for building, maintaining, and managing an organization's website and who is interested in Backdrop CMS's ability to meet their site's requirements. It covers why you should consider using a content management system when building a new web site. By reading this book, you will: Understand why you should use Backdrop CMS and the power of the platform. Build confidence in your ability to use Backdrop CMS. Gain the knowledge necessary to build, deploy, and manage web sites of moderate complexity on Backdrop CMS. Understand the process for migrating a Drupal 6 or 7 site to Backdrop CMS. What You Will Learn Install a basic Backdrop CMS web site from scratch Create content in your new Backdrop CMS web site Work with and manage menus and users Build and use layouts when creating pages on your site Create a Backdrop CMS theme Understand the basics of a Backdrop CMS module Who This Book is For Technical users who need to use Backdrop CMS to create websites using the platform and to manage content. Developers who are new to the Backdrop CMS platform. The book is also targeted at organizations that currently use Drupal 6 or 7 and who wish to remain on the base architecture of those platforms as they move forward on Backdrop CMS.

Learn how to build scalable APIs using the Node.js platform and ES6 (EcmaScript 2015) with this quick, informative guide. Developing systems for the wide range of devices available in the modern world requires the construction of APIs designed to work only with data in a centralized manner, allowing client-side applications to be developed separately and have a unique interface for the final user. Node.js has proven itself to be an excellent platform for building REST APIs because of its single-thread architecture. It has a low learning curve and can be understood by anyone who has a basic understanding of the JavaScript language. Use Building APIs with Node.js today to understand how Node.js APIs work, and how you can build your own. What You Will Learn Build scalable APIs using the Node.js platform Use ES6, Express, Passport, ApiDoc, Mocha, Helmet and more Integrate an SQL database through Sequelize.js and build a single page application using Vanilla.js Who This Book Is For Ideal for developers who have a basic understanding of JavaScript and Node.js.

Learn how to develop powerful data analytics applications quickly for SQL Server database administrators and developers. Organizations will be able to sift data and derive the business intelligence needed to drive business decisions and profit. The addition of R to SQL Server 2016 places a powerful analytical processor into an environment most developers are already comfortable with - Visual Studio. This book walks even the newest of users through the creation process of a powerful R-language tool set for use in analyzing and reporting on your data. As a SQL Server database administrator or developer, it is sometimes difficult to stay on the bleeding edge of technology. Microsoft's addition of R to SQL Server 2016 is sure to be a game-changer, and the language will certainly become an integral part of future releases. R is in fact widely used today in statistical and related applications, and its use is only growing. Beginning SQL Server R Services helps you jump on board this important trend by providing good examples with detailed explanations of the WHY and not just the HOW. Walks you through setup and installation of SQL Server R Services. Explains the basics of working with R Tools for Visual Studio. Provides a road map to successfully creating custom R code. What You Will Learn Discover R's role in the SQL Server 2016 hierarchy. Manage the components needed to run SQL Server R Services code. Run R-language analytics and queries inside the database. Create analytic solutions that run across multiple datasets. Gain in-depth knowledge of the R language itself. Implement custom SQL Server R Services solutions. Who This Book Is For Any level of database administrator or developer, but specifically it's for those developers with the need to develop powerful data analytics applications quickly. Seasoned R developers will appreciate the book for its robust learning pattern, using visual aids in combination with properties explanations and scenarios. Beginning SQL Server R Services is the perfect "new hire" gift for new database developers in any organization.

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined - ideally there exist complete precise descriptions of the source and target languages. Additional descriptions of the interfaces to the operating system, programming system and programming environment, and to other compilers and libraries are often available. This book deals with the analysis phase of translators for programming languages. It describes lexical, syntactic and semantic analysis, specification mechanisms for these tasks from the theory of formal languages, and methods for automatic generation based on the theory of automata. The authors present a conceptual translation structure, i.e., a division into a set of modules, which transform an input program into a sequence of steps in a machine program, and they then describe the interfaces between the modules. Finally, the structures of real translators are outlined. The book contains the necessary theory and advice for implementation. This book is intended for students of computer science. The book is supported throughout with examples, exercises and program fragments.

In his study, Mahdi Derakhshanmanesh builds on the state of the art in modeling by proposing to integrate models into running software on the component-level without translating them to code. Such so-called model-integrating software exploits all advantages of models: models implicitly support a good separation of concerns, they are self-documenting and thus improve understandability and maintainability and in contrast to model-driven approaches there is no synchronization problem anymore between the models and the code generated from them. Using model-integrating components, software will be easier to build and easier to evolve by just modifying the respective model in an editor. Furthermore, software may also adapt itself at runtime by transforming its own model part.

This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, in June 2014. The 17 revised full papers, 11 revised short papers, and 2 system and experimental papers presented in this book were carefully reviewed and selected from 80 submissions. The volume also contains 5 keynote talks which cover a range of hot topics in computer science and informatics. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.

This book provides a platform for addressing human factors challenges in software and systems engineering, both pushing the boundaries of current research and responding to new challenges, fostering new research ideas in the process. This book is intended for researchers, professional software and systems engineers, and human factors and human systems integration experts to help them address societal challenges for next-generation systems with applications for meeting them. Topics include evolutionary and complex systems, human systems integration, smart grids and infrastructure, workforce training requirements, systems engineering education, and defense and aerospace. Based on the AHFE 2016 International Conference on Human Factors, Software, and Systems Engineering, held on July 27-31, 2016, in Walt Disney World (R), Florida, USA. This book represents an inspiring guide for all researchers and professionals in the field of Human Factors, Software, and Systems Engineering.

This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016. The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow analysis; model checking; new applications; program transformation; program verification; security analysis; theoretical frameworks; and type checking.

This work provides a short "getting started" guide to Fortran 90/95. The main target audience consists of newcomers to the field of numerical computation within Earth system sciences (students, researchers or scientific programmers). Furthermore, readers accustomed to other programming languages may also benefit from this work, by discovering how some programming techniques they are familiar with map to Fortran 95. The main goal is to enable readers to quickly start using Fortran 95 for writing useful programs. It also introduces a gradual discussion of Input/Output facilities relevant for Earth system sciences, from the simplest ones to the more advanced netCDF library (which has become a de facto standard for handling the massive datasets used within Earth system sciences). While related works already treat these disciplines separately (each often providing much more information than needed by the beginning practitioner), the reader finds in this book a shorter guide which links them. Compared to other books, this work provides a much more compact view of the language, while also placing the language-elements in a more applied setting, by providing examples related to numerical computing and more advanced Input/Output facilities for Earth system sciences. Naturally, the coverage of the programming language is relatively shallow, since many details are skipped. However, many of these details can be learned gradually by the practitioner, after getting an overview and some practice with the language through this book.

This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015. The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway systems; fault tolerance; automotive systems; software and systems analysis; tools.

Learn how to break systems, networks, and software in order to determine where the bad guys might get in. Once the holes have been determined, this short book discusses how they can be fixed. Until they have been located, they are exposures to your organization. By reading Penetration Testing Basics, you'll gain the foundations of a simple methodology used to perform penetration testing on systems and networks for which you are responsible. What You Will Learn Identify security vulnerabilities Use some of the top security tools to identify holes Read reports from testing tools Spot and negate common attacks Identify common Web-based attacks and exposures as well as recommendations for closing those holes Who This Book Is For Anyone who has some familiarity with computers and an interest in information security and penetration testing.

Get started with MATLAB for deep learning and AI with this in-depth primer. In this book, you start with machine learning fundamentals, then move on to neural networks, deep learning, and then convolutional neural networks. In a blend of fundamentals and applications, MATLAB Deep Learning employs MATLAB as the underlying programming language and tool for the examples and case studies in this book. With this book, you'll be able to tackle some of today's real world big data, smart bots, and other complex data problems. You'll see how deep learning is a complex and more intelligent aspect of machine learning for modern smart data analysis and usage. What You'll Learn Use MATLAB for deep learning Discover neural networks and multi-layer neural networks Work with convolution and pooling layers Build a MNIST example with these layers Who This Book Is For Those who want to learn deep learning using MATLAB. Some MATLAB experience may be useful.

The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of the journal is on approaches for systematic identification, modularization, representation, and composition of crosscutting concerns, i.e., the aspects and evaluation of such approaches and their impact on improving quality attributes of software systems. This volume, the 12th in the Transactions on Aspect-Oriented Software Development series, contains one regular paper, on modular reasoning in aspect-oriented languages from a substitution perspective, and four extended, improved papers selected from those presented at Modularity 2014. Topics covered include novel dynamic semantics through delegation proxies, modularity potential detection based on co-change clusters, improvements in reusability for components of semantic specifications of programming languages, and probabilistic model checking applied to dynamically generated members of a product line.

This book introduces a new logic-based multi-paradigm programming language that integrates logic programming, functional programming, dynamic programming with tabling, and scripting, for use in solving combinatorial search problems, including CP, SAT, and MIP (mixed integer programming) based solver modules, and a module for planning that is implemented using tabling. The book is useful for undergraduate and graduate students, researchers, and practitioners.

Handbook of Open Source Tools introduces a comprehensive collection of advanced open source tools useful in developing software applications. The book contains information on more than 200 open-source tools which include software construction utilities for compilers, virtual-machines, database, graphics, high-performance computing, OpenGL, geometry, algebra, graph theory , GUIs and more. Special highlights for software construction utilities and application libraries are included. Each tool is covered in the context of a real like application development setting. This unique handbook presents a comprehensive discussion of advanced tools, a valuable asset used by most application developers and programmers; includes a special focus on Mathematical Open Source Software not available in most Open Source Software books, and introduces several tools (eg ACL2, CLIPS, CUDA, and COIN) which are not known outside of select groups, but are very powerful. Handbook of Open Source Tools is designed for application developers and programmers working with Open Source Tools. Advanced-level students concentrating on Engineering, Mathematics and Computer Science will find this reference a valuable asset as well.