Matches in SemOpenAlex for { <https://semopenalex.org/work/W1489799785> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1489799785 endingPage "472" @default.
- W1489799785 startingPage "458" @default.
- W1489799785 abstract "We believe that big software systems could be more easily formally specified if several specification approaches were allowed within a single system specification. We propose a notion of heterogeneous framework where the specifier can choose a dedicated specification framework for each specification module. We show how the resulting heterogeneous modular specifications can get semantics, and how modular proofs can still be performed on these specifications. Our contribution is mainly focussed on a sort of interoperability between heterogeneous specification modules and we retrieve, as much as possible, classical notions of “meta-formalisms,” modularity for structured specifications, or inference systems, as they are well known in the algebraic specification community. With this respect, our work can be regarded as an attempt to unify frameworks, by accepting and formalizing heterogeneity." @default.
- W1489799785 created "2016-06-24" @default.
- W1489799785 creator A5004536831 @default.
- W1489799785 creator A5061510685 @default.
- W1489799785 creator A5084941264 @default.
- W1489799785 date "1996-01-01" @default.
- W1489799785 modified "2023-09-23" @default.
- W1489799785 title "Towards heterogeneous formal specifications" @default.
- W1489799785 cites W1491823524 @default.
- W1489799785 cites W1523124202 @default.
- W1489799785 cites W1543321586 @default.
- W1489799785 cites W1757620502 @default.
- W1489799785 cites W1967975156 @default.
- W1489799785 cites W1980425977 @default.
- W1489799785 cites W2000825654 @default.
- W1489799785 cites W2055330256 @default.
- W1489799785 cites W2059757309 @default.
- W1489799785 cites W2069740012 @default.
- W1489799785 cites W2120713972 @default.
- W1489799785 cites W2914941332 @default.
- W1489799785 cites W4229783124 @default.
- W1489799785 cites W4300668781 @default.
- W1489799785 doi "https://doi.org/10.1007/bfb0014333" @default.
- W1489799785 hasPublicationYear "1996" @default.
- W1489799785 type Work @default.
- W1489799785 sameAs 1489799785 @default.
- W1489799785 citedByCount "5" @default.
- W1489799785 countsByYear W14897997852017 @default.
- W1489799785 crossrefType "book-chapter" @default.
- W1489799785 hasAuthorship W1489799785A5004536831 @default.
- W1489799785 hasAuthorship W1489799785A5061510685 @default.
- W1489799785 hasAuthorship W1489799785A5084941264 @default.
- W1489799785 hasBestOaLocation W14897997852 @default.
- W1489799785 hasConcept C101468663 @default.
- W1489799785 hasConcept C108710211 @default.
- W1489799785 hasConcept C111919701 @default.
- W1489799785 hasConcept C116253237 @default.
- W1489799785 hasConcept C171018156 @default.
- W1489799785 hasConcept C184337299 @default.
- W1489799785 hasConcept C199360897 @default.
- W1489799785 hasConcept C20136886 @default.
- W1489799785 hasConcept C201677973 @default.
- W1489799785 hasConcept C2524010 @default.
- W1489799785 hasConcept C2777691520 @default.
- W1489799785 hasConcept C2779478453 @default.
- W1489799785 hasConcept C33923547 @default.
- W1489799785 hasConcept C41008148 @default.
- W1489799785 hasConcept C54355233 @default.
- W1489799785 hasConcept C75606506 @default.
- W1489799785 hasConcept C80444323 @default.
- W1489799785 hasConcept C86803240 @default.
- W1489799785 hasConceptScore W1489799785C101468663 @default.
- W1489799785 hasConceptScore W1489799785C108710211 @default.
- W1489799785 hasConceptScore W1489799785C111919701 @default.
- W1489799785 hasConceptScore W1489799785C116253237 @default.
- W1489799785 hasConceptScore W1489799785C171018156 @default.
- W1489799785 hasConceptScore W1489799785C184337299 @default.
- W1489799785 hasConceptScore W1489799785C199360897 @default.
- W1489799785 hasConceptScore W1489799785C20136886 @default.
- W1489799785 hasConceptScore W1489799785C201677973 @default.
- W1489799785 hasConceptScore W1489799785C2524010 @default.
- W1489799785 hasConceptScore W1489799785C2777691520 @default.
- W1489799785 hasConceptScore W1489799785C2779478453 @default.
- W1489799785 hasConceptScore W1489799785C33923547 @default.
- W1489799785 hasConceptScore W1489799785C41008148 @default.
- W1489799785 hasConceptScore W1489799785C54355233 @default.
- W1489799785 hasConceptScore W1489799785C75606506 @default.
- W1489799785 hasConceptScore W1489799785C80444323 @default.
- W1489799785 hasConceptScore W1489799785C86803240 @default.
- W1489799785 hasLocation W14897997851 @default.
- W1489799785 hasLocation W14897997852 @default.
- W1489799785 hasOpenAccess W1489799785 @default.
- W1489799785 hasPrimaryLocation W14897997851 @default.
- W1489799785 hasRelatedWork W1489799785 @default.
- W1489799785 hasRelatedWork W1499543924 @default.
- W1489799785 hasRelatedWork W1513140821 @default.
- W1489799785 hasRelatedWork W1801366570 @default.
- W1489799785 hasRelatedWork W2071986313 @default.
- W1489799785 hasRelatedWork W2116175020 @default.
- W1489799785 hasRelatedWork W2156223462 @default.
- W1489799785 hasRelatedWork W26484180 @default.
- W1489799785 hasRelatedWork W27605384 @default.
- W1489799785 hasRelatedWork W2898425611 @default.
- W1489799785 isParatext "false" @default.
- W1489799785 isRetracted "false" @default.
- W1489799785 magId "1489799785" @default.
- W1489799785 workType "book-chapter" @default.