Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes contributions from international leading researchers in the area, addressing logical formalisms and techniques, such as model checking, theorem proving, and axiomatisations for (semi) automatic verification of agent-based systems. Chapters include: * Using Theorem Proving to Verify Properties of Agent Programs * The Refinement of Multi-Agent Systems * Model Checking Agent Communication * Directions for Agent Model Checking * Model Checking Logics of Strategic Ability: Complexity * Correctness of Mult-Agent Programs: A Hybrid Approach * The Norm Implementation Problem in Normative Multi-Agent Systems * A Verification Logic for GOAL Agents * Using the Maude Term Rewriting Language for Agent Development with Formal Foundations * The Cognitive Agents Specification Language and Verification Environment * A Temporal Trace Language for Formal Modelling and Analysis of Agent Systemns * Assurance of Agent Systems: What Role Should Formal Verification Play? Specification and Verification of Multi-agent Systems is a comprehensive guide that makes a useful tool for researchers, practitioners and students, and serves as a reference work summarizing the state of the art in an accessible manner.

This book discusses various open issues in software engineering, such as the efficiency of automated testing techniques, predictions for cost estimation, data processing, and automatic code generation. Many traditional techniques are available for addressing these problems. But, with the rapid changes in software development, they often prove to be outdated or incapable of handling the software's complexity. Hence, many previously used methods are proving insufficient to solve the problems now arising in software development. The book highlights a number of unique problems and effective solutions that reflect the state-of-the-art in software engineering. Deep learning is the latest computing technique, and is now gaining popularity in various fields of software engineering. This book explores new trends and experiments that have yielded promising solutions to current challenges in software engineering. As such, it offers a valuable reference guide for a broad audience including systems analysts, software engineers, researchers, graduate students and professors engaged in teaching software engineering.

GPS Tracking with Java EE Components: Challenges of Connected Cars highlights how the self-driving car is actually changing the automotive industry, from programing embedded software to hosting services and data crunching, in real time, with really big data. The book analyzes how the challenges of the Self Driving Car (SDC) exceed the limits of a classical GPS Tracking System (GTS.) It provides a guidebook on setting up a tracking system by customizing its components. It also provides an overview of the prototyping and modeling process, and how the reader can modify this process for his or her own software. Every component is introduced in detail and includes a number of design decisions for development. The book introduces Java EE (JEE) Modules, and shows how they can be combined to a customizable GTS, and used as seed components to enrich existing systems with live tracking. The book also explores how to merge tracking and mapping to guide SDCs, and focuses on client server programming to provide useful information. It also discusses the challenges involved with the live coordination of moving cars. This book is designed to aid GTS developers and engineers in the automotive industry. It can also help Java Developers, not only interested in GPS Tracking, but in modern software design from many individual modules. Source code and sample applications will be available on the book's website.

Written by the author of the best-selling HyperText & HyperMedia, this book is an excellent guide to the methods of usability engineering. The book provides the tools needed to avoid usability surprises and improve product quality. Step-by-step information on which method to use at various stages during the development lifecycle are included, along with detailed information on how to run a usability test and the unique issues relating to international usability.
* Emphasizes cost-effective methods that developers can implement immediately
* Instructs readers about which methods to use when, throughout the development lifecycle, which ultimately helps in cost-benefit analysis.
* Shows readers how to avoid the four most frequently listed reasons for delay in software projects.
* Includes detailed information on how to run a usability test.
* Covers unique issues of international usability.
* Features an extensive bibliography allowing readers to find additional information.
* Written by an internationally renowned expert in the field and the author of the best-selling HyperText & HyperMedia.

This book looks at the two most popular ways of using Java SE 6 to write 3D games on PCs: Java 3D (a high-level scene graph API) and JOGL (a Java layer over OpenGL).

Written by Java gaming expert, Andrew Davison, this book will be first Java game book to market that uses the new Java (SE) 6 platform and its features including splash screens, scripting, and the desktop tray interface.

This will be first and maybe only book to market that covers Java game development using the Java 3D API and Java for OpenGL, both critical components and libraries to Java-based 3D game application development.

Software Application Development: A Visual C plus plus, MFC, and STL Tutorial provides a detailed account of the software development process using Visual C plus plus, MFC, and STL. It covers everything from the design to the implementation of all software modules, resulting in a demonstration application prototype which may be used to efficiently represent mathematical equations, perform interactive and intuitive model-building, and conduct control engineering experiments. All computer code is included, allowing developers to extend and reuse the software modules for their own project work. The book's tutorial-like approach empowers students and practitioners with the knowledge and skills required to perform disciplined, quality, real-world software engineering.

