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.

The SourceForge open source lightweight Wicket project is a Java web application framework that takes simplicity, separation of concerns and ease of development to a new level. This book takes a no-nonsense approach, jumping directly to the practical aspects of Wicket. Chapters include Developing Wicket Forms; Validation with Wicket; Developing a Simple Application; Providing a Common Layout; Spring Integration; Wicket Localization; Wicket and Ajax; Custom Components and Wicket Extensions, and Unit Testing. Pro Wicket gets you quickly up and running with the framework and the attractively simple 'wicket-way' of addressing web development requirements.

This book constitutes the proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering, FASE 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 23 papers presented in this volume were carefully reviewed and selected from 91 submissions. They were organized in topical sections named: learning and inference; test selection; program and system analysis; graph modeling and transformation; model transformations; configuration and synthesis; and software product lines.

Learn to master basic programming tasks from scratch with real-life, scientifically relevant examples and solutions drawn from both science and engineering. Students and researchers at all levels are increasingly turning to the powerful Python programming language as an alternative to commercial packages and this fast-paced introduction moves from the basics to advanced concepts in one complete volume, enabling readers to gain proficiency quickly. Beginning with general programming concepts such as loops and functions within the core Python 3 language, and moving on to the NumPy, SciPy and Matplotlib libraries for numerical programming and data visualization, this textbook also discusses the use of Jupyter Notebooks to build rich-media, shareable documents for scientific analysis. The second edition features a new chapter on data analysis with the pandas library and comprehensive updates, and new exercises and examples. A final chapter introduces more advanced topics such as floating-point precision and algorithm stability, and extensive online resources support further study. This textbook represents a targeted package for students requiring a solid foundation in Python programming.

Learn the basics of test driven development (TDD) using Ruby. You will carry out problem domain analysis, solution domain analysis, designing test cases, and writing tests first. These fundamental concepts will give you a solid TDD foundation to build upon. Test Driven Development in Ruby is written by a developer for developers. The concepts are first explained, then a coding demo illustrates how to apply the theory in practice. At the end of each chapter an exercise is given to reinforce the material. Complete with working files and code samples, you'll be able to work alongside the author, a trainer, by following the material in this book. What You Will Learn Carry out problem domain analysis, solution domain analysis, designing test cases, and writing tests first Use assertions Discover the structure of a test and the TDD cycle Gain an understanding of minimal implementation, starter test, story test, and next test Handle refactoring using Ruby Hide implementation details Test precisely and concretely Make your code robust Who This Book Is For Experienced Ruby programmers or web developers with some prior experience with Ruby.

Use solid and practical exercises to master the fundamentals of Adobe Animate CC. This is one of the first comprehensive books on Adobe Animate CC to thoroughly examine and demonstrate how to create and deploy interactive and motion design content to mobile, tablet, and desktop screens. Using a series of carefully developed tutorials, Beginning Adobe Animate CC will lead you from basic Animate CC document workflows to the point where you can create animations, interactive projects, and anything else using a variety of techniques. Each chapter focuses on a major aspect of Animate CC and then lets you take over with a series of "Your Turn" exercises that let you create amazing projects based on what you have learned. Beginning Adobe Animate CC focuses on the core skill set needed to master Animate CC and while you are at it, you will be guided to the mastery of the fundamentals, such as drawing tools, movie clips, video and audio content, text, graphics, external data, components, and a solid overview of the code you need to know to take your skills to the next level. What You Will Learn: Create and deploy animated and interactive content for the HTML 5 universe. Create images and vector graphics for use in Animate CC. Examine a variety of animation techniques that make full use of the Animate CC timeline. Add video and audio content to an Animate CC project. Use many of the graphic creation tools in Animate CC. Publish your projects to a variety of formats. Who This Book is For: Those who are proficient in creating and publishing animated and interactive web-based content. It will also help those who are proficient in using Adobe Flash Professional CC to understand the improvements and new workflows found in Adobe Animate CC.

