Jump to content

Ada (lingua programmandi)

E Vicipaedia
Logotypus(Anglice,'Validae arti dactylographicae credimus').
Augusta Ada King,Comitissa Lovelace.

Adaestcompositaprogrammandi linguain typis statice posita,imperativa,etin rebus conditagradús alticomputatrorum,quae exPascalaliisquelinguisextenditur. Cui est internum subsidiumlinguisticumdesignationis per pactum,robustissima digestio in genera, aperta consentionis opera, synchronica mandatorum transmissio, res protectae, etprogrammaturanon deterministica.Adasalutemcodicisfacultatemque sustentionis meliorem facit percompilatrumadhibendum ad menda pro mendis temporis currendi invenienda. Ada est norma internationalis, cuius editio recentissima (Ada 2012[1]) per ISO/IEC 8652:2012 definitur.[2]

Ada primum descripta est a grege abIoanne Ichbiahscientista computatraliFrancicosocietatisCII Honeywell Bullducto per pactum cumMinisterio Defensionis Civitatum Foederatarumab anno1977ad annum1983ad plus quam quadringentas quadraginta linguas programmandi illo tempore a ministerio adhibitas reponendas.[3]Haec programmandi lingua exAda(1815–1852) comitessa Lovelace,mathematicaetscriptriceAnglica,appellatur, quae primusprogrammator computatralisputatur.[4]

Nexus interni

  1. Ganssle, Jack (2013-05-29)."Ada Resource Association – News and resource for the Ada programming language".Adaic.org.
  2. "ISO/IEC 8652:2012Information technology -- Programming languages -- Ada".International Organization for Standardization.
  3. The Ada Programming Language..University of Mich.
  4. Fuegi, J; Francis, J (2003)."Lovelace & Babbage and the creation of the 1843 'notes'".IEEE Annals of the History of Computing25(4): 16–26.
  5. Mandatum computatrale, quoddataadcompilatrummittit ad certamexituscompilati tractationem sinendum.

Normae internationales