This book gives an in-depth introduction to the areas of modeling, identification, simulation, and optimization. These scientific topics play an increasingly dominant part in many engineering areas such as electrotechnology, mechanical engineering, aerospace, and physics. This book represents a unique and concise treatment of the mutual interactions among these topics.
Techniques for solving general nonlinear optimization problems as they arise in identification and many synthesis and design methods are detailed. The main points in deriving mathematical models via prior knowledge concerning the physics describing a system are emphasized. Several chapters discuss the identification of black-box models. Simulation is introduced as a numerical tool for calculating time responses of almost any mathematical model. The last chapter covers optimization, a generally applicable tool for formulating and solving many engineering problems.

This book constitutes the refereed post-conference proceedings of the Second IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2019, held in Tampa, USA, in October/ November 2019. The 11 full papers presented were carefully reviewed and selected from 22 submissions. Also included in this volume are 8 invited papers. The papers are organized in the following topical sections: IoT applications; context reasoning and situational awareness; IoT security; smart and low power IoT; smart network architectures; and smart system design and IoT education.

You can test just about anything with Cucumber. We certainly have, and in "Cucumber Recipes" we'll show you how to apply our hard-won field experience to your own projects. Once you've mastered the basics, this book will show you how to get the most out of Cucumber--from specific situations to advanced test-writing advice. With over forty practical recipes, you'll test desktop, web, mobile, and server applications across a variety of platforms. This book gives you tools that you can use today to automate any system that you encounter, and do it well."The Cucumber Book" showed you how your team can work together to write "executable specifications"--documents that tell a clear story and also happen to be working test code. We'll arm you with ready-rolled solutions to real-world problems: your tests will run faster, read more clearly, and work in any environment. Our first tips will help you fit Cucumber into your workflow. Powerful filters will tame tables full of test data, transforming them into the format your application needs. Custom output formatters will generate reports for any occasion. Continuous Integration servers will run your Cucumber tests every time the code changes. Next, you'll find recipes tailored to the platform you're running on. Ever wanted to know how to test a Grails app from Cucumber? Need to put a Windows program through its paces? How about a mobile app running on Android or iOS? We'll show you how to do all of these. Throughout the book, you'll see how to make Cucumber sing as you interoperate with different platforms, languages, and environments. From embedded circuits to Python and PHP web apps, Cucumber has something for you.What You Need: You'll need basic working knowledge of Cucumber and Ruby. Individual recipes may have additional requirements; for example, a recipe on Windows automation might pull in an open source GUI driver. We've written the recipes for compatibility with Ruby 1.9.3 and 1.8.7, plus Cucumber 1.1.4. Other versions may work as well, but these are the ones we test with.

This book describes the concepts and application of model-based development (MBD), model transformations, and Agile MBD to a wide range of software systems. It covers systems requirements engineering, system specification and design, verification, reuse, and system composition in the context of Agile MBD. Examples of applications in finance, system migration, internet systems and software refactoring are given. An established open-source MBD technology, UML-RSDS, is used throughout to illustrate the concepts. The book is suitable for industrial practitioners who need training in Agile MBD, and those who need to understand the issues to be considered when introducing MBD in an industrial context. It is also suitable for academic researchers, and for use as text for undergraduate or postgraduate courses in MBD. Examples for educational use of UML-RSDS are included in the book.

A new model of business has emerged within the Digital-Economy called Internetworked Enterprise (IE); it's a model that posits networks, communities of individuals and refusal of a centralized mindset as the core elements of the new frame of reference. Internetworked Enterprises are called by some scholars 'Extended' Enterprises, which use digital network to co-operate and compete with other e-business community partners by exchanging knowledge and information across trans-national borders.

"Evolving Towards the Internetworked Enterprise: Technological and Organizational Perspectives" is an edited volume based on a three year research project financed by the Italian Ministry of Research and Education. Researchers for this project are located at Polytechnic of Milan, University of Milan, University of Chieti, Engineering S.P.A and ISUFI-University of Salento. This book presents an overview of IE business methodologies, models, and an interpretative framework analyzing the sector and organizational contingencies that influence the digitalization of organizational processes in networks of SMEs (Small and Medium Enterprise). A set of case studies that provide empirical evidence on the IE phenomenon is included as well.

This book is designed for advanced-level students in computer science and business management concentrating on e-business, digital computing, information technology, economics of technology and innovation management as a reference or secondary text book. Practitioners working in these fields as corporate strategic planners and consultants will also find this book a valuable asset.

