Matches in SemOpenAlex for { <https://semopenalex.org/work/W1528804788> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1528804788 abstract "In our sub-project we are concerned with techniques for the development of reliable information systems on the basis of their formal specification. Our work focuses on the specification language TROLL light which allows to describe the part of the world to be modeled as a community of concurrently existing and communicating objects. Our specification language comes along with an integrated, open development environment. The task of this environment is to give support for the creation of correct information systems. Two important ingredients of the environment to be described here in more detail are the animator and the proof support system." @default.
- W1528804788 created "2016-06-24" @default.
- W1528804788 creator A5013415103 @default.
- W1528804788 creator A5031033172 @default.
- W1528804788 creator A5037038868 @default.
- W1528804788 creator A5077922676 @default.
- W1528804788 date "1995-01-01" @default.
- W1528804788 modified "2023-09-27" @default.
- W1528804788 title "TROLL light — The language and its development environment" @default.
- W1528804788 cites W1976588322 @default.
- W1528804788 cites W2001657718 @default.
- W1528804788 cites W2070270825 @default.
- W1528804788 doi "https://doi.org/10.1007/bfb0015463" @default.
- W1528804788 hasPublicationYear "1995" @default.
- W1528804788 type Work @default.
- W1528804788 sameAs 1528804788 @default.
- W1528804788 citedByCount "4" @default.
- W1528804788 crossrefType "book-chapter" @default.
- W1528804788 hasAuthorship W1528804788A5013415103 @default.
- W1528804788 hasAuthorship W1528804788A5031033172 @default.
- W1528804788 hasAuthorship W1528804788A5037038868 @default.
- W1528804788 hasAuthorship W1528804788A5077922676 @default.
- W1528804788 hasConcept C107457646 @default.
- W1528804788 hasConcept C115903868 @default.
- W1528804788 hasConcept C116253237 @default.
- W1528804788 hasConcept C119599485 @default.
- W1528804788 hasConcept C127413603 @default.
- W1528804788 hasConcept C139968098 @default.
- W1528804788 hasConcept C180198813 @default.
- W1528804788 hasConcept C199360897 @default.
- W1528804788 hasConcept C201677973 @default.
- W1528804788 hasConcept C201995342 @default.
- W1528804788 hasConcept C2780451532 @default.
- W1528804788 hasConcept C41008148 @default.
- W1528804788 hasConcept C75606506 @default.
- W1528804788 hasConceptScore W1528804788C107457646 @default.
- W1528804788 hasConceptScore W1528804788C115903868 @default.
- W1528804788 hasConceptScore W1528804788C116253237 @default.
- W1528804788 hasConceptScore W1528804788C119599485 @default.
- W1528804788 hasConceptScore W1528804788C127413603 @default.
- W1528804788 hasConceptScore W1528804788C139968098 @default.
- W1528804788 hasConceptScore W1528804788C180198813 @default.
- W1528804788 hasConceptScore W1528804788C199360897 @default.
- W1528804788 hasConceptScore W1528804788C201677973 @default.
- W1528804788 hasConceptScore W1528804788C201995342 @default.
- W1528804788 hasConceptScore W1528804788C2780451532 @default.
- W1528804788 hasConceptScore W1528804788C41008148 @default.
- W1528804788 hasConceptScore W1528804788C75606506 @default.
- W1528804788 hasLocation W15288047881 @default.
- W1528804788 hasOpenAccess W1528804788 @default.
- W1528804788 hasPrimaryLocation W15288047881 @default.
- W1528804788 hasRelatedWork W128387175 @default.
- W1528804788 hasRelatedWork W1485776234 @default.
- W1528804788 hasRelatedWork W1492953877 @default.
- W1528804788 hasRelatedWork W1511970382 @default.
- W1528804788 hasRelatedWork W1539553861 @default.
- W1528804788 hasRelatedWork W1541336760 @default.
- W1528804788 hasRelatedWork W1578256809 @default.
- W1528804788 hasRelatedWork W1636676415 @default.
- W1528804788 hasRelatedWork W1943468401 @default.
- W1528804788 hasRelatedWork W1983346515 @default.
- W1528804788 hasRelatedWork W2031108971 @default.
- W1528804788 hasRelatedWork W2068163470 @default.
- W1528804788 hasRelatedWork W2071793557 @default.
- W1528804788 hasRelatedWork W2102360425 @default.
- W1528804788 hasRelatedWork W2104859017 @default.
- W1528804788 hasRelatedWork W2118793464 @default.
- W1528804788 hasRelatedWork W2127220690 @default.
- W1528804788 hasRelatedWork W2154940799 @default.
- W1528804788 hasRelatedWork W232684567 @default.
- W1528804788 hasRelatedWork W2910992349 @default.
- W1528804788 isParatext "false" @default.
- W1528804788 isRetracted "false" @default.
- W1528804788 magId "1528804788" @default.
- W1528804788 workType "book-chapter" @default.