We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Contract Based Programming in Ada 2012

00:00
subtitles
off
playback rate
1
subtitles
off
English (auto-generated)
playback rate
0.25
0.5
0.75
1
1.25
1.5
1.75
2
quality
576p
6
 Cite
 Share
 Download Purchase
Logo of FOSDEM VZWFOSDEM VZW
 Andersen, Jacob Sparre

Formal Metadata

Title
Contract Based Programming in Ada 2012
Title of Series
Number of Parts
199
Author
License
CC Attribution 2.0 Belgium:
You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor.
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
Abstract
A tutorial on how to use the Ada 2012 features for specifying detailed, checked contracts for types and subprograms -- "classes, functions, and methods" if you aren't an Ada programmer already. Contracts document constraints on how types and subprograms behave, but unlike comments they are checked -- either by when the program is compiled or on-the-fly as the program is running. Ada 2012 contract aspects will be presented together with a set of guidelines for using contract aspects consistently. The tutorial will conclude with a live test of the guidelines on some example source text.
00:00
IterationLine (geometry)Computer programmingLibrary (computing)Multiplication signVarianceRight angleProbability theoryState of matterMereologyGravitationWordDifferent (Kate Ryan album)Machine codeProgramming languageInvariant (mathematics)Information technology consultingObject-oriented programmingImplementationStandard deviationPredicate (grammar)Modulare ProgrammierungRun time (program lifecycle phase)Presentation of a groupSlide ruleProjective planeParameter (computer programming)Constraint (mathematics)Form (programming)NumberBitCASE <Informatik>Design by contractQuicksortEntire functionPrimitive (album)Declarative programmingCloud computingSoftware maintenanceSoftware developerFluid staticsFlow separationComputer programProcedural programmingConnectivity (graph theory)Message passingNeuroinformatikComputer fileExterior algebraLecture/Conference
08:26
Line (geometry)Parameter (computer programming)Computer programCondition numberMultiplication signPredicate (grammar)Data conversionTrailPoint (geometry)Element (mathematics)IntegerCompilerOrder (biology)Functional programmingConstraint (mathematics)Range (statistics)CASE <Informatik>MiniDiscError messageSubsetBuildingDivisorProjective planeSystem callNumberRatsche <Physik>Array data structureOperator (mathematics)Variable (mathematics)Context awarenessExecution unitComputer fileDataflowBit rateZeitinvariantes SystemStatement (computer science)CuboidDerivation (linguistics)DistanceFile systemObject-oriented programmingDesign by contractLibrary (computing)RankingPrime idealDirection (geometry)Vector spaceString (computer science)AngleInvariant (mathematics)Dynamical systemAreaEndliche ModelltheorieMachine codeDifferent (Kate Ryan album)Group actionMereologyTheoryLocal ringUniverse (mathematics)Water vaporQuicksortVarianceRoutingRight angleMathematical analysisVideo gameMatching (graph theory)XMLUML
16:52
IntegerMultiplication signTable (information)Right angleMereologyPoint (geometry)VideoconferencingGoodness of fitLine (geometry)VarianceState of matterOperator (mathematics)Constraint (mathematics)Computer programmingDecision theoryProjective planeSelf-organizationResultantFamilyFraction (mathematics)Power (physics)View (database)Arithmetic progressionLibrary (computing)WordSampling (statistics)Shape (magazine)WhiteboardPlanningINTEGRALLevel (video gaming)Asynchronous Transfer ModeInvariant (mathematics)SummierbarkeitCartesian coordinate systemFinite differenceWindowCASE <Informatik>Prime idealExpressionSound effectStatement (computer science)Predicate (grammar)Design by contractProgrammschleifeLengthQuicksortObject-oriented programmingBit rateMessage passingComputer fileString (computer science)Beta functionSoftware testingInclusion mapRevision controlSimilarity (geometry)ConsistencyFluid staticsImplementationError messageDatabaseDynamical systemDivisorDeclarative programmingDegree (graph theory)TrailLecture/Conference
25:18
CASE <Informatik>System programmingState of matterDirection (geometry)Web pageMathematicsPreconditionerSubsetPower (physics)SequenceMereologyProcess (computing)Multiplication signSinc functionComputer fileFunctional programmingParameter (computer programming)Natural numberProcedural programmingIntegerCondition number1 (number)ImplementationNumberSoftware bugConstraint (mathematics)Symbol tableSign (mathematics)Source codeSoftware testingCryptographyCartesian coordinate systemHash functionAlgorithmSystem callBuildingWordQuicksortLevel (video gaming)Line (geometry)Social classRight angleProof theoryComputer programmingMassArithmetic meanGreatest elementJSONXMLUML
33:45
Source codeComputer fileSlide ruleMultiplication signFluid staticsCore dumpSequenceLine (geometry)DataflowPreconditionerSystem callOpen setException handlingCondition numberMathematical analysisError messageVariety (linguistics)Lecture/Conference
35:49
Connected space
36:40
Computer simulationComputer configurationCASE <Informatik>AutomatonDecision theoryProgrammschleifeCartesian coordinate systemNatural numberDependent and independent variablesMultiplication signLecture/Conference
38:32
State of matterRight angleOperator (mathematics)CASE <Informatik>Library (computing)Disk read-and-write headExecution unitVariancePresentation of a groupTheory of relativityMereologyMultiplication signParameter (computer programming)Universe (mathematics)TrailLevel (video gaming)Computer simulationError messageEqualiser (mathematics)NeuroinformatikReading (process)Lattice (group)Functional programmingDifferent (Kate Ryan album)Source codeCondition numberLatent heatCellular automatonOscillationProcedural programmingIterationSystem programming1 (number)ProgrammschleifeData managementStatement (computer science)Row (database)Matching (graph theory)InformationDecision theoryPreconditionerComputer animation
44:12
State of matterMultiplication signImplementationCondition numberFunctional programmingLatent heatConstraint (mathematics)DemosceneVariable (mathematics)SequencePreconditionerData modelTask (computing)Computer programmingCASE <Informatik>Parallel portMoment (mathematics)Error messageProcess (computing)Range (statistics)Electronic mailing listMereologyWave packetUniverse (mathematics)InformationObservational studyComputer animation
49:53
PreconditionerDataflowMathematicsMultiplication signMetropolitan area networkNumberProgramming languageCASE <Informatik>Level (video gaming)Goodness of fitEnumerated typeLine (geometry)InformationCondition numberTrailError messageCartesian coordinate systemState of matterSystem callFunctional programmingFerry CorstenCompiler2 (number)Design by contractLecture/ConferenceComputer animation
55:33
CASE <Informatik>SpacetimeWebsiteState of matterSource codeRepresentation (politics)Food energyMereologyVector spaceData conversionRecursionView (database)Context awarenessPresentation of a groupPoint (geometry)SoftwareExecution unitInterface (computing)outputCompilation albumSlide ruleInvariant (mathematics)Multiplication signResultantRevision controlPermutationImplementationComputer programmingRight angleAdditionPreconditionerStandard deviationData miningSound effectFunctional programmingProgramming languageProgrammer (hardware)Speech synthesisOnline helpArithmetic meanVarianceWave packetVideo gameWordSocial classUniverse (mathematics)Theory of relativityForcing (mathematics)Student's t-testInformationMusical ensembleLevel (video gaming)Lecture/Conference
Transcript: English(auto-generated)