Въведение
се използва за насочване на принципите и принципите на операциите на програмния дизайн и техниките за проектиране на това. Понякога се отнася и до изучаването на тези принципи, принципи и технология. Целта на програмната методология е да се проектират надеждни, лесни за четене и скъпи процедури. Методите за проектиране на програми включват теория на проекта, изследователска технология, поддържаща среда, инженерни спецификации и автоматично програмиране и т.н., което прави програмирането по-научно и инженерно. Основното съдържание е: структурно програмиране; теория на приложенията в технологиите за програмиране и спецификации и технологии за трансформиране. Теорията на процедурите е тясно свързана с разработването на методологията за проектиране на програми и обогатява метода на мислене и насърчава развитието на технологията за програмиране.
История на развитието
Генериране на предистория
През 1950-1 г. През 1970 г., методът на програмиране в занаятчийски стил, Gaodener нарича програмата изкуство.
В края на 1960-те - началото на 1970-те се появява софтуерната криза: едната страна изисква голям брой софтуерни системи, като операционни системи, системи за управление на бази данни; от друга страна, цикълът на разработка на софтуер е дълъг, надежден и труден при поддръжка. Програмиране: Програмата е ясна, лесна за четене, лесна за модифициране, лесна за проверка и получава добра структура.
През 1968 г. Северноатлантическата конвенция (НАТО) проведе първата конференция за софтуерно инженерство в Западна Германия, анализира ситуацията на кризата, проучи основната причина за проблема и първото предложено инженерство Начинът, по който решенията решават проблема с разработка и производство на софтуер, тази среща може да се счита за важен крайъгълен камък в историята на разработката на софтуер.
През 1969 г. Международната асоциация за обработка на информация (IFIP) създаде „Работна група по методология на процедурния дизайн“, специализирана в методологията за проектиране на изследователски процедури, програмиране от начини в стил на ръчна форма до инженерство. Изследване на метода за проектиране на структурирана програма на структурирана програма. Dijkstra предлага "GOTO е вредно", надявайки се да гарантира правилността на динамичната работа на програмата на програмата.
През 1969 г. WIRTH предложи да се проектира принципът на "постепенно търсене отгоре надолу, за да се търси същността, разделена на сила". Неговата основна идея е: от първоначалния проблем за решаване, използвайте научния абстрактен метод, за да разбиете на редица относително независими малки проблеми, последователно прецизирайте, докато различните малки проблеми бъдат решени.
Коректността на програмата доказва "
През 1967 г. Флойд предлага коректността на програмата с рамкова графика с "метода на твърдението".
1969, Hoare дефинира малък език и логическа система, базирана на Floyd. Тази логическа система съдържа процедурни аксиоми и правила за извеждане, които трябва да докажат част от коректността на програмата, която е известната логика на Хоар. Работата му полага основите на изучаването на рибологията.
През 1973 г. Hoare и Wirth поставят по-голямата част от езика PASCAL.
1975 г. за първи път се появява автоматична система за проверка, базирана на аксиома и правила за извеждане.
1979 г. има език за програмиране Евклид с идея, базирана на аксиоми.
През 1976 г. Дайкстра предложи концепцията за най-слабия предикат и преобразувател на предикат за коректността на програмата и формалното извеждане на програмата.
1980 г., D. Gries комбинира с доказаната система, базирана на предикатни изчисления, наречена "Наука за програмиране". За първи път програмата е създадена от опит и технология.
1974 г. хората използват модална логика, за да проверят коректността на паралелните програми.
За доказаната коректност на програмата:
Съмнение и противопоставяне, причина: Първо, формата е твърде сложна, кой може да гарантира, че няма грешка сама по себе си! Второ, програмата е написана, след това докажете нейната коректност, това е еквивалентно на "задната част на коня", тоест грешката е хвърлена, как мога да поправя?
Капсула: Напишете програма и докажете, докато я обмисляте. Тоест дизайнът на програмата и коректността са доказани едновременно паралелно.
Конструира правилната програма
С помощта на предикатния конвертор на Dijkstra и неговия набор от правила за изчисление може да се извлече правилната програма.
Използвайте програмата, за да създадете правилната програма. Той прилага серия от правила за трансформация, които прилагат серия от коректни защити, в крайна сметка получават изпълними програми. Трансформацията на програмата е важен аспект от изследването на "методологията за проектиране на програми" от 70-те години на миналия век, което е един от обещаващите начини за автоматизация на програмирането. Рекурсивната програмна трансформация е най-значимият резултат от този период. Като например системата за рекурсивно преобразуване на програми на Burstall и Darlington и др.
Дизайнът на логическата програма и дизайнът на функционалната програма представлява нова изследователска посока. ProLog е система за формуляри, базирана на подмножеството на предикатната логика (клауза на Hoare). Процесът на изпълнение на ProLog е процес на изпълнение на алгоритми за логично разграждане.
Изследване на абстрактни типове данни
Абстрактният тип данни е изключително важен метод в методологията на програмирането. Той е известен като важен крайъгълен камък в историята на методологията на програмирането.
Проучване на
Структурирана програма
абстракция на данни и модулно програмиране
Сертификат за коректност на програмата
Програмна трансформация
Описание на програмата и Defrive
Цялостна програма и технология за анализ
Метод за проектиране на обектно-ориентирана програма
Разработка на големи програми
и връзката между софтуерното инженерство
методологията за програмиране също е тясно свързана със софтуерното инженерство. Методология Разработка и поддръжка на софтуера. Изискванията за софтуерно инженерство обработват стандартизация и установяват нови принципи и технологии. Появата на нов метод изисква разработването на съответните спецификации. Методите и инструментите са двете страни на един и същи проблем. Изучаването на инструменти се основава на методология и разработването на инструменти ще бъде успешно повлияно. Методологията на програмирането включва също процедурно извеждане, цялостна програма, изследване на автоматизацията на програмирането, паралелен дизайн на програми, разпределено програмиране, функционално програмиране, семантика, програмна логика, формални спецификации и проактивна система.
Изследователски методи Различни
Софтуерно инженерство Методи за инженеринг на основни приложения и технически изследвания Метод за разработка и поддръжка на софтуер, инструменти и инженерство Пресечна точка на компютърните науки и инженерството Методологията на дизайна използва главно естеството на математическите методи и теорията и метод на програмиране;
обектите на изследване са различни
обектите на изследване на софтуерното инженерство са софтуерни системи. Целта е да се намалят разходите за разработка на софтуер, да се подобри качеството на софтуера, да се подобри поддръжката на софтуера и да се подобри ефективността на разработката на софтуер. Фокусирайте се върху макроскопичната наличност на софтуера. Обектът на изследване на методологията на програмирането е процедура. Целта е да се гарантира коректността на програмата. Фокусирайте се върху микроскопичната коректност на програмата. Границите на софтуерното инженерство и методите за програмиране стават все по-размити методологията на програмиране е в основата на софтуерното инженерство.