디시인사이드 갤러리

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

갤러리 본문 영역

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

나르시갤로그로 이동합니다. 2025.08.08 08:39:58
조회 44 추천 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 - -
2880063 무료급식소를 열고싶어요. 프갤러(220.84) 08.10 38 0
2880059 아니 근데 지피티 5가 그렇게 못써먹을정도인가? 걍 지침대로하면 [5] ㅆㅇㅆ(124.216) 08.10 94 0
2880058 기세닷! 기세로 밀러부쳐어어엇!! ♥냥덩이♥갤로그로 이동합니다. 08.10 30 0
2880057 GPT 5 진짜 못써먹겠는데... [5] 프갤러(1.224) 08.10 87 0
2880055 이번 대구 방화사건 보니까 느끼는건데 [4] ㅆㅇㅆ찡갤로그로 이동합니다. 08.10 86 0
2880052 [대한민국] 간첩법 개정이 절실한 이유와 성과 위주의 사회란? 프갤러(121.172) 08.10 20 0
2880049 보통 C# 서는 이벤트 사용을 권장하지만 내부적으로 델리게이트 쓰긴함 [2] ㅆㅇㅆ(124.216) 08.10 70 0
2880048 gpt5 너무 멍청하다 [1] 초코냥갤로그로 이동합니다. 08.10 55 0
2880044 뉴비 C# 질문 좀 할수있을까요.. [6] ㅇㅇ(162.210) 08.10 88 0
2880042 기쁨의 원천 ♥냥덩이♥갤로그로 이동합니다. 08.10 24 0
2880041 이번에 지피티5써보니까 더 좋아진거같은데 난 [4] ㅆㅇㅆ(124.216) 08.10 57 0
2880038 챗티씨5 기능이 퇴화했다고 하는구나 [3] 헬마스터갤로그로 이동합니다. 08.10 64 1
2880033 ms 2025년에도 xaml갖고 떡치는거 재밋지않냐? [6] 헬마스터갤로그로 이동합니다. 08.10 61 0
2880028 스프링 아예 안한지 1년 넘었는데 다시 도전해볼까 [5] ㅇㅇ(118.235) 08.10 81 0
2880025 레전드 도배 갤러리 프갤러(122.199) 08.10 45 0
2880024 냥덩이가 가장 좋아하는 계절❤+ ♥냥덩이♥갤로그로 이동합니다. 08.10 30 0
2880020 비추론 모델에 추론 prompt 썻더니 존나 똑똑해짐 프갤러(125.143) 08.10 41 0
2880019 이번에 NEST.JS 해보면서 느끼는건데 생각보다 어렵네 [1] ㅆㅇㅆ(124.216) 08.10 57 1
2880018 보물을 찾아 모험을 떠나구 싶구낭 ♥냥덩이♥갤로그로 이동합니다. 08.10 28 0
2880016 1루에 9줄 감사의 코딩 [6] 공기역학갤로그로 이동합니다. 08.10 81 0
2880009 흠.. 금월까진 모르겟구 담달초까진 가능할듯 ♥냥덩이♥갤로그로 이동합니다. 08.10 32 0
2880001 나님 왤케 특별하실깡..? ♥냥덩이♥갤로그로 이동합니다. 08.10 26 0
2879997 VS스튜디오 쓰다가 VS코드 쓰면 항상 느끼지만 [6] ㅆㅇㅆ(124.216) 08.10 87 0
2879996 롤토체스 시즌 15 공략 개추 프갤러(121.133) 08.10 30 0
2879990 ❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤ ♥냥덩이♥갤로그로 이동합니다. 08.10 22 0
2879988 너무 피곤하다 하 씨발 [1] ㅆㅇㅆ(124.216) 08.10 52 0
2879985 영혼을 튀기는 기름가마솥을 엎어야해요. 프갤러(220.84) 08.10 27 0
2879984 6년차연봉3500경력32살개발자일요일아침시작 현무E공인(58.225) 08.10 61 0
2879983 나님 뛰뛰하니깡 썩은몸이 다시 생명을 얻는둣? ♥냥덩이♥갤로그로 이동합니다. 08.10 35 0
2879976 인류 최초의 역사! 우리가 몰랐던 성경의 뿌리, 고대 신화의 비밀 발명도둑잡기갤로그로 이동합니다. 08.10 31 0
2879975 결국 제미니 2.5 프로 딥리서치로 Ada 책 작성한다. 나르시갤로그로 이동합니다. 08.10 29 0
2879974 물 ㅇㅅㅇ 헤르 미온느갤로그로 이동합니다. 08.10 26 0
2879973 태연 ㅇㅅㅇ [3] 헤르 미온느갤로그로 이동합니다. 08.10 47 0
2879972 하루 한 번 헤르미온느 찬양 헤르 미온느갤로그로 이동합니다. 08.10 31 0
2879971 극한 상황에서 체력, 여성이 남성보다 우수 [달콤한 사이언스] 발명도둑잡기갤로그로 이동합니다. 08.10 29 0
2879969 안녕히계세요 여러분-! 분해 넥도리아(220.74) 08.10 29 0
2879957 Call ♥냥덩이♥갤로그로 이동합니다. 08.10 31 0
2879954 ㅆㅇㅆ야 뭐보고 공부했냐 [1] ㅇㅇ(118.235) 08.10 61 0
2879953 신이 있다면 제발 대답해줘어엇!!!!!!!!!!! ♥냥덩이♥갤로그로 이동합니다. 08.10 32 0
2879952 영화 슈퍼맨, ‘가자 전쟁’ 얘기?…“현실은 더 참혹” 발명도둑잡기갤로그로 이동합니다. 08.10 21 0
2879951 ❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤ [1] ♥냥덩이♥갤로그로 이동합니다. 08.10 43 0
2879949 오늘의 소설, 영화 실마리: 인공지능 무인 암살 로보트 자판기 발명도둑잡기갤로그로 이동합니다. 08.10 37 0
2879948 밴드가 솔로보다 인기 끌 확률 더 큰가 연구 발명도둑잡기갤로그로 이동합니다. 08.10 34 0
2879945 음악치료 유명한 성공사례 발명도둑잡기갤로그로 이동합니다. 08.10 33 0
2879942 국가대표 AI 개발 경쟁, KT·카카오는 왜 탈락했을까 발명도둑잡기갤로그로 이동합니다. 08.10 52 0
2879937 몇명 이상 모여야 뇌가 그 집단을 사람이 아닌 사물로 인지 발명도둑잡기갤로그로 이동합니다. 08.10 46 0
2879934 매체의 변화와 대중문화의 형성 발명도둑잡기갤로그로 이동합니다. 08.10 40 0
2879928 조선 금속활자 책종 구텐베르크 이후 60년간 유럽 각국보다 6배 [1] 발명도둑잡기갤로그로 이동합니다. 08.10 42 0
2879927 1377년 금속활자로 인쇄한 『직지』가 현대 우리에게 전하는 것은 [1] 발명도둑잡기갤로그로 이동합니다. 08.10 26 0
2879926 오늘의 발명 실마리: 비밀 [1] 발명도둑잡기갤로그로 이동합니다. 08.10 24 0
뉴스 ‘혼외자 인정’ 김병만 전처 딸 파양 “무고 패륜행위” 디시트렌드 08.09
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2