The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 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 48 full papers, 4 tool demonstration papers, and 12 software competition papers presented in these volumes were carefully reviewed and selected from 181 submissions to TACAS and 32 submissions to the software competition. They were organized in topical sections named: verification techniques; learning; synthesis; automata; concurrency and bisimulation; hybrid systems; security; run-time verification and logic; quantitative systems; SAT and SMT; and SV COMP.

The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 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 48 full papers, 4 tool demonstration papers, and 12 software competition papers presented in these volumes were carefully reviewed and selected from 181 submissions to TACAS and 32 submissions to the software competition. They were organized in topical sections named: verification techniques; learning; synthesis; automata; concurrency and bisimulation; hybrid systems; security; run-time verification and logic; quantitative systems; SAT and SMT; and SV COMP.

This introduction to Tcl/Tk bridges the gaps between introductions, comprehensive manuals, and collections of scripts that solve particular problems. There are over 200 exercises with solutions for both Unix and Windows platforms.
Tcl/Tk for Programmers introduces high-level Tcl/Tk scripting language to experienced programmers with either Unix or Windows backgrounds. It includes a short introduction to TCP/IP, introductions on writing client-side scripts and GUI interfaces as well as integrating scripts with C/C++. In addition to covering version 8.0/8.0, the book describes the major differences between version 8.0/8.0, 7.6/4.2, and the experimental alpha version 8.1/8.1. Zimmer has extensive knowledge of Tcl/Tk programming and currently runs a consulting and training company based on his experience.

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.

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.

Learn how to build an interactive source code analytics system using Roslyn and JavaScript. This concise 150 page book will help you create and use practical code analysis tools utilizing the new features of Microsoft's Roslyn compiler to understand the health of your code and identify parts of the code for refactoring. Source code is one of the biggest assets of a software company. However if not maintained well, it can become a big liability. As source code becomes larger. more complex and accessed via the cloud, maintaining code quality becomes even more challenging. The author provides straightforward tools and advice on how to manage code quality in this new environment. Roslyn exposes a set of APIs which allow developers to parse their C# and VB.NET code and drastically lower the barrier to entry for Meta programming in .NET. Roslyn has a dedicated set of APIs for creating custom refactoring for integrating with Visual Studio. This title will show readers how to use Roslyn along with industry standard JavaScript visualization APIs like HighCharts, D3.js etc to create a scalable and highly responsive source code analytics system. What You Will Learn Understand the Roslyn Syntax API Use Data Visualization techniques to assist code analysis process visually Code health monitoring matrices (from the standard of Code Query Language) Code mining techniques to identify design patterns used in source code Code forensics techniques to identify probable author of a given source code Techniques to identify duplicate/near duplicate code Who This Book is For .NET Software Developers and Architects

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.

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.

Learn the basics of ethical hacking and gain insights into the logic, algorithms, and syntax of Python. This book will set you up with a foundation that will help you understand the advanced concepts of hacking in the future. Learn Ethical Hacking with Python 3 touches the core issues of cyber security: in the modern world of interconnected computers and the Internet, security is increasingly becoming one of the most important features of programming. Ethical hacking is closely related to Python. For this reason this book is organized in three parts. The first part deals with the basics of ethical hacking; the second part deals with Python 3; and the third part deals with more advanced features of ethical hacking. What You Will Learn Discover the legal constraints of ethical hacking Work with virtual machines and virtualization Develop skills in Python 3 See the importance of networking in ethical hacking Gain knowledge of the dark web, hidden Wikipedia, proxy chains, virtual private networks, MAC addresses, and more Who This Book Is For Beginners wanting to learn ethical hacking alongside a modular object oriented programming language.

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 compact book introduces the concepts of Java lambdas and parallel streams in a concise form. It begins by introducing new supporting features such as functional interfaces, default methods and more. After this, the author demonstrates how streams can be parallelized in a very simple way-within certain limits, no knowledge about the thread management is needed. Nevertheless, some basic elements in the context of parallelism need to be considered. Here, the book provides a variety of information and best practices. What You Will Learn Master lambdas and streams Work with the default method Harness streams and the stream() function Use Stream and Spliterator Take advantage of parallel streams Work with collectors and concurrency Who This Book Is For Experienced Java programmers and developers. div>

