Matches in SemOpenAlex for { <https://semopenalex.org/work/W1844484737> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1844484737 abstract "This paper reports experience in using CafeOBJ (a multiparadigm algebraic specification language) in the development of object-oriented frameworks of the ODP trader that is implemented with Java and JavaIDL. We first identify several aspects in the target problem before applying the known techniques of developing object-oriented frameworks. We use CafeOBJ to describe each aspect solution to mechanically check the integrity of the descriptions when all the aspects are put together. Although the experience is based on a particular problem only, the proposed method is clear enough to give a systematically and sharply focused help in reaching the solution, and to illustrate practice of using formal methods in the process." @default.
- W1844484737 created "2016-06-24" @default.
- W1844484737 creator A5034738514 @default.
- W1844484737 date "1999-01-01" @default.
- W1844484737 modified "2023-09-24" @default.
- W1844484737 title "Using algebraic specification techniques in development of object-oriented frameworks" @default.
- W1844484737 cites W118153159 @default.
- W1844484737 cites W1516022555 @default.
- W1844484737 cites W151987535 @default.
- W1844484737 cites W1829244603 @default.
- W1844484737 cites W203696264 @default.
- W1844484737 cites W4238794324 @default.
- W1844484737 cites W4296471858 @default.
- W1844484737 doi "https://doi.org/10.1007/3-540-48118-4_38" @default.
- W1844484737 hasPublicationYear "1999" @default.
- W1844484737 type Work @default.
- W1844484737 sameAs 1844484737 @default.
- W1844484737 citedByCount "4" @default.
- W1844484737 countsByYear W18444847372012 @default.
- W1844484737 countsByYear W18444847372014 @default.
- W1844484737 crossrefType "book-chapter" @default.
- W1844484737 hasAuthorship W1844484737A5034738514 @default.
- W1844484737 hasBestOaLocation W18444847371 @default.
- W1844484737 hasConcept C115903868 @default.
- W1844484737 hasConcept C116253237 @default.
- W1844484737 hasConcept C134306372 @default.
- W1844484737 hasConcept C154945302 @default.
- W1844484737 hasConcept C199360897 @default.
- W1844484737 hasConcept C2776542497 @default.
- W1844484737 hasConcept C2777691520 @default.
- W1844484737 hasConcept C2781238097 @default.
- W1844484737 hasConcept C33923547 @default.
- W1844484737 hasConcept C41008148 @default.
- W1844484737 hasConcept C548217200 @default.
- W1844484737 hasConcept C73752529 @default.
- W1844484737 hasConcept C75606506 @default.
- W1844484737 hasConcept C80444323 @default.
- W1844484737 hasConcept C9376300 @default.
- W1844484737 hasConcept C98045186 @default.
- W1844484737 hasConceptScore W1844484737C115903868 @default.
- W1844484737 hasConceptScore W1844484737C116253237 @default.
- W1844484737 hasConceptScore W1844484737C134306372 @default.
- W1844484737 hasConceptScore W1844484737C154945302 @default.
- W1844484737 hasConceptScore W1844484737C199360897 @default.
- W1844484737 hasConceptScore W1844484737C2776542497 @default.
- W1844484737 hasConceptScore W1844484737C2777691520 @default.
- W1844484737 hasConceptScore W1844484737C2781238097 @default.
- W1844484737 hasConceptScore W1844484737C33923547 @default.
- W1844484737 hasConceptScore W1844484737C41008148 @default.
- W1844484737 hasConceptScore W1844484737C548217200 @default.
- W1844484737 hasConceptScore W1844484737C73752529 @default.
- W1844484737 hasConceptScore W1844484737C75606506 @default.
- W1844484737 hasConceptScore W1844484737C80444323 @default.
- W1844484737 hasConceptScore W1844484737C9376300 @default.
- W1844484737 hasConceptScore W1844484737C98045186 @default.
- W1844484737 hasLocation W18444847371 @default.
- W1844484737 hasOpenAccess W1844484737 @default.
- W1844484737 hasPrimaryLocation W18444847371 @default.
- W1844484737 hasRelatedWork W105422765 @default.
- W1844484737 hasRelatedWork W1494879905 @default.
- W1844484737 hasRelatedWork W1495174116 @default.
- W1844484737 hasRelatedWork W1510723842 @default.
- W1844484737 hasRelatedWork W1552111295 @default.
- W1844484737 hasRelatedWork W1675624897 @default.
- W1844484737 hasRelatedWork W1780335325 @default.
- W1844484737 hasRelatedWork W1971352189 @default.
- W1844484737 hasRelatedWork W2039811272 @default.
- W1844484737 hasRelatedWork W2070619058 @default.
- W1844484737 hasRelatedWork W2089702347 @default.
- W1844484737 hasRelatedWork W2095755494 @default.
- W1844484737 hasRelatedWork W2124313270 @default.
- W1844484737 hasRelatedWork W2364873825 @default.
- W1844484737 hasRelatedWork W30301041 @default.
- W1844484737 hasRelatedWork W4559892 @default.
- W1844484737 hasRelatedWork W64910121 @default.
- W1844484737 hasRelatedWork W1894706647 @default.
- W1844484737 hasRelatedWork W2521204836 @default.
- W1844484737 hasRelatedWork W2672127762 @default.
- W1844484737 isParatext "false" @default.
- W1844484737 isRetracted "false" @default.
- W1844484737 magId "1844484737" @default.
- W1844484737 workType "book-chapter" @default.