| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466085203316 |
|
|
Titolo |
Ada-Europe '93 [[electronic resource] ] : 12th Ada-Europe International Conference, "Ada Sans Frontieres", Paris, France, June 14-18, 1993. Proceedings / / edited by Michel Gauthier |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1993.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 360 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 688 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Programming languages (Electronic computers) |
Computer programming |
Software engineering |
Operating systems (Computers) |
Programming Languages, Compilers, Interpreters |
Programming Techniques |
Software Engineering |
Operating Systems |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Progress of Ada as an international standard: ISO/IEC JTC1/SC22 WG9 Ada status -- Graphics development in Ada -- The olympus attitude and orbital control system A case study in hard real-time system design and implementation -- Information systems support in Ada 9X -- The impact of Ada on MIS applications -- SAMeDL — A pilot project -- Applying Ada9X to two real time applications: A case study -- An efficient compiler validation method for Ada 9X -- Avoiding anomalies in inheritance schemes -- Object-oriented design of an air defence simulator -- A comparison of the object oriented features of Ada 9X and C++ -- Use and abuse of exceptions — 12 guidelines for proper exception handling -- Error-prone exception handling in large Ada systems -- Structuring iterators to encourage reuse -- Tool for computing cohesion and coupling in Ada programs: DIANA dependent part -- Data compatibility in a heterogeneous processor environment |
|
|
|
|
|
|
|
|
|
|
|
-- An operational computer aided software environment: ILIADE -- Performance expectations on Ada programs -- The impact of an Ada run-time system's performance characteristics on scheduling models -- Distributed run-time system, a protocol for Ada -- Certification of Ada real time executives for safety critical applications -- Performance evaluation of parallel Ada programs using an experimental multiprocessor -- Adam, an Ada simulation toolkit -- Real and virtual interrupt support: The mapping of a CARTS feature to two different architectures -- Toward a secondary standard for Hard Real-Time Ada: The Real-Time Rapporteur Group (ISO/JTC1/SC22/WG9/RRG) JTC 1.22.35. |
|
|
|
|
|
|
Sommario/riassunto |
|
This volume contains the proceedings of the twelfth Ada-Europe conference, held in France in 1993. The French name "Ada sans fronti res" (the only French words in the book) symbolizes the unlimitedness and novelty of Ada, as well as Europe-wide interest. Many papers relate to Ada-9X, the new standard that the Ada coimmunity is close to achieving after worldwide consultation and debate about requirements, specification, anddetailed definition. Their focus is on management, real-time, and compiler validation. Part of the conference was on object orientation, together with various issues relating to the general structure of the language, including exceptions to a certain use of genericity and heterogeneous data, efficiency, formal requirements and CASEs, and comparison with a competitor language. A third part relates to real-time, past with performance measurement, present with certification andapplications, and future with the ExTRA project and 9X. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996545360603316 |
|
|
Titolo |
Poverty and Prejudice : Religious Inequality and the Struggle for Sustainable Development / / ed. by Mariz Tadros, Philip Mader, Kathryn Cheeseman |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Bristol : , : Bristol University Press, , [2023] |
|
©2023 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (312 p.) : 7 Black and White |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Freedom of religion - Economic aspects |
Sustainable development - Religious aspects |
SOCIAL SCIENCE / Poverty & Homelessness |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
EPDF and EPUB available Open Access under CC-BY-NC-ND licence. Freedom of religion and belief is crucial to any sustainable development process, and yet the Sustainable Development Goals (SDGs) pay little attention to religious inequalities. This book offers a comprehensive overview of how efforts to achieve SDGs can be enhanced by paying greater attention to freedom of religion and belief. In particular, it illustrates how poverty is often a direct result of religious prejudice and how religious identity can shape a person's job prospects, their children's education and the quality of public services they receive. Drawing on evidence from Asia, the Middle East and sub-Saharan Africa, the book foregrounds the lived experiences of marginalized communities as well as researchers and action organizations. |
|
|
|
|
|
|
|
| |