디시인사이드 갤러리

갤러리 이슈박스, 최근방문 갤러리

갤러리 본문 영역

Ada 프로그래밍: 1.1 Ada의 역사

나르시갤로그로 이동합니다. 2025.08.08 08:39:58
조회 55 추천 0 댓글 0

1.1 Ada의 역사1

Ada 프로그래밍 언어의 기원은 1970년대에 미국 국방부(DoD)가 인지한 소프트웨어 공학 위기에서 비롯됩니다. 이러한 문제들을 해결하기 위해, 국방부는 1975년 1월에 고차원 언어 워킹 그룹(HOLWG)을 설립했습니다. 이 그룹은 국방부의 실시간 임베디드 애플리케이션에 적합한 단일 공통 프로그래밍 언어를 확립하는 임무를 맡았습니다. 프로젝트가 시작될 당시, 국방부는 450개가 넘는 다양한 언어를 사용하고 있었으며, 각 언어는 종종 단일 기계 및 무기 시스템에 국한되었습니다. 이러한 공통성의 부재는 소프트웨어 비용, 신뢰성, 유지보수성, 프로그래머 훈련과 관련된 문제들을 야기했습니다. 이 언어들 중 다수는 특정 하드웨어에 종속적이었고, 공식적으로 명세화되지 않았으며, 신뢰성 있는 모듈식 프로그래밍을 지원하는 기능이 부족했습니다. 이 프로젝트는 초기부터 북미와 유럽의 정부 기관, 산업 파트너, 학술 기관이 참여하는 개방적인 국제 협력으로 수행되었습니다.

요구사항 절차

HOLWG는 새로운 언어의 기술적 요구사항을 정의하기 위해 엄격한 반복적 절차를 수행했습니다. 이 노력의 결과로 널리 배포된 일련의 문서들이 산출되었으며, 각 문서는 이전 문서에 대한 피드백을 바탕으로 작성되었습니다. 이러한 체계적인 접근 방식은 최종 요구사항이 잘 정의되고, 실현 가능하며, 사용자 커뮤니티의 요구에 부합하도록 보장했습니다. 이 시리즈의 핵심 문서는 다음과 같습니다.

  • STRAWMAN (1975년 4월): 토론을 촉진하기 위한 초기 제안서.
  • WOODENMAN (1975년 8월): 더 정제된 기준 집합.
  • TINMAN (1976년 1월): 국방부 전반의 요구사항을 통합한 버전.
  • IRONMAN (1977년 1월): 언어 설계를 안내하기 위한 공식 명세서.
  • STEELMAN (1978년 6월): 최종적이고 가장 확정적인 요구사항 집합.

이 과정의 중대한 결과는 단일 언어가 실제로 거의 모든 국방부 애플리케이션의 다양한 요구를 충족시킬 수 있다는 결론이었습니다. TINMAN 요구사항에 따라 수많은 기존 언어를 평가한 후, HOLWG는 적합한 언어가 없다고 판단했지만, 명세를 충족하는 새로운 언어를 개발하는 것은 달성 가능하다고 결정했습니다.

설계 및 선정

1977년, 국방부는 경쟁적인 설계 노력을 시작하여, IRONMAN 요구사항에 기반한 예비 언어 설계를 제작하도록 네 팀과 계약을 체결했습니다. 평가 중 공정성을 보장하기 위해, 설계안은 색상으로만 식별되었습니다.

  • Red: Intermetrics
  • Green: Cii-Honeywell Bull
  • Blue: SofTech
  • Yellow: SRI International

네 팀 모두 파스칼(Pascal) 언어를 개념적 출발점으로 선택했습니다. 광범위한 국제적 검토를 거쳐, 1978년에 Green과 Red 설계안이 최종 설계 단계로 진행되도록 선정되었습니다. 1979년 5월, Cii-Honeywell Bull의 장 이크비아(Jean Ichbiah)가 이끈 Green 설계안이 최종 선정되었습니다.

