지금까지 SPARK의 다양한 기능과 기법들을 배웠습니다. 이제 실제 프로젝트에서 이러한 지식들이 어떻게 적용되는지 구체적인 사례 연구를 통해...
SPARK
드디어 여러분의 첫 번째 SPARK Ada 프로그램을 작성해 볼 시간입니다! 2장에서 개발 환경을 성공적으로 구축했으니, 이제 실제로...
이제 SPARK Ada 코드를 작성하고 실행하기 위한 도구를 여러분의 컴퓨터에 설치해 보겠습니다. 이 장에서는 FreeBSD 운영체제에 개발...
자, 이제 우리가 만든 코드를 좀 더 깔끔하게 정리하고, 똑같은 작업을 반복해야 할 때 아주 편리하게 사용할...
프로그램은 데이터를 처리하고 결과를 만들어내는 과정을 통해 작동합니다. 마치 요리사가 다양한 재료를 사용하여 맛있는 음식을 만들듯이, 프로그래머는...
자료 구조란 무엇일까요? (데이터를 효율적으로 담는 다양한 방법) 우리가 프로그램을 만들 때, 다양한 형태의 데이터를 다루게 됩니다....
이 책의 1부에서는 SPARK 프로그래밍의 세계로 여러분을 안내합니다. SPARK가 무엇이며 왜 중요한지 알아보고, 기본적인 프로그래밍을 시작하는 데...
왜 다른 언어와 함께 사용해야 할까요? 우리가 레고 블록으로 멋진 작품을 만들 때를 생각해 볼까요? 때로는 우리가...
