Descargar Libros y Ebooks (PDF / EPUB)

Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE

Autor: Bran Selic , Sebastien Gerard

Número de Páginas: 314

Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE explains how to apply the complex MARTE standard in practical situations. This approachable reference provides a handy user guide, illustrating with numerous examples how you can use MARTE to design and develop real-time and embedded systems and software. Expert co-authors Bran Selic and Sébastien Gérard lead the team that drafted and maintain the standard and give you the tools you need apply MARTE to overcome the limitations of cyber-physical systems. The functional sophistication required of modern cyber-physical systems has reached a point where traditional code-centric development methods are proving less and less capable of delivering a reliable product in a timely manner. In Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE, you will learn how to take advantage of modern model-based engineering methods and corresponding industry standards to overcome these limitations. These methods take full advantage of computer-supported automation allowing timely detection of design flaws to reduce engineering risk, leading thereby to better overall product quality and greater...

Software Technologies

Autor: Enrique Cabello , Jorge Cardoso , André Ludwig , Leszek A. Maciaszek , Marten Van Sinderen

Número de Páginas: 372

This book constitutes the thoroughly refereed proceedings of the 11th International Joint Conference on Software Technologies, ICSOFT 2016, held in Lisbon, Portugal, in July 2016. The 13 revised full papers together with 3 short papers presented were carefully reviewed and selected from 84 submissions. The papers selected to be included in this book contribute to the understanding of relevant trends of current research on software technologies, including: Modelling for mobile devices Software and system testing Model-driven software development Reengineering systems for multi-tenancy Embedded and real-time systems reconguration Domain-specic languages and modelling Software and systems quality Context-aware and dynamically adapting software systems

Distributed Real-Time Systems

Autor: K. Erciyes

Número de Páginas: 348

This classroom-tested textbook describes the design and implementation of software for distributed real-time systems, using a bottom-up approach. The text addresses common challenges faced in software projects involving real-time systems, and presents a novel method for simply and effectively performing all of the software engineering steps. Each chapter opens with a discussion of the core concepts, together with a review of the relevant methods and available software. This is then followed with a description of the implementation of the concepts in a sample kernel, complete with executable code. Topics and features: introduces the fundamentals of real-time systems, including real-time architecture and distributed real-time systems; presents a focus on the real-time operating system, covering the concepts of task, memory, and input/output management; provides a detailed step-by-step construction of a real-time operating system kernel, which is then used to test various higher level implementations; describes periodic and aperiodic scheduling, resource management, and distributed scheduling; reviews the process of application design from high-level design methods to low-level...

Design of Multithreaded Software

Autor: Bo I. Sanden

Número de Páginas: 347

