This book constitutes the proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013, held in Bertinoro, Italy, in August 2013. The 9 papers presented in this volume were carefully reviewed and selected from 12 submissions. They deal with traditional approaches to complexity analysis, differential privacy, and probabilistic analysis of programs.

The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet. Stochastic model checking is an important field in stochastic analysis. It has rapidly gained popularity, due to its powerful and systematic methods to model and analyze stochastic systems. This book presents 7 tutorial lectures given by leading scientists at the ROCKS Autumn School on Stochastic Model Checking, held in Vahrn, Italy, in October 2012. The 7 chapters of this tutorial went through two rounds of reviewing and improvement and are summarizing the state-of-the-art in the field, centered around the tree areas of stochastic models, abstraction techniques and stochastic model checking.

Developing apps for Apple's broadening platform of devices is an exciting topic these days. Apple created the Swift programming language to build state-of-the-art apps using the latest Apple technologies. In this 200-page book, author Scott Gardner articulates the similarities and differences between traditional Objective-C based programming and Swift, revealing what you need to know from syntax changes to emerging best practices and paradigm shifts, to write powerful, expressive, and flexible code in Swift. Written at a brisk pace and in a methodical style, you'll learn how to apply your Objective-C skills to successfully transition to programming in Swift. In this book, you'll learn: * What is Swift and how does it compare to Objective-C * How to become proficient in Swift by leveraging your existing Objective-C skills * How to take advantage of new capabilities in Swift * What are the emerging best practices in Swift programming Transitioning to Swift reaches out to all developers who are interested in creating state-of-the-art apps for Apple's broadening platform of devices for both consumers and enterprise. Apple's introduction of the new Swift programming language raises many questions. This book addresses those questions directly, and prepares developers for building the next generation of apps in Swift to surprise and delight users the world over.

This book is intended to support ISPF application programmers to become professional in the smart programming of ISPF applications using the REXX language. The contents are presented in a modular manner to suit reading with heterogeneous ISPF programming knowledge. The following topics are covered: Introduction to the programming language REXX as well as to ISPF programming, data processing in ISPF applications, use of messages, panels, skeletons, tables, ISPF variables and an introduction to creating and applying edit macros. Each theme is vividly illustrated by programming examples. The Smart ISPF Utilities contain some very useful programming aids that are often useful when programming ISPF applications. The book serves as a textbook as well as a manual for daily work. Many cross-references are included as well as an extensive index. Moreover, the author gives many helpful hints and tips on smart ISPF programming practices. The Smart ISPF Utilities contain many useful programming aids.

The Formal Aspects of Computing Science (FACS) Specialist Group of the British Computer Society set up a seriesof evening seminarsin 2005to report on advances in the application of formal design and analysis techniques in all the stages of software development. The seminars attracted an audience fromboth academiaand industry, andgavethem the opportunity to hear and meet pioneers andkeyresearchersin computing science.Normally it wouldbe necessaryto travelabroadand attend an internationalconference to be in the presence of such respected ?gures; instead, the evening seminar programme, overa period of threeyears,broughtthe keynotespeakers of the conference to theBritishComputerSocietyheadquarters,fortheconvenienceofanaudience basedinLondon.Severalspeakersfromtheperiod2005-2007kindlydeveloped their talks into full papers, which form the basis of this volume. Iamdelightedtowelcomethepublicationofsuchanexcellentandcomp- hensiveseriesofcontributions.Theyarenowavailableinbookformtoaneven wider audience, including developers interested in solutions already available, and researchers interested in problems which remain for future solution. Sir Tony Hoare Preface They envy the distinction I have won; let them therefore, envy my toils, my honesty, and the methods by which I gained it. - Sallust (86-34 BC) Formalmethods area powerfultechniqueforhelping toensure the correctness of software. The growth in their use has been slow but steady and they are typically applied in critical systems where safety or security is paramount.

The proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing provide an overview on supportive software tools and environments in the fields of System Management, Parallel Debugging and Performance Analysis. In the pursuit to maintain exponential growth for the performance of high performance computers the HPC community is currently targeting Exascale Systems. The initial planning for Exascale already started when the first Petaflop system was delivered. Many challenges need to be addressed to reach the necessary performance. Scalability, energy efficiency and fault-tolerance need to be increased by orders of magnitude. The goal can only be achieved when advanced hardware is combined with a suitable software stack. In fact, the importance of software is rapidly growing. As a result, many international projects focus on the necessary software.

