Matches in SemOpenAlex for { <https://semopenalex.org/work/W1589342014> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1589342014 abstract "This paper shows the debugging facilities provided by the SLAM system. The SLAM system includes i) a specification language that integrates algebraic specifications and model-based specifications using the object oriented model. Class operations are defined by using rules each of them with logical pre and postconditions but with a functional flavour. ii) A development environment that, among other features, is able to generate readable code in a high level object oriented language. iii) The generated code includes (part of) the pre and postconditions as assertions, that can be automatically checked in the debug mode execution of programs. We focus on this last aspect. The SLAM language is expressive enough to describe many useful properties and these properties are translated into a Prolog program that is linked (via an adequate interface) with the user program. The debugging execution of the program interacts with the Prolog engine which is responsible for checking properties." @default.
- W1589342014 created "2016-06-24" @default.
- W1589342014 creator A5006240238 @default.
- W1589342014 creator A5055654444 @default.
- W1589342014 date "2000-01-01" @default.
- W1589342014 modified "2023-10-01" @default.
- W1589342014 title "Generation of and Debugging with Logical Pre and Post-Conditions." @default.
- W1589342014 cites W10742636 @default.
- W1589342014 cites W1514468887 @default.
- W1589342014 cites W1549001967 @default.
- W1589342014 cites W1570665035 @default.
- W1589342014 cites W1588322402 @default.
- W1589342014 cites W169401469 @default.
- W1589342014 cites W1970495662 @default.
- W1589342014 cites W1980280740 @default.
- W1589342014 cites W2020784851 @default.
- W1589342014 cites W2055767681 @default.
- W1589342014 cites W2133546079 @default.
- W1589342014 cites W2987803397 @default.
- W1589342014 hasPublicationYear "2000" @default.
- W1589342014 type Work @default.
- W1589342014 sameAs 1589342014 @default.
- W1589342014 citedByCount "6" @default.
- W1589342014 crossrefType "journal-article" @default.
- W1589342014 hasAuthorship W1589342014A5006240238 @default.
- W1589342014 hasAuthorship W1589342014A5055654444 @default.
- W1589342014 hasConcept C113843644 @default.
- W1589342014 hasConcept C120665830 @default.
- W1589342014 hasConcept C121332964 @default.
- W1589342014 hasConcept C129307140 @default.
- W1589342014 hasConcept C136388014 @default.
- W1589342014 hasConcept C157915830 @default.
- W1589342014 hasConcept C168065819 @default.
- W1589342014 hasConcept C173608175 @default.
- W1589342014 hasConcept C192209626 @default.
- W1589342014 hasConcept C199360897 @default.
- W1589342014 hasConcept C41008148 @default.
- W1589342014 hasConcept C73752529 @default.
- W1589342014 hasConcept C81721847 @default.
- W1589342014 hasConceptScore W1589342014C113843644 @default.
- W1589342014 hasConceptScore W1589342014C120665830 @default.
- W1589342014 hasConceptScore W1589342014C121332964 @default.
- W1589342014 hasConceptScore W1589342014C129307140 @default.
- W1589342014 hasConceptScore W1589342014C136388014 @default.
- W1589342014 hasConceptScore W1589342014C157915830 @default.
- W1589342014 hasConceptScore W1589342014C168065819 @default.
- W1589342014 hasConceptScore W1589342014C173608175 @default.
- W1589342014 hasConceptScore W1589342014C192209626 @default.
- W1589342014 hasConceptScore W1589342014C199360897 @default.
- W1589342014 hasConceptScore W1589342014C41008148 @default.
- W1589342014 hasConceptScore W1589342014C73752529 @default.
- W1589342014 hasConceptScore W1589342014C81721847 @default.
- W1589342014 hasLocation W15893420141 @default.
- W1589342014 hasOpenAccess W1589342014 @default.
- W1589342014 hasPrimaryLocation W15893420141 @default.
- W1589342014 hasRelatedWork W1018000908 @default.
- W1589342014 hasRelatedWork W120675145 @default.
- W1589342014 hasRelatedWork W121371338 @default.
- W1589342014 hasRelatedWork W1532795106 @default.
- W1589342014 hasRelatedWork W1560057486 @default.
- W1589342014 hasRelatedWork W1589758509 @default.
- W1589342014 hasRelatedWork W1597813565 @default.
- W1589342014 hasRelatedWork W2020635000 @default.
- W1589342014 hasRelatedWork W2070675148 @default.
- W1589342014 hasRelatedWork W2121758369 @default.
- W1589342014 hasRelatedWork W2135926579 @default.
- W1589342014 hasRelatedWork W2140868719 @default.
- W1589342014 hasRelatedWork W2165418237 @default.
- W1589342014 hasRelatedWork W2240058949 @default.
- W1589342014 hasRelatedWork W2254710113 @default.
- W1589342014 hasRelatedWork W2894168616 @default.
- W1589342014 hasRelatedWork W2913633626 @default.
- W1589342014 hasRelatedWork W2962982540 @default.
- W1589342014 hasRelatedWork W3319914 @default.
- W1589342014 hasRelatedWork W6568356 @default.
- W1589342014 isParatext "false" @default.
- W1589342014 isRetracted "false" @default.
- W1589342014 magId "1589342014" @default.
- W1589342014 workType "article" @default.