This book assumes familiarity with threads (in a language such as Ada, C#, or Java) and introduces the entity-life modeling (ELM) design approach for certain kinds of multithreaded software. ELM focuses on "reactive systems," which continuously interact with the problem environment. These "reactive systems" include embedded systems, as well as such interactive systems as cruise controllers and automated teller machines. Part I covers two fundamentals: program-language thread support and state diagramming. These are necessary for understanding ELM and are provided primarily for reference. Part II covers ELM from different angles. Part III positions ELM relative to other design approaches.

Software Technologies

Autor: Marten Van Sinderen , Leszek A. Maciaszek , Hans-georg Fill

Número de Páginas: 274

This book constitutes the thoroughly refereed proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, which was held virtually due to the Covid-19 pandemic. The 12 revised full papers were carefully reviewed and selected from 95 submissions. The papers deal with the following topics: business process modelling; IT service management; interoperability and service-oriented architecture; project management software; scheduling and estimating; software metrics; requirements elicitation and specification; software and systems integration among others.

Complex Systems Design & Management

Autor: Frédéric Boulanger , Daniel Krob , Gérard Morel , Jean-claude Roussel

Número de Páginas: 360

This book contains all refereed papers that were accepted to the fifth edition of the « Complex Systems Design & Management » (CSD&M 2014) international conference which took place in Paris (France) on the November 12-14, 2014. These proceedings cover the most recent trends in the emerging field of complex systems sciences & practices from an industrial and academic perspective, including the main industrial domains (aeronautic & aerospace, transportation & systems, defense & security, electronics & robotics, energy & environment, health & welfare services, software & e-services), scientific & technical topics (systems fundamentals, systems architecture & engineering, systems metrics & quality, systemic tools) and system types (transportation systems, embedded systems, software & information systems, systems of systems, artificial ecosystems). The CSD&M 2014 conference is organized under the guidance of the CESAMES non-profit organization, address: CESAMES, 8 rue de Hanovre, 75002 Paris, France.

Evaluation of Novel Approaches to Software Engineering

Autor: Ernesto Damiani , George Spanoudakis , Leszek A. Maciaszek

Número de Páginas: 412

This book constitutes the refereed proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, held in Funchal, Madeira, Portugal, in March 2018. The 17 revised full papers and 5 revised short papers presented were carefully reviewed and selected from 95 submissions. The papers are organized in topical sections on service science and business information systems and software engineering.

Real-Time Systems Design and Analysis

Autor: Phillip A. Laplante , Seppo J. Ovaska

Número de Páginas: 584

The leading text in the field explains step by step how to write software that responds in real time From power plants to medicine to avionics, the world increasingly depends on computer systems that can compute and respond to various excitations in real time. The Fourth Edition of Real-Time Systems Design and Analysis gives software designers the knowledge and the tools needed to create real-time software using a holistic, systems-based approach. The text covers computer architecture and organization, operating systems, software engineering, programming languages, and compiler theory, all from the perspective of real-time systems design. The Fourth Edition of this renowned text brings it thoroughly up to date with the latest technological advances and applications. This fully updated edition includes coverage of the following concepts: Multidisciplinary design challenges Time-triggered architectures Architectural advancements Automatic code generation Peripheral interfacing Life-cycle processes The final chapter of the text offers an expert perspective on the future of real-time systems and their applications. The text is self-contained, enabling instructors and readers to focus...

Real-Time Systems

Autor: Ernst-rüdiger Olderog , Henning Dierks

Número de Páginas: 320

Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata: duration calculus, timed automata, and PLC-automata. The techniques are brought together to form a seamless design flow, from real-time requirements specified in the duration calculus; via designs specified by PLC-automata; and into source code for hardware platforms of embedded systems. The syntax, semantics, and proof methods of the specification techniques are introduced; their most important properties are established; and real-life examples illustrate their use. Detailed case studies and exercises conclude each chapter. Ideal for students of real-time systems or embedded systems, this text will also be of great interest to researchers and professionals in transportation and automation.

Unix Programacion Avanzada, 3ª edicion.

Autor: Francisco Márquez García

Número de Páginas: 632

UNIX se ha convertido en uno de los sistemas operativos más populares en entornos industriales, académicos y, recientemente, incluso domésticos y brinda al usuario un conjunto de herramientas muy variado y completo. La mayor parte de los programas estándar en UNIX están escritos en lenguaje C, y hace uso de unas piezas básicas conocidas como llamadas al sistema (system calls). El conjunto de llamadas al sistema es la interfaz entre el sistema operativo y el programador que utiliza sus recursos y constituye el núcleo de estudio de este libro, junto con técnicas de programación avanzada que nos permitirán aprovechar al máximo la potencia y flexibilidad de UNIX. El libro está estructurado en tres partes, de acuerdo con la siguiente distribución de capítulos: -Introducción. Parte 1. El sistema de ficheros. -Arquitectura del sistema de ficheros. -Manejo de ficheros ordinarios. -Manejo de directorios y ficheros especiales. Parte 2. Procesos e hilos. -Estructura de un proceso. -Gestión de procesos e hilos. -Señales y funciones de tiempo. -Perfilado, contabilidad y depuración. Parte 3. Comunicación entre procesos. -Comunicación mediante tuberías. -Comunicación local...

Emerging Technologies for the Evolution and Maintenance of Software Models

Autor: Rech, Jörg

Número de Páginas: 478

Model-driven software development drastically alters the software development process, which is characterized by a high degree of innovation and productivity. Emerging Technologies for the Evolution and Maintenance of Software Models contains original academic work about current research and research projects related to all aspects affecting the maintenance, evolution, and reengineering (MER), as well as long-term management, of software models. The mission of this book is to present a comprehensive and central overview of new and emerging trends in software model research and to provide concrete results from ongoing developments in the field.

Reliable Software Technologies - Ada-Europe 2001

Autor: Dirk Craeynest , Alfred Strohmeier

Número de Páginas: 420

This book constitutes the refereed proceedings of the 6th International Conference on Reliable Software Technologies, Ada-Europe 2001, held in Leuven, Belgium, in May 2001. The 27 revised full papers presented together with five invited papers were carefully reviewed and selected from a large number of submissions. The papers are organized in topical sections on program analysis, distributed systems, real-time systems, language and patterns, dependable systems, APIs and components, real-time kernels, standard formats: UML and XML, and system evolution.

Models, Algorithms, Logics and Tools

Autor: Luca Aceto , Giorgio Bacci , Giovanni Bacci , Anna Ingólfsdóttir , Axel Legay , Radu Mardare

Número de Páginas: 666

This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking. Since 1995, he has been one of the prime movers behind the model checking tool for real-time systems UPPAAL, for which he was a co-recipient of the CAV Award in 2013. The Festschrift contains 32 papers that feature the broad range of Kim Guldstrand Larsen's research topics, such as formal languages and automata theory; logic; verification, model checking and testing; algorithmic game theory and mechanism design; semantics and reasoning; real-time and distributed systems; and modeling and simulation.

Real-Time Systems

Autor: Hermann Kopetz

Número de Páginas: 388

"This book is a comprehensive text for the design of safety critical, hard real-time embedded systems. It offers a splendid example for the balanced, integrated treatment of systems and software engineering, helping readers tackle the hardest problems of advanced real-time system design, such as determinism, compositionality, timing and fault management. This book is an essential reading for advanced undergraduates and graduate students in a wide range of disciplines impacted by embedded computing and software. Its conceptual clarity, the style of explanations and the examples make the abstract concepts accessible for a wide audience." Janos Sztipanovits, Director E. Bronson Ingram Distinguished Professor of Engineering Institute for Software Integrated Systems Vanderbilt University Real-Time Systems focuses on hard real-time systems, which are computing systems that must meet their temporal specification in all anticipated load and fault scenarios. The book stresses the system aspects of distributed real-time applications, treating the issues of real-time, distribution and fault-tolerance from an integral point of view. A unique cross-fertilization of ideas and concepts between...

Programming Languages with Applications to Biology and Security

Autor: Chiara Bodei , Gianluigi Ferrari , Corrado Priami

Número de Páginas: 386

This Festschrift volume is published in honor of Pierpaolo Degano on the occasion of his 65th birthday and is the outcome of a colloquium held in Pisa, Italy, in June 2015. Pierpaolo Degano has worked on a large variety of topics including formal program semantics, concurrency theory, systems biology and security. The volume contains 22 refereed papers and one extended abstract, including personal memoirs and regular research papers by close collaborators and friends and a laudatio illustrating his distinguished career and his main scientific contributions. The papers deal with the main research topics explored by Pierpaolo Degano and those still under his investigation.

Leveraging Applications of Formal Methods, Verification and Validation

Autor: Tiziana Margaria , Bernhard Steffen

Número de Páginas: 505

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends. The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems.

C++ from the Beginning

Autor: Jan Skansholm

Número de Páginas: 668

" C++ From the Beginning"" covers the whole of the C++ language from simple basics to advanced language constructs. The emphasis is on building programming skills via examples and exercises, integrating object-oriented programming with object-oriented design while teaching the basics of the language. It is a book with a dual purpose: to teach the fundamental principles of good programming, and to provide an accessible and direct introduction to C++. It is ideal for beginners taking their first programming course, and for programmers with some experience requiring a thorough introduction to the C++ language. Since the publication of the first edition of this book in 1997, the ISO standard for C++ has been approved. This new edition of the book covers the ISO standard, which incorporates a library of utility classes called the STL (Standard Template Library) not previously included in the core of C++. This book describes these new classes as well as advanced topics such as exceptions, streams, templates and function objects. New to this edition The class string and the STL class vector are used in a natural way throughout the book Additional chapter on the new standard template...

Java from the Beginning

Autor: Jan Skansholm

Número de Páginas: 702

This easy-to-read guide to Java introduces the concepts of object-orientation, classes and ojects, and demonstrates how to write modern programs using a graphical user interface. In addition, it deals with communications issues in detail.

Formal Verification of Concurrent Embedded Software

Autor: Johannes Frederik Jesper Traub

Número de Páginas: 158

Automotive software is mainly concerned with safety critical systems and the functional correctness of the software is very important. Thus static software analysis, being able to detect runtime errors in software, has become a standard in the automotive domain. The most critical runtime error is one which only occurs sporadically and is therefore very difficult to detect and reproduce. The introduction of multicore hardware enables an execution of the software in real parallel. A reason for such an error is e.g., a race condition. Hence, the risk of critical race conditions increases. This thesis introduces the MEMICS software verification approach. In order to produce precise results, MEMICS works based on the formal verification technique, bounded model checking. The internal model is able to represent an entire automotive control unit, including the hardware configuration as well as real-time operating systems like AUTOSAR and OSEK. The proof engine used to check the model is a newly developed interval constraint solver with an embedded memory model. MEMICS is able to detect common runtime errors, like e.g., a division by zero, as well as concurrent ones, like e.g., a critical ...

Database Systems

Autor: Thomas M. Connolly , Carolyn E. Begg

Número de Páginas: 1442

This book places a strong emphasis on good design practice, allowing readers to master design methodology in an accessible, step-by-step fashion. In this book, database design methodology is explicitly divided into three phases: conceptual, logical, and physical. Each phase is described in a separate chapter with an example of the methodology working in practice. Extensive treatment of the Web as an emerging platform for database applications is covered alongside many code samples for accessing databases from the Web including JDBC, SQLJ, ASP, ISP, and Oracle's PSP. A thorough update of later chapters covering object-oriented databases, Web databases, XML, data warehousing, data mining is included in this new edition. A clear introduction to design implementation and management issues, as well as an extensive treatment of database languages and standards, make this book an indispensable, complete reference for database professionals.

SDL 2009: Design for Motes and Mobiles

Autor: Rick Reed , Attila Bilgic , Reinhard Gotzhein

Número de Páginas: 267

This volume contains the papers presented at the 14th SDL Forum, Bochum, Germany entitled Design for Motes and Mobiles. The SDL Forum has been held every two years for the last three decades and is one of the most important open events in the calendar for anyone from academia or industry involved in System DesignLanguagesandmodelling technologies. It is a primary conference event for discussion of the evolution and use of these languages. The most recent innovations, trends, experiences, and concerns in the ?eld are discussed and presented. The SDL Forum series addresses issues related to the modelling and analysis of reactive systems, distributed systems, and real-time and complex systems such as telecommunications, automotive, and aerospace applications. The intended audience of the series includes users of modelling techniques in industrial, research, and standardization contexts, as well as tool vendors and language researchers. Of course, during the last three decades languages, associated methods, and tools have evolved and new ones have been developed. The application domain haschangedalmostbeyondrecognition. Threedecadesagothemobiletechnology of today was science ?ction,...

Introduction to Embedded Systems

Autor: Edward Ashford Lee , Sanjit Arunkumar Seshia

Número de Páginas: 525

This book strives to identify and introduce the durable intellectual ideas of embedded systems as a technology and as a subject of study. The emphasis is on modeling, design, and analysis of cyber-physical systems, which integrate computing, networking, and physical processes.

Principles of Concurrent and Distributed Programming

Autor: M. Ben-ari

Número de Páginas: 388

Principles of Concurrent and Distributed Programming provides an introduction to concurrent programming focusing on general principles and not on specific systems. Software today is inherently concurrent or distributed - from event-based GUI designs to operating and real-time systems to Internet applications. This edition is an introduction to concurrency and examines the growing importance of concurrency constructs embedded in programming languages and of formal methods such as model checking.

Computer Safety, Reliability, and Security

Autor: Amund Skavhaug , Jérémie Guiochet , Erwin Schoitsch , Friedemann Bitsch

Número de Páginas: 408

This book constitutes the refereed proceedings of four workshops co-located with SAFECOMP 2016, the 35th International Conference on Computer Safety, Reliability, and Security, held in Trondheim, Norway, in September 2016. The 30 revised full papers presented together with 4 short and 5 invited papers were carefully reviewed and selected from numerous submissions. This year’s workshop are: ASSURE 2016 - Assurance Cases for Software-intensive Systems; DECSoS 2016 - EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop; SASSUR 2016 - Next Generation of System Assurance Approaches for Safety-Critical Systems; and TIPS 2016 – Timing Performance in Safety Engineering.

Operating Systems

Autor: Jean Bacon , Tim Harris

Número de Páginas: 908

Annotation Both theory and practice are blended together in order to learn how to build real operating systems that function within a distributed environment. An introduction to standard operating system topics is combined with newer topics such as security, microkernels and embedded systems. This book also provides an overview of operating system fundamentals. For programmers who want to refresh their basic skills and be brought up-to-date on those topics related to operating systems.

Concurrent systems

Autor: Jean Bacon , Robin Laney , Janet Van Der Linden

Número de Páginas: 758

This is a textbook on concurrent programming which serves to integrate operating systems and database concepts, and provides a foundation for lates study in these areas.

Computer Safety, Reliability, and Security

Autor: Floor Koornneef , Coen Van Gulijk

Número de Páginas: 447

This book constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2015, the 34th International Conference on Computer Safety, Reliability, and Security, held in Delft, The Netherlands, in September 2015. The 36 revised full papers presented were carefully reviewed and selected from numerous submissions. This year’s workshop are: ASSURE 2015 - Assurance Cases for Software-intensive Systems; DECSoS'15 - EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop; ISSE'15 - International workshop on the Integration of Safety and Security Engineering; ReSA4CI 2015 - International Workshop on Reliability and Security Aspects for Critical Infrastructure Protection; SASSUR 2015 - International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems.

Software Engineering for Robotics

Autor: Ana Cavalcanti , Brijesh Dongol , Rob Hierons , Jon Timmis , Jim Woodcock

Número de Páginas: 495

The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics and regulation. In terms of techniques, there are results on model-based engineering, product lines, mission specification, component-based development, simulation, testing, and proof. Applications range from manufacturing to service robots, to autonomous vehicles, and even robots than evolve in the real world. A final chapter summarizes issues on ethics and regulation based on discussions from a panel of experts. The origin of this book is a two-day event, entitled RoboSoft, that took place in November 2019, in London. Organized with the generous support of the Royal Academy of Engineering and the University of York, UK, RoboSoft brought together more than 100 scientists, engineers and practitioners from all over the world, representing 70 international institutions. The intended readership includes researchers and practitioners with all levels of experience interested in working in the area of robotics, and software engineering more generally. The chapters are all self-contained, include explanations of the core concepts, ...

Real Time Systems Design and Analysis

Autor: Mr. Rohit Manglik

Número de Páginas: 508

EduGorilla Publication is a trusted name in the education sector, committed to empowering learners with high-quality study materials and resources. Specializing in competitive exams and academic support, EduGorilla provides comprehensive and well-structured content tailored to meet the needs of students across various streams and levels.

Advances in Aerospace Guidance, Navigation and Control

Autor: Qiping Chu , Bob Mulder , Daniel Choukroun , Erik-jan Van Kampen , Coen De Visser , Gertjan Looye

Número de Páginas: 773

Following the successful 1st CEAS (Council of European Aerospace Societies) Specialist Conference on Guidance, Navigation and Control (CEAS EuroGNC) held in Munich, Germany in 2011, Delft University of Technology happily accepted the invitation of organizing the 2nd CEAS EuroGNC in Delft, The Netherlands in 2013. The goal of the conference is to promote new advances in aerospace GNC theory and technologies for enhancing safety, survivability, efficiency, performance, autonomy and intelligence of aerospace systems using on-board sensing, computing and systems. A great push for new developments in GNC are the ever higher safety and sustainability requirements in aviation. Impressive progress was made in new research fields such as sensor and actuator fault detection and diagnosis, reconfigurable and fault tolerant flight control, online safe flight envelop prediction and protection, online global aerodynamic model identification, online global optimization and flight upset recovery. All of these challenges depend on new online solutions from on-board computing systems. Scientists and engineers in GNC have been developing model based, sensor based as well as knowledge based...

Reliable Software Technologies - Ada-Europe 2007

Autor: Nabil Abdennahder , Fabrice Kordon

Número de Páginas: 258

Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement of all aspects of reliable software technologies. The objective of this series of conferences, initiated and sponsored by Ada-Europe, the European federation of national Ada societies, is to provide a forum to promote the development of reliable softwares both as an industrial technique and an academic discipline. Previous editions of the Reliable Software Technologies conference were held in: Porto (Portugal) in 2006, York (UK) in 2005, Palma de Mallorca (Spain) in 2004,Toulouse (France) in 2003,Vienna (Austria) in 2002,Leuven (Belgium) in 2001,Potsdam(Germany)in2000,Santander(Spain)in1999,Uppsala(Sweden) in 1998, London (UK) in 1997 and Montreux (Switzerland) in 1996. The 12th International Conference on Reliable Software Technologies took place in Geneva, Switzerland, June 25-29, 2007, under the continued sponsoring ofAda-Europe,incooperationwithACMSIGAda.Itwasorganizedbymembers of the University of Applied Sciences, Western Switzerland (Engineering School of Geneva), in collaboration with colleagues from various places in Europe. The 13th conference, in...

Embedded Systems

Autor: Kiyofumi Tanaka

Número de Páginas: 444

Nowadays, embedded systems - the computer systems that are embedded in various kinds of devices and play an important role of specific control functions, have permitted various aspects of industry. Therefore, we can hardly discuss our life and society from now onwards without referring to embedded systems. For wide-ranging embedded systems to continue their growth, a number of high-quality fundamental and applied researches are indispensable. This book contains 19 excellent chapters and addresses a wide spectrum of research topics on embedded systems, including basic researches, theoretical studies, and practical work. Embedded systems can be made only after fusing miscellaneous technologies together. Various technologies condensed in this book will be helpful to researchers and engineers around the world.

Real-Time Systems and Software

Autor: Alan C. Shaw

Número de Páginas: 226

Emphasizing concepts and principles, this book provides readers with an accessible approach to software design. It presents several examples of commercial and research systems throughout the chapters to explain and justify the concepts. And the material presented is technically diverse, including discussions of state machines, logic, concurrent programming, and scheduling algorithms.

Embedded Computing Systems: Applications, Optimization, and Advanced Design

Autor: Khalgui, Mohamed , Mosbahi, Olfa , Valentini, Antonio

Número de Páginas: 558

Embedded computing systems play an important and complex role in the functionality of electronic devices. With our daily routines becoming more reliant on electronics for personal and professional use, the understanding of these computing systems is crucial. Embedded Computing Systems: Applications, Optimization, and Advanced Design brings together theoretical and technical concepts of intelligent embedded control systems and their use in hardware and software architectures. By highlighting formal modeling, execution models, and optimal implementations, this reference source is essential for experts, researchers, and technical supporters in the industry and academia.

Distributed Systems

Autor: George F. Coulouris , Jean Dollimore , Tim Kindberg

Número de Páginas: 952

Up-to-date coverage of the latest development in this fast moving area, including the debate between components and web services as the way for the industry to go, increased emphasis on security and the arrival of ubiquitous computing in the form of, among other things, The Grid.

Reliable Software Technologies - Ada-Europe 2009

Autor: Fabrice Kordon , Yvon Kermarrec

Número de Páginas: 295

This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009. The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of interest to the conference are methods and techniques for software development and maintenance; software architecture; enabling technology; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; ada language and technology; ada and education.

Real-time Systems Education III

Autor: Jerzy Nawrocki , Jean-jacques Schwarz , Janusz Zalewski

Número de Páginas: 176

Poznan, Poland was selected as the site of the third annual workshop on this topic to coincide with the Software Engineering Education Symposium (SEES'98), and also to establish an international presence in Central Europe "although we are not an event on the scale of olympic games." Twenty-six participants (pictured) present papers related to: real-time systems programs and curricula, teaching RT systems design and verification, components of RT labs, RT systems in control engineering education and in other disciplines. Also includes invited talks on RT devices at practical prices and the essentials of RT education. For the uninitiated, IEEE stands for the Institute of Electrical and Electronic Engineers. Author index only. Annotation copyrighted by Book News, Inc., Portland, OR

JGI '02

Autor: Acm Special Interest Group On Programming Languages

Número de Páginas: 254