디시인사이드 갤러리

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

갤러리 본문 영역

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

나르시갤로그로 이동합니다. 2025.08.08 08:39:58
조회 69 추천 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 - -
2881280 카카오 MCP 나옴 [1] 프갤러(121.133) 08.13 85 0
2881278 자바로 윈도우13 만드는중이누?? 윈도우 출시예정 또 미루누 ㅋㅋㅋㅋㅋㅋ 타이밍뒷통수한방(1.213) 08.13 59 0
2881277 윈도우12 출시예정 또 내년으로 미룸 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅅㅂ ㅋㅋㅋㅋㅋ 타이밍뒷통수한방(1.213) 08.13 51 0
2881275 클라우드에서 개발하는 서비스 뭐가 좋나요 [3] 프갤러(58.29) 08.13 63 0
2881266 선생님들 m1맥북 엑셀사용 질문있습니다 ㅇㅇ갤로그로 이동합니다. 08.13 56 0
2881259 아 친구 새끼 씨발 [3] 루도그담당(58.239) 08.13 114 0
2881252 어 씨발 해물짬뽕수제비 왔네~ [4] 아스카영원히사랑해갤로그로 이동합니다. 08.13 90 0
2881250 VBA의 좋은점 하나 배웠다 이기 [2] 슈퍼막코더(126.204) 08.13 82 0
2881248 에이치PE, ‘디시인사이드’ 품는다 [시그널] 발명도둑잡기갤로그로 이동합니다. 08.13 91 0
2881247 코딩 잘하면 뭐하나. 프갤러(49.165) 08.13 63 0
2881246 정희햄은 재규어햄이 있어서 아름다운 평가 받는거지 [7] ㅆㅇㅆ(124.216) 08.13 77 0
2881245 비개발 중소는 또라이 많네.. [1] 프갤러(220.92) 08.13 100 1
2881243 아스카 선정 머한민국 머통령 티어 [8] 아스카영원히사랑해갤로그로 이동합니다. 08.13 101 0
2881242 애초에 이명박 자체가 기독교 장로까지 지냈어 [2] ㅆㅇㅆ(124.216) 08.13 66 0
2881240 근데 민자당계쪽은 이명박이 망쳤음. 자기 권력기반으로 뉴라이트 [4] ㅆㅇㅆ(124.216) 08.13 72 0
2881239 울회사는 중소인데 나이먹어도 안짤리네.. [8] 프갤러(175.197) 08.13 108 0
2881238 아스카가 생각하기에 역대 조선 머통령 중 [4] 아스카영원히사랑해갤로그로 이동합니다. 08.13 94 0
2881236 [애니뉴스] 귀인환등초 캐릭터 - 오후우에 대해서 + 만화 간백이란 프갤러(121.172) 08.13 43 0
2881235 내일 연차냈습니다 [6] 루도그담당(58.239) 08.13 82 0
2881234 임기말에 한국 대통령 레임덕 터지는건 뭐 당연한거라 [3] ㅆㅇㅆ(124.216) 08.13 75 0
2881233 이재명씨가 아무리 똥볼차도 내란은 이기기힘들다 [9] 헬마스터갤로그로 이동합니다. 08.13 101 0
2881232 재매이햄 보면서 느낀게 우리나라 정치권력 지형이라는게 지역유지 기반 [3] ㅆㅇㅆ(124.216) 08.13 70 0
2881231 근데 찢재명 범죄자 사면 이거 대통령 당선되면 연례행사인데 [17] ㅆㅇㅆ(124.216) 08.13 122 0
2881230 미장 <<< 씨발년 왜 오르기만 함 [5] 아스카영원히사랑해갤로그로 이동합니다. 08.13 94 0
2881228 스케일이 아닌 원칙을 운영하라는데 책 읽다보면 기술에 대한 동경이 ㅆㅇㅆ(124.216) 08.13 55 0
2881227 머리 때문에 열등감 엄청 느끼네 어디다가 풀데도 없고 [1] 프갤러(211.211) 08.13 68 0
2881226 도미노피자 3만원이 맞아? [2] 아스카영원히사랑해갤로그로 이동합니다. 08.13 61 1
2881225 나도 언젠가 쿠버네티스 쓸 정도의 서비스 운영하고 싶다 [2] ㅆㅇㅆ(124.216) 08.13 67 0
2881224 다들 좋은 사람이다 [4] 개멍청한유라갤로그로 이동합니다. 08.13 71 0
2881223 집밥 [1] 넥도리아(220.74) 08.13 64 0
2881222 sqlp 공부하면 좋은게 자료구조의 극한을 찍는거같음 밀우갤로그로 이동합니다. 08.13 69 0
2881220 반드시 걸러야할 업체 1. 넥사크로 2. 카페24 쓰는 업체 프갤러(223.54) 08.13 53 0
2881219 이재명씨 거품 슬슬 걷히는듯 하군요 [6] 헬마스터갤로그로 이동합니다. 08.13 107 0
2881218 일단 오늘 석사 논문 들어갈 그래프처리 끝내야하는데 ㅆㅇㅆ찡갤로그로 이동합니다. 08.13 56 0
2881217 하 외주 받는다고 기술 스택 술술불러서 [4] ㅆㅇㅆ찡갤로그로 이동합니다. 08.13 86 0
2881216 카페24 애미디진 좆쓰레기 새끼들 죽여버리고 싶네 [1] 프갤러(223.54) 08.13 74 0
2881214 언어는 도구일뿐 [2] 밀우갤로그로 이동합니다. 08.13 77 0
2881213 언어를 음식에 비유하면 루도그담당(58.239) 08.13 73 0
2881212 파이썬 부트캠프는 뭔 지랄이냐 [9] 밀우갤로그로 이동합니다. 08.13 138 0
2881211 K8s가 잘 이해할라면 [2] 프갤러(211.234) 08.13 92 0
2881209 자바가 GR 같은 이유. 프갤러(59.16) 08.13 56 0
2881208 사실 좆목질의 문제라는 건 그 뭐지 창조도시서 쫓겨난 애가 만든거라 [4] ㅆㅇㅆ(124.216) 08.13 76 0
2881207 좆목 문제가 친하게 지내는건 문제가 안되는데 루도그담당(118.235) 08.13 61 0
2881206 옵챗 순회했는데 [2] 루도그담당(118.235) 08.13 62 0
2881205 있다가 저녘 인증한다. 넥도리나(220.74) 08.13 56 0
2881202 개발을 개 ㅗ 으로 생각한다. [3] 프갤러(59.16) 08.13 72 0
2881198 파이썬으로 배포해본 고수님 있으신가요? [5] 프갤러(218.49) 08.13 96 0
2881196 메이플 접으니 하루가 텅텅~ 너무 공허한데 어떡함... [1] ㅇㅇ(223.39) 08.13 55 0
2881195 내가 자격증 이딴거 안믿는 이유 [2] ㅆㅇㅆ(124.216) 08.13 90 0
2881194 나도 나중에 기술사나 도전해볼까 프갤러(61.79) 08.13 50 0
뉴스 김태희, 두 딸 최초 공개…누구 닮았나보니 “희비교차” 디시트렌드 08.19
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2