| dbo:abstract |
Algebraic specification is a software engineering technique for formally specifying system behavior. It was a very active subject of computer science research around 1980. (en) Em ciência da computação, especificação algébrica (ou especificação formal) é área de estudos que define métodos matemáticos rigorosos com vista ao desenvolvimento de programas correctos e eficientes. Uma especificação consiste na declaração de operações] e tipos (ou géneros) e posteriormente na declaração por meio de equações das propriedades que essas operações devem obedecer. Após a fase de especificação pode-se proceder a testes por meio de exemplos cujo sistema deverá verificar formalmente. No entanto, alguns exemplos podem ser dedutíveis mas outros não. Uma álgebra e operações relacionadas (por exemplo, os naturais e operações como soma) é então associada a uma especificação tornando-se numa implementação da especificação algébrica. O refinamento é um processo da especificação algébrica que consiste na procura de uma álgebra o mais pequena possível para um dado problema. Sucessivos refinamentos permitem reduzir a álgebra. (pt) |
| dbo:wikiPageID |
4018181 (xsd:integer) |
| dbo:wikiPageLength |
3864 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1101806678 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Method_(computer_programming) dbr:Boolean_data_type dbr:Negation dbr:OBJ_(programming_language) dbr:Constructor_(object-oriented_programming) dbr:Logical_conjunction dbr:Common_Algebraic_Specification_Language dbr:Software_engineering dbr:Data_type dbr:Formal_specification dbr:State_machine dbc:Formal_methods dbr:Boolean_algebra dbr:XOR |
| dbp:wikiPageUsesTemplate |
dbt:Compsci-stub dbt:Reflist |
| dct:subject |
dbc:Formal_methods |
| gold:hypernym |
dbr:Technique |
| rdf:type |
dbo:TopicalConcept yago:Ability105616246 yago:Abstraction100002137 yago:Cognition100023271 yago:Know-how105616786 yago:Method105660268 yago:PsychologicalFeature100023100 yago:WikicatFormalMethods |
| rdfs:comment |
Algebraic specification is a software engineering technique for formally specifying system behavior. It was a very active subject of computer science research around 1980. (en) Em ciência da computação, especificação algébrica (ou especificação formal) é área de estudos que define métodos matemáticos rigorosos com vista ao desenvolvimento de programas correctos e eficientes. Uma especificação consiste na declaração de operações] e tipos (ou géneros) e posteriormente na declaração por meio de equações das propriedades que essas operações devem obedecer. Após a fase de especificação pode-se proceder a testes por meio de exemplos cujo sistema deverá verificar formalmente. No entanto, alguns exemplos podem ser dedutíveis mas outros não. (pt) |
| rdfs:label |
Algebraic specification (en) Especificação algébrica (pt) |
| owl:sameAs |
freebase:Algebraic specification yago-res:Algebraic specification wikidata:Algebraic specification dbpedia-pt:Algebraic specification https://global.dbpedia.org/id/4NaHd |
| prov:wasDerivedFrom |
wikipedia-en:Algebraic_specification?oldid=1101806678&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Algebraic_specification |
| is dbo:academicDiscipline of |
dbr:Hartmut_Ehrig |
| is dbo:wikiPageWikiLink of |
dbr:Algebraic_semantics_(computer_science) dbr:Jose_Meseguer dbr:Unification_(computer_science) dbr:Don_Sannella dbr:Common_Algebraic_Specification_Language dbr:Larch_family dbr:Data_type dbr:Formal_specification dbr:Grigore_Roșu dbr:Hans-Jörg_Kreowski dbr:Hartmut_Ehrig dbr:Model-based_specification dbr:F-coalgebra |
| is foaf:primaryTopic of |
wikipedia-en:Algebraic_specification |