Discover more than 100 down-to-earth code recipes, covering a wide range of useful topics using complete and real-world working code examples. This book is updated to include the Android N SDK (7.0), as well as earlier releases. Crammed with insightful instruction and helpful examples, this fifth edition of Android Recipes is your guide to writing apps for one of today's hottest mobile platforms. It offers pragmatic advice that will help you get the job done quickly and well. This can save you a great deal of work over creating a project from scratch. Instead of abstract descriptions of complex concepts, in Android Recipes you'll find live code examples. When you start a new project you can consider copying and pasting the code and configuration files from this book and then modifying them for your own customization needs. What You'll Learn Code for Android smartphones and tablets Use external libraries to save time and effort Boost app performance by using the Android NDK and RenderScript Design apps for performance, responsiveness, and seamlessness Send data between devices and other external hardware Persist application data and share it between applications Capture and play back various device media items Communicate with web services Get the most out of your user interface Who This Book Is For All Android app developers.

Build an automated currency trading bot from scratch with java. In this book, you will learn about the nitty-gritty of automated trading and have a closer look at Java, the Spring Framework, event-driven programming, and other open source APIs, notably Google's Guava API. And of course, development will all be test-driven with unit testing coverage. The central theme of Building Trading Bots Using Java is to create a framework that can facilitate automated trading on most of the brokerage platforms, with minimum changes. At the end of the journey, you will have a working trading bot, with a sample implementation using the OANDA REST API, which is free to use. What You'll Learn Find out about trading bots Discover the details of tradeable instruments and apply bots to them Track and use market data events Place orders and trades Work with trade/order and account events Who This Book Is For Experienced programmers new to bots and other algorithmic trading and finance techniques.

Enter a world of hardcore back-end, server-side enterprise programming on the .NET platform. This book presents some of the important aspects of the C++/CLI language that often become a barrier preventing programmers from exploring further. The C++/CLI Primer is a powerful but compact book that will guide you through that barrier. Many of today's complex transactions and enterprise applications count on C++/CLI. Visual Studio 2015 and earlier versions support C++/CLI if you program using an IDE. C++/CLI is unattractive, clumsy, and hard when compared to other modern languages that run on the .NET platform. That's because it is powerful. Like light that can be viewed as a wave or particle, C++/CLI can be exercised as an unmanaged or managed or actually as the sandwich language to do mixed mode programming, which is its real power. That's also why it is unique. What You'll Learn Discover C++/CLI and why is it used in .NET programming Work with types, primitive types, object creation, and managed and abstract classes Use abstract classes in C++/CLI Harness the power of nullptre Implement code that uses boxing/unboxing Use equality/identity, properties, enums, strings, arrays, and more Who This Book Is For Experienced Microsoft .NET application developers, familiar with .NET framework and C++.

Learn how to write object-oriented programs in R and how to construct classes and class hierarchies in the three object-oriented systems available in R. This book gives an introduction to object-oriented programming in the R programming language and shows you how to use and apply R in an object-oriented manner. You will then be able to use this powerful programming style in your own statistical programming projects to write flexible and extendable software. After reading Advanced Object-Oriented Programming in R, you'll come away with a practical project that you can reuse in your own analytics coding endeavors. You'll then be able to visualize your data as objects that have state and then manipulate those objects with polymorphic or generic methods. Your projects will benefit from the high degree of flexibility provided by polymorphism, where the choice of concrete method to execute depends on the type of data being manipulated. What You'll Learn Define and use classes and generic functions using R Work with the R class hierarchies Benefit from implementation reuse Handle operator overloading Apply the S4 and R6 classes Who This Book Is For Experienced programmers and for those with at least some prior experience with R programming language.

