Kategoria BISAC: Computers >> Languages - General

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject.
Papers in this volume focus on the following specific technologies:

• components;
• mobile code;
• Java(R);
• The Unified Modeling Language (UML);
• refinement of specifications;
• types and...

The formal study of program behavior has become an essential ingredient in guiding the design of new computer architectures. Accurate characterization of applications leads to efficient design of high performing architectures. Quantitative and analytical characterization of workloads is important to understand and exploit the interesting features of workloads. This book includes ten chapters on various aspects of workload characterizati on. File caching characteristics of the industry-standard web-serving benchmark SPECweb99 are presented by Keller et al. in Chapter 1, while value locality of...

Written as a teaching tool, this text can be used on simulation courses taught in industrial engineering, business or computer science departments, where the simulation language is SIMAN. It provides a comprehensive, student-oriented introduction to the latest version of the language, SIMAN V. The book contains one example that is followed throughout the text, gaining in complexity with each succeeding chapter.

As Cavalli and Sarma astutely remarked in the introduction to this volume, it is quite remarkable that SDL '97 may have the first participant younger than SDL itself. SDL '97 provides the opportunity to reflect the course SDL has taken and why it has been successful over two decades where other languages addressing the same market have failed.

SDL now also has a permanent companion in MSC (Message Sequence Charts). MSC today is a language in its own right and has its areas of application both in conjunction with SDL and independently or in combination with other techniques. MSC has strong...

Written in an accessible, conversational style, this comprehensive introduction to usability engineering takes a project-based approach to the development process. Provides detailed coverage of the fundamentals without unnecessary depth or breadth, focusing readers on understanding the goals and process of usability engineering. Covers the entire usability engineering lifecycle, emphasizing select techniques and methodologies. Illustrates the user interface development process with examples from a medium-scale development example. For anyone interested in learning more about usability and...

Information modeling technology--the open representation of information for database and other computing applications--has grown significantly in recent years as the need for universal systems of information coding has steadily increased. EXPRESS is a particularly successful ISO International Standard language family for object-flavored information modeling. This cogent introduction to EXPRESS provides numerous, detailed examples of the language family's applicability to a diverse range of endeavors, including mechanical engineering, petroleum exploration, stock exchange asset management, and...

Please contact Mary Hopkins (212-726-6227/hopkinsm@oup-usa.org) with questions. Thanks.

Chatbots offer exceptional services to end-users due to various factors including the ability to respond to customers' requests quickly according to their convenience. Given the magnitude of research and interest in chatbots, further study on several vital and evolving concerns including human-bot interaction, chatbot adoption, chatbot architecture and design considerations, and chatbot evaluation is required to ensure the technology is utilized appropriately. Trends, Applications, and Challenges of Chatbot Technology provides novel research content and reviews of current chatbot technology...

Starting from the assumption that the reader has no background in programming, this text uses case studies and examples to introduce the FORTRAN language elements and design skills needed to write code for typical numerical applications.

With multicore processors now in every computer, server, and embedded device, the need for cost-effective, reliable parallel software has never been greater. By explaining key aspects of multicore programming, Fundamentals of Multicore Software Development helps software engineers understand parallel programming and master the multicore challenge. Accessible to newcomers to the field, the book captures the state of the art of multicore programming in computer science. It covers the fundamentals of multicore hardware, parallel design patterns, and parallel programming in C++, .NET, and Java.

A Practical Guide to X Window Programming is a basic guide that takes readers step by step through developing applications using X-Windows�. The book covers the Xt Intrinsics portion of the X-Window system in detail and discusses the MIT Athena and OSF/Motif Widget Sets that are used in many of the examples. Topics covered include C programming fundamentals, text handling using X, fonts, event handling in Xt, extending the Widget Sets (building on Field Editor Widget), designing and constructing an application, building menus, printing help, OSF/Motif (including the window arranger) and...

An emerging topic in software engineering and data mining, specification mining tackles software maintenance and reliability issues that cost economies billions of dollars each year. The first unified reference on the subject, Mining Software Specifications: Methodologies and Applications describes recent approaches for mining specifications of software systems. Experts in the field illustrate how to apply state-of-the-art data mining and machine learning techniques to address software engineering concerns.

In the first set of chapters, the book introduces a...

Identifies Recent Technological Developments Worldwide

The field of grid computing has made rapid progress in the past few years, evolving and developing in almost all areas, including concepts, philosophy, methodology, and usages. Grid Computing: Infrastructure, Service, and Applications reflects the recent advances in this field, covering the research aspects that involve infrastructure, middleware, architecture, services, and applications.

Grid Systems Across the Globe

The first section of...

LabVIEW has become one of the preeminent platforms for the development of data acquisition and data analysis programs. LabVIEW: A Developer s Guide to Real World Integration explains how to integrate LabVIEW into real-life applications.

Written by experienced LabVIEW developers and engineers, the book describes how LabVIEW has been pivotal in solving real-world challenges. Each chapter is self-contained and demonstrates the power and simplicity of LabVIEW in various applications, from image processing to solar tracking systems. Many of the chapters explore...

In the academic field, engineers, scientists, educators, and students are faced with a persistent challenge: the gap between theoretical knowledge and practical implementation in solving real-world engineering problems. The scarcity of focused resources tailored to mastering MATLAB® and its specialized solvers for Ordinary Differential Equations (ODEs) and One-Dimensional Partial Differential Equations (1D PDEs) has left many individuals struggling to bridge this educational chasm. The disconnect between the theory learned in the classroom and the ability to effectively address engineering...

Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph grammars has grown quite impressively. Besides the aforementioned areas, it includes software specification and development, VLSI layout schemes, database design, modeling of concurrent systems, massively parallel computer architectures, logic programming, computer animation, developmental biology, music composition, visual languages, and many others.

The area of graph grammars and graph...

For sophomore-level courses in Assembly Language Programming in Computer Science, Embedded Systems Design, Real-Time Analysis, Computer Engineering, or Electrical Engineering curricula. Requires prior knowledge of C, C++, or Java. This text is useful for Computer Scientists, Computer Engineers, and Electrical Engineers involved with embedded software applications. This book is intended to provide a highly motivating context in which to learn procedural programming languages. The ultimate goal of this text is to lay a foundation that supports the multi-threaded style of programming and...