Here is a comprehensive reference for Java programmers interested in learning and applying Jini toward their respective network applications - any Java enabled device interoperable with any other Java-enabled device. Jini is Sun's Java-based technology, with potential to make transparent, "universal plug and play" a reality. This book is an expanded, updated version of the most popular online tutorial for Jini. Author Jan Newmarch includes comprehensive Jini advancements, and other important topics, like how Enterprise JavaBeans blend in with the Jini framework and how CORBA fits in as well. The book is based on Jini 2.0.

Beginning NetBeans IDE is your authoritative tutorial for learning and using the open source NetBeans IDE platform backed by Oracle. Written by a NetBeans product manager at Oracle, Geertjan Wielenga shows you what NetBeans really is all about and how to install and set it up. Then, right away, he shows you how to write your first simple NetBeans Java application. In this book, you get a tour of the various, essential and key NetBeans wizards and plug-ins. Then, you start building a more complex Java-based application using the NetBeans IDE. And, you learn how to improve that application by exploring the NetBeans refactoring, testing/debugging, profiling and distribution tools. After reading and using this tutorial, you'll come away with a working case study that you can re-apply as a template for your own specific needs. You'll have an understanding of the key essentials of the popular NetBeans IDE.

Leverage Xamarin.Forms to build iOS and Android apps using a single, cross-platform approach. This book is the XAML companion to the C# guide Xamarin Mobile Application Development. You'll begin with an overview of Xamarin.Forms, then move on to an in-depth XAML (eXtensible Application Markup Language) primer covering syntax, namespaces, markup extensions, constructors, and the XAML standard. XAML gives us both the power of decoupled UI development and the direct use of Xamarin.Forms elements. This book explores the core of the Xamarin.Forms mobile app UI: using layouts and FlexLayouts to position controls and views to design and build screens, formatting your UI using resource dictionaries, styles, themes and CSS, then coding user interactions with behaviors, commands, and triggers. You'll see how to use XAML to build sophisticated, robust cross-platform mobile apps and help your user get around your app using Xamarin.Forms navigation patterns. Building Xamarin.Forms Mobile Apps Using XAML explains how to bind UI to data models using data binding and using the MVVM pattern, and how to customize UI elements for each platform using industry-standard menus, effects, custom renderers, and native view declaration. What You Will Learn Create world-class mobile apps for iOS and Android using C# and XAML Build a XAML UI decoupled from the C# code behind Design UI layouts such as FrameLayout, controls, lists, and navigation patterns Style your app using resource dictionaries, styles, themes, and CSS Customize controls to have platform-specific features using effects, custom renderers, and native views Who This Book Is For XAML and C# developers, architects, and technical managers as well as many Android and iOS developers

This book constitutes the refereed proceedings of the 4th International Symposium on Model-Based Safety and Assessment, IMBSA 2014, held in Munich, Germany, in October 2014. The 15 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on modeling paradigms, validation and testing, fault detection and handling, safety assessment in the automotive domain, and case studies.

Over time, basic research tends to lead to specialization - increasingly narrow t- ics are addressed by increasingly focussed communities, publishing in increasingly con ned workshops and conferences, discussing increasingly incremental contri- tions. Already the community of programming languages is split into various s- communities addressing different aspects and paradigms (functional, imperative, relational, and object-oriented). Only a few people manage to maintain a broader view, and even fewer step back in order to gain an understanding about the basic principles, their interrelation, and their impact in a larger context. The pattern calculus is the result of a profound re-examination of a 50-year - velopment. It attempts to provide a unifying approach, bridging the gaps between different programming styles and paradigms according to a new slogan - compu- tion is pattern matching. It is the contribution of this book to systematically and elegantly present and evaluate the power of pattern matching as the guiding paradigm of programming. Patterns are dynamically generated, discovered, passed, applied, and automatically adapted, based on pattern matching and rewriting technology, which allows one to elegantly relate things as disparate as functions and data structures. Of course, pattern matching is not new. It underlies term rewriting - it is, for example, inc- porated in, typically functional, programming languages, like Standard ML - but it has never been pursued as the basis of a unifying framework for programming.