[recensere|fontem recensere]
  • Atkinson, Colin.1991.Object-Oriented Reuse, Concurrency and Distribution: An Ada-Based Approach.Addison-Wesley.ISBN 0-201-56527-7.
  • Baker, Louis.1989.Artificial Intelligence with Ada.Novi Eboraci: McGraw-Hill.ISBN 0-07-003350-1.
  • Barnes, John G. P.1991.Programming in Ada plus Language Reference Manual.Addison-Wesley.ISBN 0-201-56539-0.
  • Barnes, John G. P.1995.Programming in Ada 95.Addison-Wesley.ISBN 0-201-34293-6.
  • Barnes, John G. P.1997.High Integrity Ada: The SPARK Approach.Addison-Wesley.ISBN 0-201-17517-7.
  • Barnes, John G. P.2003.High Integrity Software: The SPARK Approach to Safety and Security.Addison-Wesley.ISBN 0-321-13616-0.
  • Barnes, John G. P.2006.Programming in Ada 2005.Addison-Wesley.ISBN 0-321-34078-7.
  • Ben-Ari, M.1998.Ada for Software Engineers.Novi Eboraci: John Wiley & Sons.ISBN 0-471-97912-0.
  • Beidler, John.1997.Data Structures and Algorithms: An Object-Oriented Approach Using Ada 95.Springer-Verlag.ISBN 0-387-94834-1.
  • Bishop, Judy, ed.1990.Distributed Ada: Developments and Experiences.Cantabrigiae et Novi Eboraci: Cambridge University Press.ISBN 0-521-39251-9.
  • Bjørner, Dines, et Ole N. Oest, eds.1980.Towards a Formal Description of Ada.Londinii: Springer-Verlag.ISBN 3-540-10283-3.
  • Booch, Grady.1987.Software Engineering with Ada.California: The Benjamin/Cummings Publishing Company, Inc.ISBN 0-8053-0604-8.De auctore.
  • Booch, Grady, et Doug Bryan.Software Engineering with Ada.Addison-Wesley.ISBN 0-8053-0608-0,
  • Burns, Alan, et Andy Wellings.1995.Concurrency in Ada.Cantabrigiae: Cambridge University Press.ISBN 0-521-62911-X.
  • Burns, Alan, et Andy Wellings.1995.HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems.Amstelodami et Novi Eboraci: Elsevier.ISBN 0-444-82164-3.
  • Burns, Alan, et Andy Wellings.2001.Real-Time Systems and Programming Languages: Ada 95, Real-Time Java and Real-Time POSIX.Addison-Wesley.ISBN 0-201-72988-1.
  • Cohen, Norman.1996.Ada as a Second Language.Ed. secunda. McGraw-Hill Science/Engineering/Math.ISBN 0-07-011607-5.
  • Culwin, Fintan.1997.Ada, a Developmental Approach.Ed. secunda. Novi Eboraci et Londinii: Prentice Hall.ISBN 0-13-264680-3.
  • Dale, Nell B., Chip Weems, et John McCormick.Programming and Problem Solving with Ada 95.Jones & Bartlett Publishers,ISBN 0-7637-0293-5.
  • Dale, Nell B., et John McCormick.Ada Plus Data Structures: An Object-Oriented Approach.Ed. secunda. Jones & Bartlett Publishers.ISBN 0-7637-3794-1.
  • English, John.1997.Ada 95: The Craft of Object Oriented Programming.Novi Eboraci et Londinii: Prentice Hall.ISBN 0-13-230350-7.
  • Feldman, Michael B.1997.Software Construction and Data Structures with Ada.Reading Massachusettae: Addison-Wesley.ISBN 0-201-88795-9.
  • Feldman, Michael B., et Elliot B. Koffman.1999.Ada 95: Problem Solving and Program Design.Ed. tertia. Reading Massachusettae: Addison-Wesley,ISBN 0-201-36123-X.
  • Gilpin, Geoff.1986.Ada: A Guided Tour and Tutorial.Englewood Cliffs Novae Caesareae: Prentice Hall.ISBN 0137305990.
  • Gonzalez, Dean W.1991.Ada Programmer's Handbook.Benjamin-Cummings Publishing Company.ISBN 0-8053-2529-8.
  • Hillam, Bruce.Introduction to Abstract Data Types Using Ada.Novi Eboraci: Prentice Hall.ISBN 0-13-045949-6.
  • Johnston, Simon.1997.Ada 95 for C and C++ Programmers.Reading Massachusettae: Addison-Wesley.ISBN 0-201-40363-3.
  • Jones, Do-While.1989.Ada in Action: With Practical Programming Examples.Novi Eboraci: John Wiley & Sons Inc.ISBN 0-471-60708-8.
  • Krell, Bruce C.1992Developing with Ada: Life-Cycle Methods.Novi Eboraci: Bantam Dell Publishing Group.ISBN 0-553-09102-6.
  • Ledgard, Henry.1986.ADA: An Introduction.Ed. secunda. Novi Eboraci: Springer-Verlag.ISBN 0-387-90814-5.
  • Ledru, Pascal.Distributed Programming in Ada with Protected Objects.Dissertation.com.ISBN 1-58112-034-6.
  • Musser, David R., et Alexander Stepanov.1989.The Ada Generic Library: Linear List Processing Packages.Novi Eboraci: Springer-Verlag.ISBN 0-387-97133-5.
  • Pyle, Ian C.Developing Safety Systems: A Guide Using Ada.Novi Eboraci: Prentice Hall.ISBN 0-13-204298-3.
  • Rudd, David.1995.Introduction to Software Design and Development with Ada.Sancti Pauli: West Publishing.ISBN 0-314-02829-3.
  • Sanden, Bo.Software Systems Construction With Examples in Ada.Novi Eboraci: Prentice Hall.ISBN 0-13-030834-X.
  • Savitch, Walter, et Charles Peterson.Ada: An Introduction to the Art and Science of Programming.Benjamin-Cummings Publishing Company.ISBN 0-8053-7070-6.
  • Skansholm, Jan.1994.Ada 95 From the Beginning,conv. Shirley Booth ex SuecicoAda från början.Ed. secunda. Wokingham Angliae et Reading Massachusettae: Addison-Wesley.ISBN 0201624486.
  • Stubbs, Daniel, et Neil W. Webre.1993.Data Structures with Abstract Data Types and Ada.Bostoniae: PWS-Kent Publishing.ISBN 0-534-14448-9.
  • Weiss, Mark Allen.Data Structures and Algorithm Analysis in Ada.Benjamin-Cummings Publishing Company.ISBN 0-8053-9055-3.
Vicimedia Communiaplura habent quae adAdam (linguam programmandi)spectant.
Lege de{{{2}}}inVicilibris.