This book provides a structured overview of artificial intelligence-empowered applied software engineering. Evolving technological advancements in big data, smartphone and mobile software applications, the Internet of Things and a vast range of application areas in all sorts of human activities and professions lead current research towards the efficient incorporation of artificial intelligence enhancements into software and the empowerment of software with artificial intelligence. This book at hand, devoted to Novel Methodologies to Engineering Smart Software Systems Novel Methodologies to Engineering Smart Software Systems, constitutes the first volume of a two-volume Handbook on Artificial Intelligence-empowered Applied Software Engineering. Topics include very significant advances in (i) Artificial Intelligence-Assisted Software Development and (ii) Software Engineering Tools to develop Artificial Intelligence Applications, as well as a detailed Survey of Recent Relevant Literature. Professors, researchers, scientists, engineers and students in artificial intelligence, software engineering and computer science-related disciplines are expected to benefit from it, along with interested readers from other disciplines.

Learn how to create gorgeous and expressive imagery with the Processing graphics language and environment. It's easy with this practical, hands-on book. Processing is for artists, designers, visualization creators, hobbyists, or anyone else looking to create images, animation, and interactive pieces for art, education, science, or business. Processing for Visual Artists shows you everything you need to know in a friendly, project-based style designed for visual thinkers. The projects can serve as a starting point for your own original, creative development and exploration. Walk with veteran author Andrew Glassner on a journey of shared discovery as he uses Processing to take each project from inspiration to reality. You'll closely follow every step he takes and see exactly how each piece evolves, including the big and small mistakes he's made along the way (and how to fix them!), and the times when he changed direction. As your knowledge and skills grow and develop, you'll understand why Processing is such a powerful tool for self-expression. And you'll be ready to strike off on your own. Processing offers you a 21st-century medium for expressing new kinds of ideas and engaging audiences in new ways. This book gives you everything you need to know to explore new frontiers in your own images, animations, and interactive experiences. Source code for each chapter is available for free download on the book's description at the crcpress website.

Address Errors before Users Find ThemUsing a mix-and-match approach, Software Test Attacks to Break Mobile and Embedded Devices presents an attack basis for testing mobile and embedded systems. Designed for testers working in the ever-expanding world of "smart" devices driven by software, the book focuses on attack-based testing that can be used by individuals and teams. The numerous test attacks show you when a software product does not work (i.e., has bugs) and provide you with information about the software product under test. The book guides you step by step starting with the basics. It explains patterns and techniques ranging from simple mind mapping to sophisticated test labs. For traditional testers moving into the mobile and embedded area, the book bridges the gap between IT and mobile/embedded system testing. It illustrates how to apply both traditional and new approaches. For those working with mobile/embedded systems without an extensive background in testing, the book brings together testing ideas, techniques, and solutions that are immediately applicable to testing smart and mobile devices.

A Practical Guide to Software Testing Much has been written about the difficulty of software testing. Often these laments are accompanied by cautionary words about how careful one has to be to ensure testing is done properly. However, there is a dearth of resources that give practical guidance on the nuts and bolts of testing. Essential Software Testing: A Use-Case Approach describes testing methods and techniques in a common sense manner that is easy to understand, helping readers to quickly and effectively implement project-specific testing solutions. Divided into three parts, the book first discusses ways to make testing agile, providing insight into how testing can be done efficiently in different process environments. Next, the book supplies an overview of testing concepts. Lastly, it demonstrates how to perform the actual test, detailing specific testing activities that can be used on almost any project, with specific attention given to use-case driven testing. It describes how to test using Use Cases regardless of the specific requirements of the project. The author weaves helpful war stories throughout the text, placing the concepts in a concrete framework. This guide gives software testers a firm grasp of all testing fundamentals: how to determine what to test and how to test it, how to select proper tests to match the plan, techniques to build and trace tests, and finally, how to conduct and record tests.

