Gneiss: A Nice Component Framework in SPARK
This is a modal window.
The media could not be loaded, either because the server or network failed or because the format is not supported.
Formal Metadata
| Title |
| |
| Title of Series | ||
| Number of Parts | 490 | |
| 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 | 10.5446/47425 (DOI) | |
| Publisher | ||
| Release Date | ||
| Language |
Content Metadata
| Subject Area | ||
| Genre | ||
| Abstract |
|
00:00
SoftwarewiederverwendungProxy serverSoftwareProof theoryFormal languageIntegerHill differential equationSoftware frameworkPhysical systemPosition operatorPreconditionerRun time (program lifecycle phase)Latent heatImplementationWeb browserIntegerProcedural programmingSound effectFunctional (mathematics)Cartesian coordinate systemResultantCASE <Informatik>SoftwareTouch typingBuffer overflowFunction (mathematics)State of matterComputing platformFormal languageProxy serverFormal grammarMappingCategory of beingFormal verificationException handlingWeb 2.0Multiplication signCommunications protocolComputer architectureAbstractionForcing (mathematics)ArmDigital photographyFitness functionRing (mathematics)Right angleSoftware testingMachine visionUltraviolet photoelectron spectroscopyWorkstation <Musikinstrument>Level (video gaming)Well-formed formulaError messageProof theoryRow (database)Single-precision floating-point formatNegative numberAxiom of choiceView (database)Computer animation
04:10
Client (computing)Cartesian coordinate systemInterface (computing)Latent heatMereologyType theoryComputing platformAbstractionComputing platformBlock (periodic table)Semantics (computer science)Slide ruleMetropolitan area networkDifferent (Kate Ryan album)Social classPhysical lawCASE <Informatik>Uniform resource locatorComputer animation
05:50
CodeSlide ruleInterface (computing)Block (periodic table)Scripting languageComputer animation
06:08
Block (periodic table)Interface (computing)Client (computing)CountingWritingComputing platformLengthProgrammable read-only memoryReading (process)Programmer (hardware)State of matterState of matterHard disk driveException handlingOperator (mathematics)Interface (computing)Computing platformBlock (periodic table)Procedural programmingCodeInformationCASE <Informatik>CountingImplementationFunctional (mathematics)LengthPlastikkarteResource allocationMathematicsPoint (geometry)Dependent and independent variablesMereologySemiconductor memoryPointer (computer programming)Error messageUniform resource locatorFormal grammarPreconditionerPlotterRight angleFlickrArmBlogMultiplication signComputer animation
09:42
State of matterBootingLengthClient (computing)Block (periodic table)Computing platformComputing platformoutputPointer (computer programming)WritingHacker (term)StatisticsResource allocationInterface (computing)Normed vector spaceBlock (periodic table)State of matterClient (computing)Interface (computing)Right angleSemiconductor memoryComputer fileMultiplication signPhysical systemMessage passingSystem callGeometryFunctional (mathematics)Point (geometry)Computing platformProcess (computing)Film editingSoftware testingOffice suitePressureProcedural programmingDynamical systemResultantUniform resource locatorSpeicheradresseArmoutputLevel (video gaming)Condition numberWritingBitSemantics (computer science)Arithmetic progressionFunktionspunktmethodeLimit (category theory)Touch typingResource allocationMereologyGeneric programmingSoftware frameworkSinc functionFront and back endsNumberOperator (mathematics)SineContent (media)AreaType theoryAbstractionWrapper (data mining)PreconditionerError messageBound stateFerry CorstenAliasingDifferent (Kate Ryan album)Field (computer science)Server (computing)ImplementationOcean currentPointer (computer programming)Computing platformTelephone number mappingThread (computing)Cartesian coordinate system
18:10
Uniform resource locatorProxy serverRepository (publishing)InternetworkingCartesian coordinate systemCommunications protocolSinc functionFluxComputer programmingSphereFormal grammarFigurate numberDesign by contractStreaming mediaParsingType theoryRow (database)IntegerFirewall (computing)Field (computer science)Binary codeFormal verificationLecture/Conference
20:17
IntegerProof theoryFormal languageProgramming languageProxy serverSoftwarewiederverwendungPoint (geometry)Block (periodic table)Proxy serverFluxRight angleImplementationProcess (computing)ExpressionCondition numberPower (physics)BuildingIntegerPreconditionerTransport Layer SecurityType theoryRow (database)Computer animation
22:12
Point cloudFacebookOpen source
Transcript: English(auto-generated)