Úvod
se používá k vedení principů a principů operací návrhu programu a jeho návrhových technik. Někdy se také odkazuje na studium těchto principů, principů a technologií. Cílem metodologie programování je navrhnout spolehlivé, snadno čitelné a nákladné postupy. Metody navrhování programů zahrnují teorii projektů, výzkumnou technologii, podpůrné prostředí, technické specifikace a automatické programování atd., díky čemuž je programování více vědecké a inženýrské. Základním obsahem je: strukturální programování; aplikační teorie v programovací technologii a specifikace a transformační technologie. Teorie procedur úzce souvisí s vývojem metodiky navrhování programů, obohacuje způsob myšlení a podporuje rozvoj technologie programování.
Historie vývoje
Generování pozadí
V letech 1950-1 V 70. letech 20. století, metoda programování ve stylu ruční práce, Gaodener nazval program uměním.
Koncem 60. a začátkem 70. let se objevuje softwarová krize: jedna strana vyžaduje velké množství softwarových systémů, jako jsou operační systémy, systémy pro správu databází; na druhou stranu vývojový cyklus softwaru je dlouhý, spolehlivý a náročný na údržbu. Programování: Program je přehledný, snadno čitelný, snadno upravitelný, snadno ověřitelný a má dobrou strukturu.
V roce 1968 uspořádala Severoatlantická úmluva (NATO) první konferenci softwarového inženýrství v západním Německu, analyzovala situaci krize, studovala hlavní příčinu problému a navrhla první inženýrství Způsob, jakým řešení řeší problém vývoj a výroba softwaru, lze toto setkání považovat za důležitý milník v historii vývoje softwaru.
V roce 1969 založila International Information Processing Association (IFIP) „Procedural Design Methodology Working Group“, která se specializuje na metodologii navrhování výzkumných postupů, programování od způsobů ručního formuláře až po inženýrství. Studie o metodě návrhu strukturovaného programu strukturovaného programu. Dijkstra navrhuje „GOTO je škodlivé“ v naději, že zajistí správnost dynamického fungování programu.
V roce 1969 WIRTH navrhl navrhnout princip „postupného hledání shora dolů k hledání podstaty, rozdělené do síly“. Jeho základní myšlenkou je: od původního problému řešení použít vědeckou abstraktní metodu k rozdělení na řadu relativně nezávislých malých problémů, postupně je zdokonalovat, dokud nejsou různé malé problémy vyřešeny.
Správnost programu dokazuje "
V roce 1967 Floyd navrhl správnost programu rámcového grafu pomocí "metody tvrzení".
1969, Hoare definuje malý jazyk a logický systém založený na Floydu. Tento logický systém obsahuje procedurální axiomy a pravidla odvozování, což má dokázat část správnosti programu, což je slavná Hoareova logika. Jeho práce položila základ pro studium ribologie.
V roce 1973 dali Hoare a Wirth většinu jazyka PASCAL.
V roce 1975 se poprvé objevil automatický ověřovací systém založený na axiomu a pravidlech odvození.
V roce 1979 existuje návrhový jazyk programovacího jazyka Euclid s myšlenkou založenou na axiomech.
V roce 1976 navrhl Dijkstra koncept nejslabšího predikátu a predikátového převodníku pro správnost programu a formální odvození programu.
1980, D. Gries v kombinaci s osvědčeným systémem založeným na predikátových výpočtech, zvaným "Programming Science". Poprvé je program navržen na základě zkušeností a technologií.
V roce 1974 lidé používají modální logiku k ověření správnosti paralelních programů.
O prokázání správnosti programu:
Pochybnosti a opozice, důvod: Za prvé, formulář je příliš složitý, kdo může zaručit, že v něm není chyba! Za druhé, program je napsán, pak se prokáže jeho správnost, je ekvivalentní „koňskému hřbetu“, to znamená, že chyba byla vržena, jak mohu opravit?
Capsule: Napište program a dokažte, zatímco o něm uvažujete. To znamená, že návrh a správnost programu se prokázaly současně paralelně.
Vytvoří správný program
Pomocí Dijkstrova predikátového konvertoru a jeho sady pravidel výpočtu lze odvodit správný program.
Použijte program k vytvoření správného programu. Aplikuje řadu transformačních pravidel, která aplikují řadu správnosti ochrany, případně získá spustitelné programy. Transformace programu je od 70. let důležitým aspektem výzkumu „metodiky návrhu programů“, což je jeden ze slibných způsobů automatizace programování. Rekurzivní transformace programu je nejsmysluplnějším výsledkem tohoto období. Jako je Burstallův a Darlingtonův rekurzivní systém konverze programů atd.
Návrh logických programů a návrh funkčních programů představuje nový směr výzkumu. ProLog je formulářový systém založený na podmnožině predikátové logiky (klauzule Hoare). Proces provádění ProLog je proces provádění algoritmů logického trávení.
Výzkum abstraktních datových typů
Abstraktní datový typ je extrémně důležitou metodou v metodologii programování. Je známá jako důležitý milník v historii metodologie programování.
Výzkum
Strukturovaného programu
abstrakce dat a modulární programování
Certifikát správnosti programu
Transformace programu
Popis programu a odstranění
Programová komplexní a analytická technologie
Metoda objektově orientovaného návrhu programu
Vývoj rozsáhlých programů
a vztah softwarového inženýrství
metodologie programování také úzce souvisí se softwarovým inženýrstvím. Metodologie Vývoj a údržba softwaru. Softwarové inženýrství vyžaduje standardizaci procesů a zavádí nové principy a technologie. Vznik nové metody vyžaduje vývoj odpovídajících specifikací. Metody a nástroje jsou dvě strany stejného problému. Studium nástrojů je založeno na metodologii a vývoj nástrojů bude úspěšně ovlivňován. Metodologie programování také zahrnuje procedurální odvozování, komplexní programování, výzkum automatizace programování, návrh souběžných programů, distribuované programování, funkcionální programování, sémantiku, programovou logiku, formální specifikace a proaktivní systém.
Různé výzkumné metody
Softwarové inženýrství Hlavní aplikační inženýrské metody a technický výzkum Metoda vývoje a údržby softwaru, nástroje a inženýrství Průnik informatiky a inženýrství Metodologie navrhování využívá především povahu matematických metod a teorii a způsob programování;
výzkumné objekty jsou různé
výzkumné objekty softwarového inženýrství jsou softwarové systémy. Cílem je snížit náklady na vývoj softwaru, zlepšit kvalitu softwaru, zlepšit údržbu softwaru a zlepšit efektivitu vývoje softwaru. Zaměřte se na makroskopickou dostupnost softwaru. Metodika programování výzkumným objektem je procedura. Cílem je zajistit správnost programu. Zaměřte se na mikroskopickou správnost programu. Hranice softwarového inženýrství a metod programování se staly stále více fuzzy metodologie programování je základem softwarového inženýrství.