MyFinder is a unique search engine with a simple privacy concept in mind. We log your searches but none of the data, it's that simple.
Programming language specificationSystem programming languageFormal specificationCompiler-compilerProgramming language theoryFormal methodsStructured analysisFunctional requirementMetasyntaxType systemLanguage-independent specificationHardware description languageAction languageSoftware designFunctional specificationSyntaxSoftware architecture descriptionProgram synthesisHistory of compiler constructionIpo modelExtensible programmingFunction modelSoftware design descriptionLanguage-oriented programmingOperational semanticsHigh-level programming languageComputer programmingSoftware developmentCompilerHigh-level synthesisCompiled languageParsingCommunicating sequential processesInformation modelDeclarative programmingLogic synthesisReference modelSystem requirements specificationArtifactDynamic programming languageUnified modeling languageStructured programmingParsing expression grammarSystems development life cycleProgramming toolComputer architectureSoftware systemAlloyNo instruction set computingStructured concurrencyToolchainPurely functional programmingSymbolic executionSoftware requirementsLanguage constructScripting languageTechnical documentationModel-based systems engineeringSymbol tableProgramming languageCoding conventionsModeling languageComputer algebra systemRequirements analysisData-driven programmingStyle sheet languageSoftware frameworkOntology engineeringParallel programming modelOntologySoftware architectureNominal type systemEffect systemFunctional programmingSelf-documenting codeTest caseInstruction set simulatorOntology languageDocumentation generatorInterface description languageService-oriented programmingAhead-of-time compilationConfiguration managementHardware verification languageTyped assembly languageAbstract machineApplication frameworkNaming conventionComplex instruction set computerSource-to-source compilerPage description languageSymbolic artificial intelligenceMachine codeTechnical writingSoftware standardInterface-based programmingOutline of computer scienceSystems analysisComposite data typeHigh-level assembler