“…What You Will Learn Gain practical information about the Java Virtual Machine Understand the popular JVM languages and the Java Class Library Get to know about various programming paradigms such as imperative, object-oriented, and functional Work with common JVM tools such as Eclipse IDE, Gradle, and Maven Explore frameworks such as SparkJava, Vert.x, Akka and JavaFX Boost your knowledge about dialects of other well-known programming languages that run on the JVM, including JavaScript, Python, and Ruby In Detail Anyone who knows software development knows about the Java Virtual Machine. …”

“…Iverson's coverage includes Downloading Commons project libraries and installing them into Eclipse Programmatically accessing resources via HTTP, FTP, NNTP, and other Internet protocols Using the Jakarta Commons suite of configurable object pools Managing database connectivity in Swing applications—and anywhere containers aren't doing it for you Using BeanUtils to generate forms and gain runtime access to information provided by JavaBeans-style objects Traversing complex object graphs with JXPath Using Jakarta Commons' advanced collections tools to establish richer object relationships Extending java.lang with better methods for manipulating core classes Implementing conversion routines, configurable logging, command-line help, and more Exploring the newest packages, including emerging "sandbox" packages Whether you're building code for front-end Web applications, client-side software, or back-end servers, learning Jakarta Commons will make you far more efficient. …”

“…Practical Android Projects introduces the Android software development kit and development tools of the trade, and then dives into building cool-looking and fun apps that put Android's amazing capabilities to work. …”

Tabla de Contenidos: “…Intro -- Beginning Android 3D Game Development -- Contents at a Glance -- Contents -- About the Author -- About the Technical Reviewer -- Acknowledgments -- Introduction -- Chapter 1: Let's Meet the Android -- Overview of Android -- Overview of the Android SDK -- Android Software Development Kit (SDK) Requirements -- Android SDK Components Overview -- Eclipse with Android Development Tools Plug-in -- Android SDK Manager -- Android Virtual Device -- How to Set Up for Development -- Android Development Tools Integrated Development Environment (IDE) Overview -- Package Explorer -- Source Code Area -- Outline -- Dalvik Debug Monitor Server (DDMS) -- LogCat Window -- Launching the SDK Manager and AVD Manager from Eclipse -- Hands-on Example: Non-OpenGL ES Text "Hello World" Program -- Creating a New Android Project -- Running on an Android Emulator -- Running on an Actual Android Device -- The Main Source Code -- The Graphical Layout -- The Actual "Hello World" Data -- Summary -- Chapter 2: Java for Android -- Overview of the Java Language -- Java Comments -- Java Basic Data Types -- Arrays -- Data Modifiers -- Java Operators -- Arithmetic Operators -- Unary Operators -- Conditional Operators -- Bitwise and Bit Shift Operators -- Java Flow Control Statements -- Java Classes -- Packages and Classes -- Accessing Classes in Packages -- Java Interfaces -- Accessing Class Variables and Functions -- Java Functions -- Calling the Parent Function -- The Basic Android Java Program Framework -- Android Activity Life Cycle Overview -- Key Activity Life Cycle Cases -- Seeing the Activity Life Cycle in Action -- The Basic Android Java OpenGL Framework -- Basic Android OpenGL ES Framework for a Single-View OpenGL ES Application -- The Custom GLSurfaceView -- The Custom Renderer -- Basic Android OpenGL ES Framework for a Multiple View OpenGL ES Application…”

Tabla de Contenidos: “…-- 1.3.1 Spark predicts restaurant quality at NC eateries -- 1.3.2 Spark allows fast data transfer for Lumeris -- 1.3.3 Spark analyzes equipment logs for CERN -- 1.3.4 Other use cases -- 1.4 Why you will love the dataframe -- 1.4.1 The dataframe from a Java perspective -- 1.4.2 The dataframe from an RDBMS perspective -- 1.4.3 A graphical representation of the dataframe -- 1.5 Your first example -- 1.5.1 Recommended software -- 1.5.2 Downloading the code -- 1.5.3 Running your first application -- Command line -- Eclipse -- 1.5.4 Your first code -- Summary -- 2. …”

“…This book Illuminates the tradeoffs associated with testing, so you can make better decisions about what and how to test Introduces TestNG, explains its goals and features, and shows how to apply them in real-world environments Shows how to integrate TestNG with your existing code, development frameworks, and software libraries Demonstrates how to test crucial code features, such as encapsulation, state sharing, scopes, and thread safety Shows how to test application elements, including JavaEE APIs, databases, Web pages, and XML files Presents advanced techniques: testing partial failures, factories, dependent testing, remote invocation, cluster-based test farms, and more Walks through installing and using TestNG plug-ins for Eclipse, and IDEA Contains extensive code examples Whether you use TestNG, JUnit, or another testing framework, the testing design patterns presented in this book will show you how to improve your tests by giving you concrete advice on how to make your code and your design more testable…”

Tabla de Contenidos: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCETTM: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification — SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn–Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). …”

Tabla de Contenidos: “…Cover -- Copyright -- Credits -- About the Authors -- About the Reviewers -- www.PacktPub.com -- Table of Contents -- Preface -- Chapter 1: Augmented Reality Concepts and Tools -- A quick overview of AR concepts -- Sensory augmentation -- Displays -- Registration in 3D -- Interaction with the environment -- Choose your style - sensor-based and computer vision-based AR -- Sensor-based AR -- Computer vision-based AR -- AR architecture concepts -- AR software components -- AR control flow -- System requirements for development and deployment -- Installing the Android Developer Tools Bundle and the Android NDK -- Installation of JMonkeyEngine -- Installation of Vuforia -- Which Android devices to use -- Summary -- Chapter 2: Viewing the World -- Understanding the camera -- Camera characteristics -- Camera versus screen characteristics -- Accessing the camera in Android -- Creating an Eclipse project -- Permissions in the Android manifest -- Creating an activity that displays the camera -- Setting camera parameters -- Creating SurfaceView -- Live camera view in JME -- Creating the JME activity -- Creating the JME application -- Summary -- Chapter 3: Superimposing the World -- The building blocks of 3D rendering -- Real camera and virtual camera -- Camera parameters (intrinsic orientation) -- Using the scenegraph to overlay a 3D model onto the camera view -- Improving the overlay -- Summary -- Chapter 4: Locating in the World -- Knowing where you are - handling GPS -- GPS and GNSS -- JME and GPS - tracking the location of your device -- Knowing where you look - handling inertial sensors -- Understanding sensors -- Sensors in JME -- Improving orientation tracking - handling sensor fusion -- Sensor fusion in a nutshell -- Sensor fusion in JME -- Getting content for your AR browser - the Google Place API -- Query for POIs around your current location…”

“…What You'll Learn Use terminal emulators to access the command line and talk to the device Establish Wi-Fi connectivity with a wireless network Upgrade the operating system and install additional software Bring up Eclipse IDE and create a cross-compiler toolchain on Mac OS X Cross-compile for the ARM processors in the ARTIK modules using Arduino IDE with libArduino to C Use C to access the ARTIK hardware via a file based API Use Node.js and Python inside the ARTIK module Integrate applications with the Samsung SAMI data aggregation hub Use Temboo to generate IoT software solutions that can be downloaded and compiled natively inside the ARTIK Debug applications with software and hardware probes Who This Book Is For Moderately experienced developers wanting to understand ARTIK and how to interact with it from within their own apps or web services. …”