Matches in SemOpenAlex for { <https://semopenalex.org/work/W2064564804> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2064564804 endingPage "1752" @default.
- W2064564804 startingPage "1743" @default.
- W2064564804 abstract "This paper presents an educational tool for testing abstract data types implemented in C++ against formal algebraic specifications written in Maude, a formal specification language based on rewriting logic that allows the specification of abstract data types in a clear and concise manner. Maude specifications are executable, which provides two advan-tages: firstly, we can test our specifications and, secondly, we can obtain the results of the test cases automatically. We focus our test cases on the correctness of the obtained data values generated from the Maude specification based on the data type constructors and the corresponding membership axioms. The observation of the implementation under test is done for each abstract data type through explicit methods defined by the user. The teaching tool is fully integrated in the Eclipse environment and is platform-independent. We have developed an Eclipse plug-in that calls the Maude system to generate the test cases and translates them into a sequence of C++ instructions. The C++ instructions are compiled and executed, and the results are compared with the results obtained from the formal algebraic specification. This educational tool is being used during this academic year by the Computer Science students in a data types course. They have tested typical abstract data type implementations, like complex numbers, stacks, lists, and binary search trees, as well as other data types based on them." @default.
- W2064564804 created "2016-06-24" @default.
- W2064564804 creator A5045157557 @default.
- W2064564804 creator A5062284725 @default.
- W2064564804 date "2012-01-01" @default.
- W2064564804 modified "2023-10-01" @default.
- W2064564804 title "An Innovative Teaching Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications" @default.
- W2064564804 cites W1436046237 @default.
- W2064564804 cites W1594298148 @default.
- W2064564804 cites W1595106545 @default.
- W2064564804 cites W1940221711 @default.
- W2064564804 cites W2074715013 @default.
- W2064564804 cites W2115170161 @default.
- W2064564804 cites W2119717320 @default.
- W2064564804 cites W2131954800 @default.
- W2064564804 cites W2162661340 @default.
- W2064564804 cites W2171410948 @default.
- W2064564804 doi "https://doi.org/10.1016/j.procs.2012.04.192" @default.
- W2064564804 hasPublicationYear "2012" @default.
- W2064564804 type Work @default.
- W2064564804 sameAs 2064564804 @default.
- W2064564804 citedByCount "0" @default.
- W2064564804 crossrefType "journal-article" @default.
- W2064564804 hasAuthorship W2064564804A5045157557 @default.
- W2064564804 hasAuthorship W2064564804A5062284725 @default.
- W2064564804 hasBestOaLocation W20645648041 @default.
- W2064564804 hasConcept C121332964 @default.
- W2064564804 hasConcept C1276947 @default.
- W2064564804 hasConcept C134306372 @default.
- W2064564804 hasConcept C138958017 @default.
- W2064564804 hasConcept C154690210 @default.
- W2064564804 hasConcept C160145156 @default.
- W2064564804 hasConcept C162319229 @default.
- W2064564804 hasConcept C16910744 @default.
- W2064564804 hasConcept C175971053 @default.
- W2064564804 hasConcept C18903297 @default.
- W2064564804 hasConcept C199360897 @default.
- W2064564804 hasConcept C26713055 @default.
- W2064564804 hasConcept C2777299769 @default.
- W2064564804 hasConcept C2778505590 @default.
- W2064564804 hasConcept C33923547 @default.
- W2064564804 hasConcept C41008148 @default.
- W2064564804 hasConcept C55439883 @default.
- W2064564804 hasConcept C80444323 @default.
- W2064564804 hasConcept C86803240 @default.
- W2064564804 hasConcept C9376300 @default.
- W2064564804 hasConceptScore W2064564804C121332964 @default.
- W2064564804 hasConceptScore W2064564804C1276947 @default.
- W2064564804 hasConceptScore W2064564804C134306372 @default.
- W2064564804 hasConceptScore W2064564804C138958017 @default.
- W2064564804 hasConceptScore W2064564804C154690210 @default.
- W2064564804 hasConceptScore W2064564804C160145156 @default.
- W2064564804 hasConceptScore W2064564804C162319229 @default.
- W2064564804 hasConceptScore W2064564804C16910744 @default.
- W2064564804 hasConceptScore W2064564804C175971053 @default.
- W2064564804 hasConceptScore W2064564804C18903297 @default.
- W2064564804 hasConceptScore W2064564804C199360897 @default.
- W2064564804 hasConceptScore W2064564804C26713055 @default.
- W2064564804 hasConceptScore W2064564804C2777299769 @default.
- W2064564804 hasConceptScore W2064564804C2778505590 @default.
- W2064564804 hasConceptScore W2064564804C33923547 @default.
- W2064564804 hasConceptScore W2064564804C41008148 @default.
- W2064564804 hasConceptScore W2064564804C55439883 @default.
- W2064564804 hasConceptScore W2064564804C80444323 @default.
- W2064564804 hasConceptScore W2064564804C86803240 @default.
- W2064564804 hasConceptScore W2064564804C9376300 @default.
- W2064564804 hasLocation W20645648041 @default.
- W2064564804 hasOpenAccess W2064564804 @default.
- W2064564804 hasPrimaryLocation W20645648041 @default.
- W2064564804 hasRelatedWork W1546471680 @default.
- W2064564804 hasRelatedWork W1602145273 @default.
- W2064564804 hasRelatedWork W1714228827 @default.
- W2064564804 hasRelatedWork W1980051887 @default.
- W2064564804 hasRelatedWork W2030889973 @default.
- W2064564804 hasRelatedWork W2064564804 @default.
- W2064564804 hasRelatedWork W2078991602 @default.
- W2064564804 hasRelatedWork W2108161839 @default.
- W2064564804 hasRelatedWork W4233387348 @default.
- W2064564804 hasRelatedWork W1512920071 @default.
- W2064564804 hasVolume "9" @default.
- W2064564804 isParatext "false" @default.
- W2064564804 isRetracted "false" @default.
- W2064564804 magId "2064564804" @default.
- W2064564804 workType "article" @default.