이 언어는 러브레이스 백작 부인 어거스타 에이다 킹(Augusta Ada King, Countess of Lovelace, 1815–1852)을 기리기 위해 Ada로 명명되었습니다. 19세기의 수학자인 그녀는 찰스 배비지(Charles Babbage)의 해석 기관(Analytical Engine)에 대해 협력했으며, 최초의 컴퓨터 프로그래머로 널리 인정받고 있습니다. 추가적인 헌사의 의미로, 언어의 원래 군사 표준은 그녀의 출생 연도를 참조하여 MIL-STD-1815로 지정되었습니다.

표준화 및 지속적인 개발

선정된 후, Ada 설계는 공개 테스트 및 평가 기간을 거쳤습니다. 초기 참조 매뉴얼은 1979년에 출판되었고, 피드백을 반영한 후 1980년에 ANSI/MIL-STD-1815로 표준화되었습니다.

이후 Ada는 공식적인 국제 표준화 절차를 통해 유지 및 개발되어 왔습니다. 이는 언어가 장기 수명 프로젝트를 위한 안정성을 보존하면서 기술적으로 최신 상태를 유지하도록 보장합니다. 표준의 주요 개정판은 다음과 같습니다.

  • Ada 83: 최초의 표준(ANSI/MIL-STD-1815A)으로, 나중에 ISO 8652:1987로 채택되었습니다.
  • Ada 95: 객체 지향 프로그래밍에 대한 완전한 지원을 도입한 주요 개정으로, Ada를 최초의 ISO 표준 객체 지향 언어로 만들었습니다.
  • Ada 2005: 인터페이스에 의한 프로그래밍, 향상된 실시간 지원, 표준 라이브러리 추가와 같은 기능을 추가한 개정판입니다.
  • Ada 2012: 이 버전은 계약 기반 프로그래밍(사전 조건 및 사후 조건), 표현식 함수, 멀티코어 병렬 프로그래밍에 대한 향상된 지원을 도입했습니다.
  • Ada 2022: 현재 표준으로, 고결함 소프트웨어 개발을 위한 기능에 대한 추가적인 개선 사항을 포함합니다.

이러한 엄격한 공학, 공개 검토, 통제된 개발의 역사는 대규모의 장기 수명, 고결함 시스템 개발에 대한 Ada의 적합성을 뒷받침합니다.

Ada 개발 및 표준화 연대표

날짜 주요 사건
1975년 1월 고차원 언어 워킹 그룹(HOLWG) 결성.
1975년 4월 STRAWMAN 요구사항 문서 발행.
1975년 8월 WOODENMAN 요구사항 문서 발행.
1976년 1월 TINMAN 요구사항 문서 발행.
1977년 1월 IRONMAN 요구사항 문서 발행.
1977년 8월 경쟁적 언어 설계 계약 체결.
1978년 6월 STEELMAN 요구사항 문서 발행.
1979년 5월 최종 언어 설계(Green 제안) 선정.
1980년 12월 언어가 MIL-STD-1815로 표준화됨.
1983년 2월 개정된 표준 ANSI/MIL-STD-1815A (Ada 83) 승인.
1983년 4월 첫 번째 컴파일러가 Ada 83 표준에 따라 검증됨.
1987년 6월 Ada 83이 국제 표준 ISO 8652:1987로 채택됨.
1995년 2월 Ada 95가 국제 표준 ISO/IEC 8652:1995로 승인됨.
2007년 3월 Ada 2005가 Ada 95 표준의 수정판 ISO/IEC 8652:1995/Amd 1:2007로 발표됨.
2012년 12월 Ada 2012가 국제 표준 ISO/IEC 8652:2012로 승인됨.
2023년 5월 Ada 2022가 국제 표준 ISO/IEC 8652:2023으로 승인됨.

