디시인사이드 갤러리

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

갤러리 본문 영역

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

나르시갤로그로 이동합니다. 2025.08.08 08:39:58
조회 70 추천 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/18 - -
AD 전자제품 세일쇼! 운영자 25/08/19 - -
2882224 기재부 "내년 예산 지출구조조정으로 27조 절감…역대 최대" ㅇㅇ(183.101) 08.17 53 0
2882223 '케데헌' OST 작곡 이재 참여 광복 80년 기념곡 오늘 공개 발명도둑잡기갤로그로 이동합니다. 08.17 25 0
2882222 알고리즘 공부 어케 함? [4] 프갤러(114.205) 08.17 61 0
2882221 22년 전의 예언 발명도둑잡기갤로그로 이동합니다. 08.17 33 0
2882220 ㅇㅅㅇ ♥냥덩이♥갤로그로 이동합니다. 08.17 34 0
2882215 한글 프로그래밍의 꿈은 결국 인공지능 시대에 이루어졌다 [1] 발명도둑잡기갤로그로 이동합니다. 08.17 49 0
2882214 뀨? ♥냥덩이♥갤로그로 이동합니다. 08.17 24 0
2882213 [애니뉴스] 사이트 이전 및 귀인환등초 18화 감상 프갤러(121.172) 08.17 32 0
2882212 오늘의 소설, 영화 실마리: 프갤 MT 발명도둑잡기갤로그로 이동합니다. 08.17 32 0
2882211 정신이 돌아오고 있는 냥덩이 발명도둑잡기갤로그로 이동합니다. 08.17 30 0
2882210 나같은 도태남은 주위에 여자가 없다 발명도둑잡기갤로그로 이동합니다. 08.17 32 0
2882209 나님 배뷰륩니댱⭐+ ♥냥덩이♥갤로그로 이동합니다. 08.17 28 0
2882205 배급재명 왕따인증참사에 기어간 극좌좀들 수준 ㅁㅌㅊ? ♥냥덩이♥갤로그로 이동합니다. 08.17 41 0
2882198 고수들은 프라이빗 말고 프리베이트라고 읽더라 [4] 카드캡터체리갤로그로 이동합니다. 08.17 73 0
2882197 나님은 천재가 아님 ♥냥덩이♥갤로그로 이동합니다. 08.17 29 0
2882193 21세기초 짱깨국 갓엇는대 ♥냥덩이♥갤로그로 이동합니다. 08.17 25 0
2882192 내일 출근이네 씨발 [3] 루도그담당(58.239) 08.17 49 0
2882191 SOA에 소개된 소프트웨어 아키텍쳐 구조 그대로 명세따서 LLM에 넣어도 ㅆㅇㅆ(124.216) 08.17 45 0
2882190 웃흥~ Kyle(123.243) 08.17 36 0
2882189 서울 절반은 “내 집 없어”…전·월세 무주택가구 전국 1천만 육박 발명도둑잡기갤로그로 이동합니다. 08.17 40 0
2882187 공장 프로그래밍 완전자동화는 명세론 안된다 ㅆㅇㅆ찡갤로그로 이동합니다. 08.17 38 0
2882186 주최측의 농간이 온라인 도박장의 철칙 발명도둑잡기갤로그로 이동합니다. 08.17 27 0
2882185 추상적인 과제를 구체적인 과제로 쪼개서 시행 ♥냥덩이♥갤로그로 이동합니다. 08.17 34 0
2882184 챗티씨 fast 모드 간단한 방정식도 못푸는것 보고 [3] 헬마스터갤로그로 이동합니다. 08.17 58 0
2882181 세상, 사회, 운명으로부터 증오를 받습니다. 프갤러(220.84) 08.17 44 0
2882180 냥덩이 미소녀굿즈 사주실분? ♥냥덩이♥갤로그로 이동합니다. 08.17 30 0
2882179 '스페인 내전'에서의 소련과 스탈린에 대한 반공 내러티브를 반박하다 발명도둑잡기갤로그로 이동합니다. 08.17 26 0
2882178 <스페이스 잼 2> 발명도둑잡기갤로그로 이동합니다. 08.17 21 0
2882177 이국종 교수가 이재명 대통령 ‘국민 임명장’에 전한 바람 발명도둑잡기갤로그로 이동합니다. 08.17 49 0
2882175 집에서 검색 필터 구현하는데도 죙일 걸리네 프갤러(220.93) 08.17 32 0
2882174 님들 저 졸업하고싶습니다 [1] 공기역학갤로그로 이동합니다. 08.17 39 0
2882173 정통성 없다는 열등감이 셀프왕따인증 대참사로 나타남 [1] ♥냥덩이♥갤로그로 이동합니다. 08.17 50 0
2882168 [대한민국][충격] 선관위 'C 컴파일러'! 믿을 수 없는 전산조작! 프갤러(121.172) 08.17 38 0
2882167 동생이 맡긴 도마뱀 발명도둑잡기갤로그로 이동합니다. 08.17 28 0
2882166 산출할수 없는걸 산출하려 하지말라 By 나님 ♥냥덩이♥갤로그로 이동합니다. 08.17 24 0
2882163 컨설팅 회사 RA 인턴 어떰? 프갤러(211.36) 08.17 36 0
2882162 연출력 미쳣당 ㄷㅅㄷ 감각 ㅆㅅㅌㅊ ♥냥덩이♥갤로그로 이동합니다. 08.17 29 0
2882160 외주받으려고 숨고 써봤는데 이거 절대 쓰지마라 [2] 프갤러(106.101) 08.17 61 0
2882159 나님은 심리학을 마스터햇당 [1] ♥냥덩이♥갤로그로 이동합니다. 08.17 48 0
2882157 회사에다 그만두고싶다고 했더니 [3] ㅇㅇ(160.238) 08.17 80 0
2882156 아무리 자세하게 명세 짜도 한계가 있네 LLM 구현은 [3] ㅆㅇㅆ(124.216) 08.17 56 0
2882155 부모가 절묘한 수렁에 낳아주셨죠. 프갤러(220.84) 08.17 35 0
2882154 인지과학조져라 손발이시립디다갤로그로 이동합니다. 08.17 30 0
2882152 “맥도날드도 안 뽑아준다” AI에 밀려난 코딩 전공자들 절규 프갤러(218.50) 08.17 107 0
2882151 ❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤ ♥냥덩이♥갤로그로 이동합니다. 08.17 34 0
2882150 코딩으로 먹고살려면 심리학 공부하는게 맞는듯 [1] ㅇㅇ(14.51) 08.17 73 0
2882149 나님 피규어 삿어양❤+ ♥냥덩이♥갤로그로 이동합니다. 08.17 42 0
2882147 좋았어 발명도둑잡기갤로그로 이동합니다. 08.17 38 0
2882144 [해방80년특집: 숭미의 기원①] 광화문 성조기는 어디서 왔나 발명도둑잡기갤로그로 이동합니다. 08.17 37 0
2882142 냥덩 만화상 이 만화가 대단하당⭐ 14회 수상작 ♥냥덩이♥갤로그로 이동합니다. 08.17 36 0
뉴스 빅히트 신인 코르티스, 6년 만의 신예 그룹, '하이라이징' 프로젝트로 데뷔 지원 받아 디시트렌드 08.19
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2