Focusing on tried and true best practice techniques in cross-technology based Oracle embedded programming, this book provides authoritative guidance for improving your code compilation and execution. Geared towards IT professionals developing Oracle-based Web-enabled applications in PL/SQL, Java, C, C++, .NET, Perl, and PHP, it covers application development from concepts to customization, following a pragmatic approach to design, coding, testing, deployment, and customization-explaining how to maximize embedded programming practices. Oracle Embedded Programming and Application Development explains application development frameworks using 3GL and 4GL high-level language code as embedded code segments across .NET, Java, and Open Source technologies, in conjunction with SQL and/or PL/SQL and the Oracle RDBMS through version 11gR2. It also: Features pluggable code using parameterized constructs to promote code reuse Explains when to use a particular embedded language as a best fit for specific applications Highlights design considerations that reduce the probability of errors, enable quick resolution, and boost performance in terms of enabling a Fast-Actionable-Synchronized-Tested (FAST) solution implementation Provides best practice techniques that can enhance any application development code-design methodology for a better, easier, faster, cheaper, and pervasive solution that in turn helps achieve a Better Business Benefit (B-B-B) This practical guide details techniques for constructing architecture and code design methodologies for live application development projects that can be generalized and standardized as application development and code design frameworks. Cover to cover, the text provides an understanding of how the designed, developed, and deployed solutions conform to emerging and next-generation trends. It also discusses the conformance and usage of Web 2.0-based RIA functionality and regulatory compliance practices involving auditing and security. Praise for: "Taking an Oracle-centric approach, Lakshman skillfully guides you through the maze of various popular programming languages and environments including .NET, C/C++, Perl, PHP, Java, and even SQL and PL/SQL - not only showing you how they interact with Oracle but also which language is the best fit for a given situation."-John Kanagaraj, Executive Editor, IOUG SELECT Journal

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 users to write queries that apply complex conditions on a table. The book's unique side by side approach makes it easy for the reader to learn three major query languages in the IT industry. The author has over 20 years of experience in database design. KEY FEATURES: Contains numerous practical screenshots of Oracle SQL, T-SQL, MySQL statements and results. Shows the differences between Oracle SQL, T-SQL and MySQL side by side. Gives a real world experience for SQL developers and database administrators. Sample data is available to work on (available on our website).

Software is one of the most important products in human history and is widely used by all industries and all countries. It is also one of the most expensive and labor-intensive products in human history. Software also has very poor quality that has caused many major disasters and wasted many millions of dollars. Software is also the target of frequent and increasingly serious cyber-attacks. Among the reasons for these software problems is a chronic lack of reliable quantified data. This reference provides quantified data from many countries and many industries based on about 26,000 projects developed using a variety of methodologies and team experience levels. The data has been gathered between 1970 and 2017, so interesting historical trends are available. Since current average software productivity and quality results are suboptimal, this book focuses on "best in class" results and shows not only quantified quality and productivity data from best-in-class organizations, but also the technology stacks used to achieve best-in-class results. The overall goal of this book is to encourage the adoption of best-in-class software metrics and best-in-class technology stacks. It does so by providing current data on average software schedules, effort, costs, and quality for several industries and countries. Because productivity and quality vary by technology and size, the book presents quantitative results for applications between 100 function points and 100,000 function points. It shows quality results using defect potential and DRE metrics because the number one cost driver for software is finding and fixing bugs. The book presents data on cost of quality for software projects and discusses technical debt, but that metric is not standardized. Finally, the book includes some data on three years of software maintenance and enhancements as well as some data on total cost of ownership.

Software testing is at a very important crossroad, where it is going back to the roots on certain fronts while moving inexorably forward. For instance, test automation is growing in prominence, but manual testing is becoming a niche; we are increasingly collaborating with the developers, breaking the bounds of unrealistic independence in testing, and bringing in true conscious quality. At such an important stage, it is important to take stock of the past, present, and future to define both the direction the discipline will take as well as the careers it will entail for testers. This book looks at a range of topics covering where we are in the product development landscape today, what are the varied disciplines at play, what are the influencing factors bringing in a change in software testing, why is such change important, what did the past look like, what is current decade turning out to be like, and where are we heading. As for future, it looks at it both from near-term and long-term perspectives. It also considers whether the testing fraternity is ready to take on such changes and are empowered enough to do so, or are there gaps that need to be filled. The book closes with perspectives from industry experts on what is in store for the software testing discipline and community in the coming years. After reading the book, you will be confident that you can take on what is in store for testers in the coming years. You will also be positioned to help the industry move to the next level, and influence change not just amongst testers but also in the product engineering industry level as a whole.

The challenges of designing, building, and maintaining large-scale, distributed enterprise systems are truly daunting. Written for all IT professionals, The Complete Book of Middleware will aid in resolving new business objectives, new technologies, and vendor disputes. This book focuses on the essential principles and priorities of system design and emphasizes the new requirements brought forward by the rise of e-commerce and distributed integrated systems. This reference highlights the changes to middleware technologies and standards. It offers a concise overview of middleware technology alternatives and distributed systems. Many increasingly complex examples are incorporated throughout and the book concludes with guidelines on the practice of IT architecture. Performance considerations such as caching and monitoring are reviewed and the appendix includes middleware resources and new modeling standards. The scope includes traditional middleware and also next-generation techniques that serve to glue disparate systems in the ever-expanding world of distributed network systems. Provided with concepts, principles, and alternatives discussed in The Complete Book of Middleware, systems architects, systems analysts, systems designers, systems developers, and programmers, can proceed with greater confidence in designing complex enterprise systems.