이 표는 HOLWG의 결성부터 현재 Ada 2022 표준의 발표까지 Ada 역사의 주요 사건들을 개괄적으로 보여줍니다.


  1. Whitaker, William A. Ada - The Project, The DoD High Order Language Working Group. ACM SIGPLAN Notices, vol. 28, no. 3, 1993, http://archive.adaic.com/pol-hist/history/holwg-93/holwg-93.htm 

추천 비추천

0

고정닉 0

0

댓글 영역

전체 댓글 0
본문 보기

하단 갤러리 리스트 영역

왼쪽 컨텐츠 영역

갤러리 리스트 영역

갤러리 리스트
번호 제목 글쓴이 작성일 조회 추천
설문 시구, 시축 했다가 이미지가 더 나빠진 스타는? 운영자 25/08/11 - -
AD 가전디지털, 휴대폰 액세서리 SALE 운영자 25/08/08 - -
2881011 와 갤 똥내 씨발 [1] 박민준갤로그로 이동합니다. 01:56 82 0
2881006 이게 바로 법치주의고 정의지 [3] 야옹아저씨갤로그로 이동합니다. 01:28 73 2
2880990 윤석열 개병신새끼네 ㅋㅋ 류류(118.235) 00:56 37 1
2880966 우리 모두 사랑해요 [5] 개멍청한유라갤로그로 이동합니다. 08.12 57 0
2880963 회사 오너가 개 빡쳐 있는 이유. [1] 프갤러(59.16) 08.12 74 0
2880961 왜 임베디드 취업은 ai영향이 적은거임 ㅇㅇ(175.119) 08.12 69 0
2880959 요즘 너무 바빠서 [2] 아스카영원히사랑해갤로그로 이동합니다. 08.12 51 0
2880955 넥도리아 야식 콩국물 + 오뚜기 라면 사리 [2] 넥도리아(220.74) 08.12 72 0
2880953 전한길씨가 그래도 차단은 안하더라 [4] 헬마스터갤로그로 이동합니다. 08.12 69 0
2880948 김건희 구속 드가자 야옹아저씨갤로그로 이동합니다. 08.12 49 0
2880947 코딩과 개발은 은 프로그래밍이 아니다. 프갤러(121.139) 08.12 56 1
2880946 네이버는 그나마 사람 새끼들 집합이겠지. 프갤러(211.234) 08.12 63 0
2880945 코딩은 알고리즘실력보다 중요한건 프갤러(118.219) 08.12 57 0
2880943 내가 비록 호주인으로 국적이 바뀌지만 미래에 한국 전쟁에 참전은 하겠다. [4] Kyle(103.21) 08.12 87 0
2880942 네이버 토스 종결 프갤러(121.139) 08.12 75 1
2880940 추악한 모습을 드러내야 하는데요. 프갤러(220.84) 08.12 38 0
2880937 집에 5공화국 쉴드치는 돼지가 살아요. 넥도리아(223.38) 08.12 31 0
2880935 클리우드 엔지니어쪽 생각하고 있는데 프갤러(211.235) 08.12 43 0
2880931 대규모시스템설계기초책 재밌네 [1] 밀우갤로그로 이동합니다. 08.12 36 0
2880929 찐윤이랑 윤석열이 국민 삶 의료질 다 망쳐나서.. [1] 넥도리아(223.38) 08.12 39 0
2880927 아는 형님이 크롤링 만들어달래서 루도그담당(58.239) 08.12 59 1
2880926 영어 좆도 모르면 프로그래밍 못 할 정도임? [15] 냥이펀치갤로그로 이동합니다. 08.12 105 0
2880917 이거 ODD 수리 하는게 좋을까요. 어떻게 살릴까요? [1] 넥도리아(223.38) 08.12 40 0
2880915 야옹아저씨 글 자체가 적페 넥도리아(223.38) 08.12 28 0
2880914 기호식품이 담배, 술 지원금으로 사는인간들 적페 넥도리아(223.38) 08.12 26 0
2880909 조직스토킹 전파무기 벽투시기 방사성물질테러로부터 안전할권리를 만듭시다 손발이시립디다갤로그로 이동합니다. 08.12 36 0
2880905 권리를 쟁취하자 손발이시립디다갤로그로 이동합니다. 08.12 24 0
2880904 스카이넷좌를 석방하라 조직스토킹으로부터 안전할권리 손발이시립디다갤로그로 이동합니다. 08.12 24 0
2880903 조직스토킹으로부터 안전할권리 스카이넷좌와 함께합니다 손발이시립디다갤로그로 이동합니다. 08.12 23 0
2880902 7 만언 ! 받는법 정리~~~ ! ㅇㅇ(106.101) 08.12 26 0
2880899 파이썬 계 김영한 없냐? [2] 프갤러(121.137) 08.12 83 0
2880897 니들 정치인하고싶냐? [3] 헬마스터갤로그로 이동합니다. 08.12 55 1
2880896 PM님이 사무실에서 일본어 공부하는 저를 발견하셨어요 [2] 아스카영원히사랑해갤로그로 이동합니다. 08.12 67 1
2880891 그냥 어느 레이어에 따라서 필요한 멘탈 모델이 달라진다는게 핵심이지 ㅆㅇㅆ(124.216) 08.12 30 0
2880889 애초에 프로그래밍은 유일한 절대적 최적해가 아닌 ㅆㅇㅆ(124.216) 08.12 37 0
2880888 한국에서는 논리적 사고를 수학적 사고랑 동치화해서 그래 ㅆㅇㅆ(124.216) 08.12 26 0
2880887 수학적 사고력이라는게 뭘까 [1] 프갤러(211.186) 08.12 36 0
2880886 토스는 개발자의 회사보다는 기획자의 회사가 더 맞지 않나 싶은데 난 [2] ㅆㅇㅆ(124.216) 08.12 66 0
2880883 토스 다크패턴은 진짜 UI/UX 설계중에서도 악질중에 악질임 [3] ㅆㅇㅆ(124.216) 08.12 79 0
2880881 토스부러윤이유 [2] 밀우갤로그로 이동합니다. 08.12 53 0
2880880 토스 다크패턴 느낀게 [2] 루도그담당(211.184) 08.12 71 0
2880874 네이버나 이런 애들은 뭔가 그래도 오픈소스로 혁신기술 만들어팔잖아 [4] ㅆㅇㅆ(124.216) 08.12 54 0
2880872 토스의 서사라는게 그건 10년대 초반이나 통했지 지금은 20년대 중반인데 ㅆㅇㅆ(124.216) 08.12 35 0
2880871 내가 느끼는 것은 구직 시장에서 서사를 어떻게 파느냐가 중요한듯 ㅆㅇㅆ(124.216) 08.12 50 0
2880868 왜 애들은 토스를 가고 싶어할까. [4] ㅆㅇㅆ(124.216) 08.12 88 0
2880864 구강. 편광. 표리의 틈새. 까마귀와 성명 공기역학갤로그로 이동합니다. 08.12 26 0
2880862 토뱅은 또갑자기 집중채용이네 [3] 밀우갤로그로 이동합니다. 08.12 111 0
2880856 ㅆㅇㅆ 게이 요즘 cs 위주 글 안 써줘서 ㅁㅈㅎ [2] 루도그담당(211.184) 08.12 61 0
2880854 너는 따땃한 회사의 응딩이에 붙어있지만 나는 고객한테 구걸해야한다 [4] ㅆㅇㅆ(124.216) 08.12 59 0
2880853 몇 년만에 왔는데 멍유 아직도 살아있었네 [1] ㅇㅇ(211.185) 08.12 36 0
뉴스 아내·자녀 두고…“내 안에 강순” 가슴수술 결심한 트레이너 디시트렌드 08.12
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2