Part technical and part theoretical, this practical guide to web typography helps designers understand how the typographic choices they make in layout and prototyping programs behave once they are turned into live code. Through a series of demos, this book teaches designers how to create typographic specific webpages by learning just enough HTML and CSS to be able to view the pages in different browsers, devices, and operating systems. With live webpages to evaluate, designers will learn how to test those pages for supported features and performance, ensuring font choices look as good in the browser as it does in their layout program, delivering a speedy experience to the users. Key Features Demonstrates the minimal amount of HTML and CSS necessary to be able to create webpages to see typographic choices in the browser. Discusses responsive design and how to evaluate and test those choices for performance and usability prior to front-end development. Demonstrates how to review your own typographic, image, and layout choices in the browser through a series of demos in the book.

Learn practical C techniques, including often-needed algorithms within reusable functions. In this book, you'll have the following code and advice at your fingertips: layout and pre-processors; control structures, iterations, and selections; pointers and structures; databases; reusability; lists, arrays, FIFO and stacks; searching and sorting; recursion; binary trees; integration; string utilities in/outside of C; web serving using Mongoose; game application code to build a MathSearch puzzle; and embedded software. Besides providing you with modules that you can immediately put to use, Practical C also teaches you how to leverage the C language in a way that beginner books cannot achieve. What You Will Learn: Avoid pitfalls that can cause intractable problems Handle lists and arrays Perform searches and sorts Binary trees Take advantage of recursion Handle exceptions Access databases Calculate integrals using numerical computation with practical applications Deal with strings in a convenient, error-free way Build a MathSearch game application, similar to WordSearch puzzle games Deal with issues specific to embedded applications Who This Book Is For Programmers who have a general knowledge of C.

Learn how to deploy Raspberry Pi computers in a classroom or lab situation and how to navigate the hardware and software choices you face. Deploying Raspberry Pi in the Classroom equips you with the skills and knowledge to plan and execute a deployment of Raspberry Pi computers in the classroom. Teachers and IT administrators at schools will see how to set up the hardware and software swiftly on your own or with the help of your students. Step-by-step instructions and practical examples walk you through building your Raspberry Pi workstations and your network, managing the computers and the network, and troubleshooting any problems that arise. This book offers several points to involve your students through hands-on activities. These activities are designed to benefit your beginner and older or more able students alike. Make Deploying Raspberry Pi in the Classroom a part of you instructional library today. What you will learn Put an easily-manageable computer on each desk for students to learn Internet use and essential office software skills Image, configure, and plan a classroom deployment of Raspberry Pi computers Manage your classroom Raspberry Pi computers and keeping them up and running smoothly and efficiently Who this book is for Primary audience would be teachers and IT administrators at schools or colleges. It will also appeal to administrators at social clubs or organizations that provide less formal tuition or simply provide Internet access.

Discover the essential concepts and new iOS 10 SDK and Swift 3 programming language APIs to build iPhone and iPad database driven applications using the defacto standard for data storage for mobile apps, SQLite. You will learn about SQL operations, such as selecting, inserting, updating and deleting data using various data types like text, numerical types, images and even audio/video data. After working through this book, you will gain an expert view of developing iOS apps using SQlite as a data storage using Objective-C and Swift. With Build iOS Database Apps with Swift and SQLite you will also gain expert knowledge on how to create databases at runtime, including creating or modifying indexes, triggers, tables, columns, and views. The examples use time-tested code from working applications. What You'll Learn: Create database and database applications using iOS and Swift Insert, select, edit, and delete records Extend SQLite Work with multi-database apps Use SQLite with Swift Backup online SQLite databases and more Who This Book Is For: Experienced Apple iOS, Swift programmers and developers.