Concurrency is a powerful technique for developing efficient and lightning- fast software. For instance, concurrency can be used in common applications such as online order processing to speed processing and ensure transaction reliability. However, mastering concurrency is one of the greatest challenges for both new and veteran programmers. Software developers with all levels of experience can refer to Creating Components: Object Oriented, Concurrent, and Distributed Computing in Java to better understand how concurrency works, more effectively deploy it in program components, and reuse these components to improve program design, quality, and performance. This text introduces concurrent and component programming to students, engineers, and programmers who are familiar with Java and procedural and GUI programming. It helps them to understand and apply concurrency in Java component programming, while exploring distributed program implementation, Java threads, objects, interfaces, exceptions, component reuse, and system design and management. By providing the fundamental concepts of object-oriented components and offering templates for distributed program components, this valuable resource reveals how programmers can apply concurrency and components to solve complex problems.

Although integrating security into the design of applications has proven to deliver resilient products, there are few books available that provide guidance on how to incorporate security into the design of an application. Filling this need, Security for Service Oriented Architectures examines both application and security architectures and illustrates the relationship between the two. Supplying authoritative guidance on how to design distributed and resilient applications, the book provides an overview of the various standards that service oriented and distributed applications leverage, including SOAP, HTML 5, SAML, XML Encryption, XML Signature, WS-Security, and WS-SecureConversation. It examines emerging issues of privacy and discusses how to design applications within a secure context to facilitate the understanding of these technologies you need to make intelligent decisions regarding their design.This complete guide to security for web services and SOA considers the malicious user story of the abuses and attacks against applications as examples of how design flaws and oversights have subverted the goals of providing resilient business functionality. It reviews recent research on access control for simple and conversation-based web services, advanced digital identity management techniques, and access control for web-based workflows. Filled with illustrative examples and analyses of critical issues, this book provides both security and software architects with a bridge between software and service-oriented architectures and security architectures, with the goal of providing a means to develop software architectures that leverage security architectures.It is also a reliable source of reference on Web services standards. Coverage includes the four types of architectures, implementing and securing SOA, Web 2.0, other SOA platforms, auditing SOAs, and defending and detecting attacks.

The Certified Function Point Specialist Examination Guide provides a complete and authoritative review of the rules and guidelines prescribed in the release of version 4.3 of the Function Point Counting Practices Manual (CPM). Providing a fundamental understanding of the IFPUG Functional Size Measurement method, this is the ideal study guide for the CFPS examination. The text: Includes time-tested tips on how to best prepare for the exam Provides a series of questions and answers at the end of each chapter with specific references to the latest version of the CPM Contains two CFPS practice exams to measure understanding and identify areas where more study is needed Active members of the Counting Practices Committee and a past president of the IFPUG supply time-tested insight on how to use the CPM manual effectively and efficiently during the exam. The two sample exams and detailed examples throughout the text help to ensure readers develop the comprehension required to attain certification the first time around. Following certification, this book is a valuable reference for applying the IFPUG method for sizing proficient software design, development, and deployment. Praise for the book: While there are a number of solid books on counting function points, this new book fills a gap in the function point literature by providing useful information on the specifics of becoming a certified function point counter. The authors are all qualified for the work at hand, and indeed have contributed to the function point counting methodology.Capers Jones, President, Capers Jones and Associates LLC

In business, driving value is a key strategy and typically starts at the top of an organization. In today's digital age, driving software value is also an important, and often overlooked, key strategy. Executives, and the corporate board, need to expect the highest level of business value from the software the organization is developing, buying, and selling. In today's digital transformation marketplace, it is imperative that organizations start driving business value from software development initiatives. For many years, the cost of software development challenged organizations with questions such as: How do we allocate software development costs? Should these costs be considered an overhead expense? Are we getting the most value possible for our investment? A fundamental problem has been built into these questions - the focus on cost. In almost every other part of the organization, maximizing profit or, in the case of a not-for-profit, maximizing the funds available, provides a clear focus with metrics to determine success or failure. In theory, simply aligning software spending with the maximizing profit goals should be sufficient to avoid any questions about value for money. Unfortunately, this alignment hasn't turned out to be so simple, and the questions persist, particularly at the strategic or application portfolio level. In this book, Michael D.S. Harris describes how a software business value culture-one where all stakeholders, including technology and business-have a clear understanding of the goals and expected business value from software development. The book shows readers how they can transform software development from a cost or profit center to a business value center. Only a culture of software as a value center enables an organization to constantly maximize business value flow through software development. If your organization is starting to ask how it can change software from a cost-center to a value-center, this book is for you.