This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014. The 28 revised full papers presented together with 2 tool papers, and 8short papers were carefully reviewed and selected from 70 submissions. The scope of the conference was on following topics: monitoring and trace slicing, runtime verification of distributed and concurrent systems, runtime Verification of real-time and embedded systems, testing and bug finding, and inference and learning.

This book constitutes the refereed proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, held in Valencia, Spain, in September/October 2014. The 41 full papers presented in this volume were carefully reviewed and selected from a total of 126 submissions. The scope of the conference series is broad, encompassing modeling languages, methods, tools, and applications considered from theoretical and practical angles and in academic and industrial settings. The papers report on the use of modeling in a wide range of cloud, mobile, and web computing, model transformation behavioral modeling, MDE: past, present, future, formal semantics, specification, and verification, models at runtime, feature and variability modeling, composition and adaptation, practices and experience, modeling for analysis, pragmatics, model extraction, manipulation and persistence, querying, and reasoning.

This book constitutes the refereed proceedings of the 10th International Workshop on OpenMP, held in Salvador, Brazil, in September 2014. The 16 technical full papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on tasking models and their optimization; understanding and verifying correctness of OpenMP programs; OpenMP memory extensions; extensions for tools and locks; experiences with OpenMP device constructs.

This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.

This book constitutes the refereed proceedings of the 11th International Colloquium on Theoretical Aspects of Computing, ICTAC 2014 held in Bucharest, Romania, in September 2014. The 25 revised full papers presented together with three invited talks were carefully reviewed and selected from 74 submissions. The papers cover various topics such as automata theory and formal languages; principles and semantics of programming languages; theories of concurrency, mobility and reconfiguration; logics and their applications; software architectures and their models, refinement and verification; relationship between software requirements, models and code; static and dynamic program analysis and verification; software specification, refinement, verification and testing; model checking and theorem proving; models of object and component systems; coordination and feature interaction; integration of theories, formal methods and tools for engineering computing systems; service-oriented architectures: models and development methods; models of concurrency, security, and mobility; theories of distributed, grid and cloud computing; real-time, embedded, hybrid and cyber-physical systems; type and category theory in computer science; models for e-learning and education; case studies, theories, tools and experiments of verified systems; domain-specific modeling and technology: examples, frameworks and practical experience; challenges and foundations in environmental modeling and monitoring, healthcare, and disaster management.

This book constitutes the proceedings of the 18th Brazilian Symposium on Programming Languages, SBLP 2014, held in Maceio, Brazil, in October 2014. The 11 full papers were carefully reviewed and selected from 31 submissions. The papers cover topics such as program generation and transformation; programming paradigms and styles; formal semantics and theoretical foundations; program analysis and verification; programming language design and implementation.

This Festschrift volume includes a collection of papers written in honor of the accomplishments of Professor Yonezawa on the occasion of his 65th birthday in 2012. With a few exceptions, the papers in this Festschrift were presented at an international symposium celebrating this occasion. Also included are reprints of two of Professor Yonezawa's most influential papers on the programming language ABCL. The volume is a testament strong and lasting impact Professor Yonezawa's research accomplishments as well as the inspiration he has been to colleagues and students alike.

This book constitutes the refereed papers of the proceedings of the 8th International Conference on System Analysis and Modeling, SAM 2014, held in Valencia, Spain, in September 2014. The 18 full papers and the 3 short papers presented together with 2 keynotes were carefully reviewed and selected from 71 submissions. The contributions are organized in topical sections named: reuse; availability, safety and optimization; sequences and interactions; testing; metrics, constraints and repositories; and SDL and V&V.

MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java. Programming MATLAB for Numerical Analysis introduces you to the MATLAB language with practical hands-on instructions and results, allowing you to quickly achieve your goals. You will first become familiar with the MATLAB environment, and then you will begin to harness the power of MATLAB. You will learn the MATLAB language, starting with an introduction to variables, and how to manipulate numbers, vectors, matrices, arrays and character strings. You will learn about MATLAB's high-precision capabilities, and how you can use MATLAB to solve problems, making use of arithmetic, relational and logical operators in combination with the common functions and operations of real and complex analysis and linear algebra. You will learn to implement various numerical methods for optimization, interpolation and solving non-linear equations. You will discover how MATLAB can solve problems in differential and integral calculus, both numerically and symbolically, including techniques for solving ordinary and partial differential equations, and how to graph the solutions in brilliant high resolution. You will then expand your knowledge of the MATLAB language by learning how to use commands which enable you to investigate the convergence of sequences and series, and explore continuity and other analytical features of functions in one and several variables.

