디시인사이드 갤러리

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

갤러리 본문 영역

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

나르시갤로그로 이동합니다. 2025.08.08 08:39:58
조회 50 추천 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 - -
공지 프로그래밍 갤러리 이용 안내 [92] 운영자 20.09.28 46260 65
2880868 왜 애들은 토스를 가고 싶어할까. ㅆㅇㅆ(124.216) 17:22 0 0
2880866 <은중과 상연> 한대서 생각나는 예전 글 발명도둑잡기갤로그로 이동합니다. 17:04 4 0
2880865 누구나 기억하는 충격과 공포의 데뷔 무대! 서태지와 아이들 - 난 알아요 발명도둑잡기갤로그로 이동합니다. 16:52 6 0
2880864 구강. 편광. 표리의 틈새. 까마귀와 성명 공기역학갤로그로 이동합니다. 16:40 17 0
2880863 ㅅㅂ 기간 산정 다시 해야겟네 ♥냥덩이♥갤로그로 이동합니다. 16:39 7 0
2880862 토뱅은 또갑자기 집중채용이네 [3] 밀우갤로그로 이동합니다. 16:39 28 0
2880861 2ㅌㅊ면 충분할줄알앗는데 이제 3ㅌㅊ는 햐야되는듯;; ♥냥덩이♥갤로그로 이동합니다. 16:39 11 0
2880860 신입안뽑는이유는 딱한가지임 ㅇㅇ 프갤러(121.174) 16:33 27 0
2880859 누가 나님 냥덩이에 꿀 발라놨뀨? ♥냥덩이♥갤로그로 이동합니다. 16:25 9 0
2880858 단기간에 요로 결석 유발하는 약물 발명도둑잡기갤로그로 이동합니다. 16:21 15 0
2880857 ❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤ ♥냥덩이♥갤로그로 이동합니다. 16:20 15 0
2880856 ㅆㅇㅆ 게이 요즘 cs 위주 글 안 써줘서 ㅁㅈㅎ [2] 루도그담당(211.184) 16:19 34 0
2880855 냥덩이가 가해하고 있는 사람들 발명도둑잡기갤로그로 이동합니다. 16:17 23 0
2880854 너는 따땃한 회사의 응딩이에 붙어있지만 나는 고객한테 구걸해야한다 [3] ㅆㅇㅆ(124.216) 16:16 40 0
2880853 몇 년만에 왔는데 멍유 아직도 살아있었네 [1] ㅇㅇ(211.185) 16:16 22 0
2880852 구직단념자가 왜 되는지 알것같다 [3] ㅇㅇ(223.38) 16:16 47 0
2880851 당연히 명세랑 구조는 내가 직접짜지 게이야 [2] ㅆㅇㅆ(124.216) 16:15 23 0
2880850 나는 현존하는 모든 LLM아레나에 있는 모든 모델 다쓰고 있는데 [2] ㅆㅇㅆ(124.216) 16:12 31 0
2880849 나님 도를믿으세요 만나서 얘기한썰 ♥냥덩이♥갤로그로 이동합니다. 16:11 15 0
2880848 걍 질문을 존나 상세하게 해야하는게 귀찮음 [2] 루도그담당(211.184) 16:09 27 0
2880847 가슴이 먹먹하네요. 프갤러(220.84) 16:08 19 0
2880846 운동 다시 시작해야 하는데 좆됐노 프갤러(61.79) 16:07 14 0
2880845 나는 api 쓰면 비용 너무 많이 나와서 에이전트도 꺼둔 사람임 ㅆㅇㅆ(124.216) 16:05 25 0
2880844 요로 결석 유발하는 약물 발명도둑잡기갤로그로 이동합니다. 15:57 17 0
2880843 예상) 애널의달성 2.1/1/3 ♥냥덩이♥갤로그로 이동합니다. 15:54 16 0
2880842 GPT 질문을 제대로 하기위해서 질문을 래퍼하고 있는 이게 맞는거냐? [2] ㅆㅇㅆ(124.216) 15:53 32 0
2880840 일단 GPT 5용 시스템 카드 읽고 질문 프롬프트 템플릿 만듬 ㅆㅇㅆ(124.216) 15:50 20 0
2880839 지피티 이거 처음 나왔을땐 충격이였는데 [1] 루도그담당(211.184) 15:49 32 0
2880838 예전에 미국 언론이나 민주당이 힙합 띄워준 이유는 발명도둑잡기갤로그로 이동합니다. 15:43 13 0
2880837 ❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤ ♥냥덩이♥갤로그로 이동합니다. 15:41 13 0
2880836 GPT 5 시스템 카드 읽어보고 어떻게 최고수준의 질문할지 생각해봄 [2] ㅆㅇㅆ(124.216) 15:40 36 1
2880835 나님 왤케 특별한걸깡? ♥냥덩이♥갤로그로 이동합니다. 15:36 13 0
2880834 전한길과 냥덩이의 공통점 발명도둑잡기갤로그로 이동합니다. 15:19 25 0
2880833 GPT 5 이거 라우팅 모델이라는게 결국 질문을 잘해야 좋은 모델 쓰게 [2] ㅆㅇㅆ(124.216) 15:18 30 0
2880832 냥덩이 진짜 목소리❤+ ♥냥덩이♥갤로그로 이동합니다. 15:18 21 0
2880831 아무리 맞는 말이라도 내란 옹호했던 사람, 언론이 하면 의심하게 된다 발명도둑잡기갤로그로 이동합니다. 15:13 18 0
2880830 아 공부 며칠간 쉴까 [3] 루도그담당(211.184) 15:11 36 0
2880829 상사가 그냥이란건 없다. 모든 것엔 이유가 있어야 된다길래 [3] 프갤러(211.36) 15:09 36 0
2880828 나는 좀 궁금한게 통진당 해산이 됐으면 당연히 국힘도 해산되야하지 않나. [5] ㅆㅇㅆ(124.216) 15:07 26 0
2880827 중국, 영화로 번 돈 한국가수들 앨범 사는데 다 써 발명도둑잡기갤로그로 이동합니다. 15:05 16 0
2880826 사주에 없다고 생각한 일을 해야만합니다. 어쩌다 이렇게 됐을까요. 프갤러(220.84) 15:02 22 0
2880825 집에 가고싶다 루도그담당(211.184) 14:59 15 0
2880824 ❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤ ♥냥덩이♥갤로그로 이동합니다. 14:58 13 0
2880823 왓더버거~ 프갤러(61.79) 14:57 12 0
2880822 프로그래밍은 어차피 멘탈 모델인 이상 인식이 다를 수밖에 없음 [4] ㅆㅇㅆ(124.216) 14:54 37 0
2880821 모든것은 헬조센 한마디로 설명이 가능하다 프갤러(61.79) 14:54 14 0
2880820 저 소비 많나요? 넥도리아(223.38) 14:49 19 0
2880819 전한길씨 스스로를 전한길이라 칭하는거 재밋지않냐? [2] 헬마스터갤로그로 이동합니다. 14:48 33 0
2880818 추상화란 무엇일까 루도그담당(211.184) 14:38 25 0
뉴스 양파, ‘복면가왕’ 5연승 가왕 앤틱 거울이었다! “마음에 큰 울림 준 즐거운 경험” 디시트렌드 08.11
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2