Integrating Object-oriented Programming and Protected Objects in Ada 95

Integrating Object-oriented Programming and Protected Objects in Ada 95 PDF Author: A. Wellings
Publisher:
ISBN:
Category : Computer software
Languages : en
Pages : 32

Get Book Here

Book Description

Integrating Object-oriented Programming and Protected Objects in Ada 95

Integrating Object-oriented Programming and Protected Objects in Ada 95 PDF Author: A. Wellings
Publisher:
ISBN:
Category : Computer software
Languages : en
Pages : 32

Get Book Here

Book Description


Reliable Software Technologies Ada-Europe 2000

Reliable Software Technologies Ada-Europe 2000 PDF Author: Hubertus B. Keller
Publisher: Springer
ISBN: 354045098X
Category : Computers
Languages : en
Pages : 316

Get Book Here

Book Description
This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portugal, in June 2018. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They were organized in topical sections named: safety and security; Ada 202X; handling implicit overhead; real-time scheduling; and new application domains.

Open Multithreaded Transactions

Open Multithreaded Transactions PDF Author: Jörg Kienzle
Publisher: Springer Science & Business Media
ISBN: 9401701032
Category : Computers
Languages : en
Pages : 316

Get Book Here

Book Description
This book investigates how transactions can be integrated with concurrent object-oriented programming, and how transactions can be made available to an application programmer at the programming language level. The book gives a detailed overview of existing transaction models, and analyzes their suitability for concurrent programming languages. A new transaction model named "Open Multithreaded Transactions" is presented. It provides features for controlling and structuring not only access to objects, as usual in transaction systems, but also threads taking part in transactions. Integration with exception handling makes open multithreaded transactions ideal building blocks for fault-tolerant applications. The book also describes the design of an object-oriented framework providing the necessary run-time support for open multithreaded transactions. Procedural, object-oriented and aspect-oriented interfaces for the application programmer are presented. Programming examples include code in Ada, Java and AspectJ.

ACM Transactions on Programming Languages and Systems

ACM Transactions on Programming Languages and Systems PDF Author: Association for Computing Machinery
Publisher:
ISBN:
Category : Computer programming
Languages : en
Pages : 636

Get Book Here

Book Description


Design of Multithreaded Software

Design of Multithreaded Software PDF Author: Bo I. Sanden
Publisher: John Wiley & Sons
ISBN: 1118102738
Category : Computers
Languages : en
Pages : 347

Get Book Here

Book Description
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.

Reliable Software Technologies, Ada-Europe ...

Reliable Software Technologies, Ada-Europe ... PDF Author:
Publisher:
ISBN:
Category : Ada (Computer program language)
Languages : en
Pages : 436

Get Book Here

Book Description


Handbook of Real-Time and Embedded Systems

Handbook of Real-Time and Embedded Systems PDF Author: Insup Lee
Publisher: CRC Press
ISBN: 142001174X
Category : Computers
Languages : en
Pages : 798

Get Book Here

Book Description
Real-time and embedded systems are essential to our lives, from controlling car engines and regulating traffic lights to monitoring plane takeoffs and landings to providing up-to-the-minute stock quotes. Bringing together researchers from both academia and industry, the Handbook of Real-Time and Embedded Systems provides comprehensive covera

Concurrent and Real-Time Programming in Ada

Concurrent and Real-Time Programming in Ada PDF Author: Alan Burns
Publisher: Cambridge University Press
ISBN: 1139464353
Category : Computers
Languages : en
Pages : 476

Get Book Here

Book Description
Ada is the only ISO-standard, object-oriented, concurrent, real-time programming language. It is intended for use in large, long-lived applications where reliability and efficiency are essential, particularly real-time and embedded systems. In this book, Alan Burns and Andy Wellings give a thorough, self-contained account of how the Ada tasking model can be used to construct a wide range of concurrent and real-time systems. This is the only book that focuses on an in-depth discussion of the Ada tasking model. Following on from the authors' earlier title Concurrency in Ada, this book brings the discussion up to date to include the new Ada 2005 language and the recent advances in real-time programming techniques. It will be of value to software professionals and advanced students of programming alike: indeed every Ada programmer will find it essential reading and a primary reference work that will sit alongside the language reference manual.

Ada 95 Rationale

Ada 95 Rationale PDF Author: John Barnes
Publisher: Springer Science & Business Media
ISBN: 9783540631439
Category : Computers
Languages : en
Pages : 484

Get Book Here

Book Description
Ada 95, the enhanced version of the Ada programming language, is now in place and has attracted much attention in the community since the International Standard ISO/IEC 8652:1995(E) for the language was approved in 1995. The Ada 95 Rationale comes in four parts. The introductory part is a general discussion of the scope and objectives of Ada 95 and its major technical features. The second part contains a more detailed step by step account of the core language. The third part consists of several annexes addressing the predefined environment and specialized application areas. Finally, the three appendices of the fourth part are devoted to the upward compatibility with Ada 83, a few changes since the drafts of the standard were made public, and a summary of requirements.

Concurrency in Ada

Concurrency in Ada PDF Author: Alan Burns
Publisher: Cambridge University Press
ISBN: 9780521629119
Category : Computers
Languages : en
Pages : 414

Get Book Here

Book Description
A major feature of the Ada programming language is the facilities it provides for concurrent programming. Alan Burns and Andy Wellings provide here a thorough and self-contained account of concurrent programming in Ada, and so show users, even beginners, how to harness the full power of the whole language. After giving an overview of the non-concurrent features of Ada, the authors proceed to examine in detail the uses of concurrent programming and the inherent difficulties in providing inter-process communication. The Ada tasking model is then introduced; the way it deals with these and related matters is explained in a number of separate chapters, covering system programming, real-time issues, distribution, object-oriented programming and re-use. This is the first book which deals with concurrent features in the new Ada standard, and it offers practical advice to the programmer needing to use it for embedded systems, while those interested more broadly in the development of programming languages will find many otherwise inaccessible issues probed in depth. It will thus be of value to professional software engineers and advanced students of programming alike; indeed, every Ada programmer will find it essential reading and a primary reference work. For the paperback edition the authors have made revisions throughout the text, updating and correcting where appropriate.