This book constitutes the refereed proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, held in Singapore, Singapore in November 2014. The 20 regular papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 57 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems - ranging from foundational to practical issues. The papers focus on topics such as semantics, logics, foundational theory; design of languages, type systems and foundational calculi; domain-specific languages; compilers, interpreters, abstract machines; program derivation, synthesis and transformation; program analysis, verification, model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; as well as tools and environments for programming and implementation.

The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organized during the first week of March 1997 by S. Jiihnichen, J. Loeckx, and M. Wirsing. During that seminar, after Egon Borger's talk on How to Use Abstract State Machines in Software Engineering, Wolfram Schulte, at the time a research assistant at the University of Ulm, Germany, questioned whether ASMs provide anything special as a scientifically well founded and rigorous yet simple and industrially viable framework for high level design and analysis of complex systems, and for natural refinements of models to executable code. Wolfram Schulte argued, referring to his work with K. Achatz on A Formal Object-Oriented Method Inspired by Fusion and Object-Z [1], that with current techniques of functional programming and of axiomatic specification, one can achieve the same result. An intensive and long debate arose from this discussion. At the end of the week, it led Egon Borger to propose a collaboration on a real-life specification project of Wolfram Schulte's choice, as a comparative field test of purely functional declarative methods and of their enhancement within an integrated abstract state-based operational (ASM) approach. After some hesitation, in May 1997 Wolfram Schulte accepted the offer and chose as the theme a high-level specification of Java and of the Java Virtual Machine.

There is a growing need for research within practice settings. Increasing competition for funding requires organizations to demonstrate that the funding they are seeking is going towards effective programming. Additionally, the evidence-based practice movement is generally pushing organizations towards research activities, both as producers and consumers.There have been many books written about research methodology and data analysis in the helping professions, and many books have been written about using R to analyze and present data; however, this book specifically addresses using R to evaluate programs in organizational settings. This book is divided into three sections. The first section addresses background information that is helpful in conducting practice-based research. The second section of the book provides necessary background to begin working with R. Topics include how to download R and RStudio, navigation, R packages, basic R functions, and importing data. This section also introduces The Clinical Record, a freely available database program to help organizations record and track client information. The remainder of the book uses case studies to illustrate how to use R to conduct program evaluations. Techniques include data description and visualization, bivariate analysis, simple and multiple regression, and logistic regression. The final chapter illustrates a comprehensive summary of the skills demonstrated throughout the book using The Clinical Record as a data repository.

This book enables readers to quickly develop a working knowledge of HTML, JavaScript and PHP. The text emphasizes a hands-on approach to learning and makes extensive use of examples. A detailed science, engineering, or mathematics background is not required to understand the material, making the book ideally suitable for self-study or an introductory course in programming. Features: describes the creation and use of HTML documents; presents fundamental concepts of client-side and server-side programming languages; examines JavaScript and PHP implementation of arrays, built-in and user-defined methods and functions, math capabilities, and input processing with HTML forms; extends programming fundamentals to include reading and writing server-based files, command-line interfaces, and an introduction to GD graphics; appendices include a brief introduction to using a "pseudocode" approach to organizing solutions to computing problems; includes a Glossary and an extensive set of programming exercises.

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. The total of 67 full papers was carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: evolving critical systems; rigorous engineering of autonomic ensembles; automata learning; formal methods and analysis in software product line engineering; model-based code generators and compilers; engineering virtualized systems; statistical model checking; risk-based testing; medical cyber-physical systems; scientific workflows; evaluation and reproducibility of program analysis; processes and data integration in the networked healthcare; semantic heterogeneity in the formal development of complex systems. In addition, part I contains a tutorial on automata learning in practice; as well as the preliminary manifesto to the LNCS Transactions on the Foundations for Mastering Change with several position papers. Part II contains information on the industrial track and the doctoral symposium and poster session.