Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Formal_specification> }
- Joseph_Goguen knownFor Formal_specification.
- Formal wikiPageDisambiguates Formal_specification.
- Formal_Specification wikiPageRedirects Formal_specification.
- Program_specification wikiPageRedirects Formal_specification.
- Software_specification wikiPageRedirects Formal_specification.
- Specification_(computing) wikiPageRedirects Formal_specification.
- ACM_Transactions_on_Programming_Languages_and_Systems wikiPageWikiLink Formal_specification.
- Aaron_Swartz wikiPageWikiLink Formal_specification.
- Abstract_machine_notation wikiPageWikiLink Formal_specification.
- Abstract_state_machines wikiPageWikiLink Formal_specification.
- Action_semantics wikiPageWikiLink Formal_specification.
- Algebraic_specification wikiPageWikiLink Formal_specification.
- Algorithmic_program_debugging wikiPageWikiLink Formal_specification.
- Analysis_effort_method wikiPageWikiLink Formal_specification.
- Assertion_definition_language wikiPageWikiLink Formal_specification.
- Automata-based_programming wikiPageWikiLink Formal_specification.
- B-Method wikiPageWikiLink Formal_specification.
- BHDL wikiPageWikiLink Formal_specification.
- Behavior_tree wikiPageWikiLink Formal_specification.
- Bertrand_Meyer wikiPageWikiLink Formal_specification.
- Bird–Meertens_formalism wikiPageWikiLink Formal_specification.
- Bracket wikiPageWikiLink Formal_specification.
- Bracket_(mathematics) wikiPageWikiLink Formal_specification.
- Coinduction wikiPageWikiLink Formal_specification.
- Communicating_sequential_processes wikiPageWikiLink Formal_specification.
- Computer_science wikiPageWikiLink Formal_specification.
- Correctness_(computer_science) wikiPageWikiLink Formal_specification.
- Crowdsourcing_software_development wikiPageWikiLink Formal_specification.
- Design_by_contract wikiPageWikiLink Formal_specification.
- Don_Syme wikiPageWikiLink Formal_specification.
- Epigram_(programming_language) wikiPageWikiLink Formal_specification.
- Esterel_Studio wikiPageWikiLink Formal_specification.
- Exploratory_testing wikiPageWikiLink Formal_specification.
- Extended_ML wikiPageWikiLink Formal_specification.
- First-order_logic wikiPageWikiLink Formal_specification.
- Formal wikiPageWikiLink Formal_specification.
- Formal_Specification wikiPageWikiLink Formal_specification.
- Formal_methods wikiPageWikiLink Formal_specification.
- Formal_specification wikiPageWikiLink Formal_specification.
- Formal_verification wikiPageWikiLink Formal_specification.
- Formalization wikiPageWikiLink Formal_specification.
- Functional_specification wikiPageWikiLink Formal_specification.
- Guarded_Command_Language wikiPageWikiLink Formal_specification.
- Harlan_Mills wikiPageWikiLink Formal_specification.
- High-_and_low-level wikiPageWikiLink Formal_specification.
- Horn_clause wikiPageWikiLink Formal_specification.
- Ib_Holm_Sørensen wikiPageWikiLink Formal_specification.
- Index_of_software_engineering_articles wikiPageWikiLink Formal_specification.
- Inductive_programming wikiPageWikiLink Formal_specification.
- Invariant-based_programming wikiPageWikiLink Formal_specification.
- Is-a wikiPageWikiLink Formal_specification.
- Java_Platform,_Enterprise_Edition wikiPageWikiLink Formal_specification.
- Jean-Raymond_Abrial wikiPageWikiLink Formal_specification.
- Jim_Horning wikiPageWikiLink Formal_specification.
- Jim_Woodcock wikiPageWikiLink Formal_specification.
- John_D._Gannon wikiPageWikiLink Formal_specification.
- Joseph_Goguen wikiPageWikiLink Formal_specification.
- Lazy_systematic_unit_testing wikiPageWikiLink Formal_specification.
- LePUS3 wikiPageWikiLink Formal_specification.
- Lifecycle_Modeling_Language wikiPageWikiLink Formal_specification.
- List_of_computer_science_conferences wikiPageWikiLink Formal_specification.
- Maplet wikiPageWikiLink Formal_specification.
- Model-based_specification wikiPageWikiLink Formal_specification.
- Modeling_language wikiPageWikiLink Formal_specification.
- Mustache_(template_system) wikiPageWikiLink Formal_specification.
- Outline_of_software_engineering wikiPageWikiLink Formal_specification.
- PHP wikiPageWikiLink Formal_specification.
- Perl wikiPageWikiLink Formal_specification.
- Postcondition wikiPageWikiLink Formal_specification.
- Praspel wikiPageWikiLink Formal_specification.
- Precondition wikiPageWikiLink Formal_specification.
- Program_derivation wikiPageWikiLink Formal_specification.
- Program_specification wikiPageWikiLink Formal_specification.
- Programming_language wikiPageWikiLink Formal_specification.
- Prototype wikiPageWikiLink Formal_specification.
- RAISE wikiPageWikiLink Formal_specification.
- Reason wikiPageWikiLink Formal_specification.
- Refinement_(computing) wikiPageWikiLink Formal_specification.
- Reification_(computer_science) wikiPageWikiLink Formal_specification.
- Requirements_engineering wikiPageWikiLink Formal_specification.
- Requirements_specification wikiPageWikiLink Formal_specification.
- Richard_Bird_(computer_scientist) wikiPageWikiLink Formal_specification.
- ScREC wikiPageWikiLink Formal_specification.
- Software_bug wikiPageWikiLink Formal_specification.
- Software_design wikiPageWikiLink Formal_specification.
- Software_development wikiPageWikiLink Formal_specification.
- Software_prototyping wikiPageWikiLink Formal_specification.
- Software_requirements_specification wikiPageWikiLink Formal_specification.
- Software_specification wikiPageWikiLink Formal_specification.
- Software_system_safety wikiPageWikiLink Formal_specification.
- Specification_(computing) wikiPageWikiLink Formal_specification.
- Specification_(technical_standard) wikiPageWikiLink Formal_specification.
- Specification_language wikiPageWikiLink Formal_specification.
- Supercomputing_in_Pakistan wikiPageWikiLink Formal_specification.
- TLA+ wikiPageWikiLink Formal_specification.
- Theoretical_computer_science wikiPageWikiLink Formal_specification.
- Unifying_Theories_of_Programming wikiPageWikiLink Formal_specification.
- Vienna_Development_Method wikiPageWikiLink Formal_specification.
- Whiley_(programming_language) wikiPageWikiLink Formal_specification.
- X-Machine_Testing wikiPageWikiLink Formal_specification.