SweetAda: A Lightweight Development Framework for the Implementation of Ada-based Software Systems
Formal Metadata
| Title |
| |
| Title of Series | ||
| Number of Parts | ||
| Author | ||
| Contributors | ||
| 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 | 10.5446/57033 (DOI) | |
| Publisher | ||
| Release Date | ||
| Language |
Content Metadata
| Subject Area | ||
| Genre | ||
| Abstract |
|
00:00
Task (computing)Constructor (object-oriented programming)Statement (computer science)WhiteboardFirmwareIdeal (ethics)BefehlsprozessorCodeProof theoryMainframe computerMaxima and minimaPhysical systemConsistencyFunction (mathematics)Cache (computing)Message passingUDP <Protokoll>Computer networkInterrupt <Informatik>Serial portAsynchronous Transfer ModeStandard deviationData acquisitionIBM MainframePowerPCField programmable gate arrayQueue (abstract data type)Integrated development environmentDevice driverUnterstützungssystem <Informatik>Resource allocationMemory managementThread (computing)CAN busRun time (program lifecycle phase)Read-only memoryMehrprozessorsystemSoftwarePhysical systemView (database)Functional (mathematics)Arithmetic progressionProjective planeComponent-based software engineeringSystem callRaw image formatCombinational logicDesign by contractAreaPrime idealOrder (biology)Roundness (object)ACIDWindowIntegrated development environmentContext awarenessLibrary (computing)Personal digital assistantPoint (geometry)Cartesian coordinate systemImplementationMultiplication signBasis <Mathematik>Standard deviationLine (geometry)Level (video gaming)Form (programming)Power (physics)Operating systemTask (computing)CompilerStatement (computer science)Data miningComputing platformDevice driverValue-added networkCodeArithmetic meanObject (grammar)Direction (geometry)Product (business)SpeciesPrimitive (album)Software developerComplete metric spaceLimit (category theory)Run-time systemSet (mathematics)Ocean currentFloating pointFormal languageSlide ruleNumberConstructor (object-oriented programming)BefehlsprozessorElementary arithmeticCore dumpExpandierender GraphFree variables and bound variablesFundamental unitDiagramEngineering drawingComputer animation
05:19
Computer networkCore dumpModul <Datentyp>Computing platformLaw of large numbersNP-hardOpen setBootingPower (physics)ArmRead-only memoryVideo game consoleInterrupt <Informatik>EmulationZoom lensTemplate (C++)Logical constantBoolean algebraDevice driverLine (geometry)Mountain passIntegerType theoryString (computer science)Computer fileBookmark (World Wide Web)Interface (computing)Physical systemElement (mathematics)Web pageTerm (mathematics)Level (video gaming)Directory serviceAddress spaceData storage deviceData typeRegulärer Ausdruck <Textverarbeitung>PiFunction (mathematics)Source codeIntelGroup actionBitInheritance (object-oriented programming)Directory serviceExecution unitBitIntegrated development environmentComputer fileDemo (music)Core dumpVirtual machineCodeWindowBefehlsprozessorConfiguration spaceComputing platformComputer programmingMemory managementUtility softwareVirtual realityFunctional (mathematics)DecimalVideo game consoleFormal languageType theoryMathematical optimizationOperator (mathematics)Run-time systemObject (grammar)File systemWordFunction (mathematics)Semiconductor memoryAddress spaceDevice driverPhysical systemTelecommunicationCartesian coordinate systemMaxima and minimaInterface (computing)SoftwareModule (mathematics)MotherboardKernel (computing)Social classControl flow graphAnnihilator (ring theory)CircleLevel (video gaming)MaizeFreezingPlotterBit rateMultiplication signFraction (mathematics)Web browserTheoryBeat (acoustics)NumberSound effectService (economics)Computer animation
10:40
Open setComputer fileBookmark (World Wide Web)NP-hardComputer networkComputing platformKernel (computing)Computing platformComputer file
10:58
Open setModul <Datentyp>Computing platformCore dumpNP-hardComputer networkBootingMenu (computing)Computer fileBookmark (World Wide Web)Template (C++)EmulationLine (geometry)Computing platformConfiguration spaceComputer animation
11:18
Bookmark (World Wide Web)Computer fileBootingNP-hardComputer networkOpen setAsynchronous Transfer ModeLevel (video gaming)Mathematical optimizationModel theoryRevision controlScripting languageLinker (computing)InformationRational numberPhase transitionProfil (magazine)Run-time systemConfiguration spaceSource code
11:47
Computer networkBookmark (World Wide Web)Open setNP-hardComputer fileHash functionBefehlsprozessorEmailCodePhysical systemStandard deviationBefehlsprozessorLibrary (computing)Run-time systemError messageCartesian coordinate systemUtility softwareBuildingChainOcean currentLie groupSource code
13:11
Bookmark (World Wide Web)Physical systemOpen setNP-hardBootingComputer networkComputer fileBeat (acoustics)Gamma functionRun-time systemObject (grammar)BuildingComputer fileIntrusion detection systemLibrary (computing)Field (computer science)Execution unitMemory managementSource codeComputer animation
13:52
Hash functionBootingNP-hardOpen setComputer fileBookmark (World Wide Web)Computer networkInterface (computing)OvalMenu (computing)InjektivitätBinary fileComputer filePhysical systemSource codeComputer animation
14:34
Device driverCore dumpGroup actionBootingNP-hardComputer networkModul <Datentyp>Computing platformOpen setArchaeological field surveyOrder (biology)Computing platformConfiguration spaceComputer fileComputer animation
15:00
Open setNP-hardComputer networkComputer fileBookmark (World Wide Web)AliasingRead-only memoryBootingEmulationComputing platformGroup actionLine (geometry)BefehlsprozessorFunction (mathematics)Binary fileKernel (computing)Game controllerRevision controlArithmetic meanConfiguration spaceQueue (abstract data type)Video game consoleVirtual machineEmulatorNumberOrder (biology)Utility softwareInterpreter (computing)Message passingPhysical systemMaizeDigital rights managementSource codeComputer animation
16:13
EmulationPhysical systemUtility softwareForm (programming)Video game consolePlastikkarteElectronic visual displayInterface (computing)Medical imagingSerial portProcess capability indexNumberWindowInformationFerry CorstenQueue (abstract data type)SoftwareTouchscreenMereology
17:13
EmulationInterface (computing)Tap (transformer)Tape driveComputer fileBookmark (World Wide Web)Function (mathematics)SoftwareSequenceInterface (computing)Computing platformAddress spaceTunisSource code
17:44
Open setNP-hardComputing platformBootingComputer networkWave packetCursor (computers)World Wide Web ConsortiumGame theoryEmulationSequenceVideo game consoleInterface (computing)SoftwarePhysical systemNumberMathematicsElectronic visual displayReal-time operating systemBuffer solution2 (number)Queue (abstract data type)Computer animationXML
18:57
Compilation albumService (economics)Computer animation
19:31
2 (number)Game theoryComputer animationMeeting/Interview
19:55
Band matrixVideoconferencingComputer animation
20:31
Library (computing)Lie group2 (number)Point (geometry)Matching (graph theory)Form (programming)Formal languageView (database)Water vaporPhysical systemDevice driverField (computer science)Multiplication signForcing (mathematics)State of matterGoodness of fitDemosceneTheory of relativityComputing platformSoftware testingWritingCartesian coordinate systemPrimitive (album)Set (mathematics)FirmwareOrder (biology)Level (video gaming)System callEvoluteFocus (optics)Operating systemCodeMeeting/Interview
23:27
Theory of relativityLibrary (computing)Device driverMereology2 (number)Power (physics)Meeting/Interview
23:58
Computer animation
Transcript: Englisch(auto-generated)