Matches in SemOpenAlex for { <https://semopenalex.org/work/W74401968> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W74401968 abstract "There is an increasing need and desire to develop systems by combining components that are written in different languages and/or run on different kinds of machines. Success largely depends on the ability of their components to communicate and work together despite their differing backgrounds.This thesis addresses the problem of mixing two formal specification languages, SDL and LOTOS. Various approaches to mixing specification languages are examined including the SPECS approach which is presented in more detail. A unique feature of the SPECS approach is the support of multiple specification languages, including the ability to mix specifications languages within a given system design. This area of research investigates the SPECS specific mixing language ICL (Interconnection Language). The thesis looks at two formal languages, one of an asynchronous nature (SDL) and one of a synchronous nature (LOTOS), which can be combined using the Interconnection Language. Also a set of rules are given to produce this formal mixing specification from less formal descriptions. These rules use a range of informal representations and rigorous models of the required system to produce of the ICL specification. An application of these rules is presented.This research work was carried out as part of DCU’s contribution to the SPECS (Specification and Programming Environment for Communication Software) project, part of the RACE program of the EC. SPECS’s aim was to, as much as possible, automate the software development process by using formal languages. An overview of the SPECS project is presented in chapter 1 of this thesis." @default.
- W74401968 created "2016-06-24" @default.
- W74401968 creator A5058365130 @default.
- W74401968 date "1994-01-01" @default.
- W74401968 modified "2023-10-17" @default.
- W74401968 title "Mixing formal specifications using ICL (interconnection language)" @default.
- W74401968 cites W2121372686 @default.
- W74401968 cites W2168468191 @default.
- W74401968 cites W2938366666 @default.
- W74401968 cites W3013597938 @default.
- W74401968 cites W1741066134 @default.
- W74401968 hasPublicationYear "1994" @default.
- W74401968 type Work @default.
- W74401968 sameAs 74401968 @default.
- W74401968 citedByCount "0" @default.
- W74401968 crossrefType "dissertation" @default.
- W74401968 hasAuthorship W74401968A5058365130 @default.
- W74401968 hasConcept C115903868 @default.
- W74401968 hasConcept C116253237 @default.
- W74401968 hasConcept C119263510 @default.
- W74401968 hasConcept C123745756 @default.
- W74401968 hasConcept C146072743 @default.
- W74401968 hasConcept C15077461 @default.
- W74401968 hasConcept C151319957 @default.
- W74401968 hasConcept C177264268 @default.
- W74401968 hasConcept C199360897 @default.
- W74401968 hasConcept C201677973 @default.
- W74401968 hasConcept C34165917 @default.
- W74401968 hasConcept C41008148 @default.
- W74401968 hasConcept C50033165 @default.
- W74401968 hasConcept C75606506 @default.
- W74401968 hasConcept C76155785 @default.
- W74401968 hasConcept C98045186 @default.
- W74401968 hasConceptScore W74401968C115903868 @default.
- W74401968 hasConceptScore W74401968C116253237 @default.
- W74401968 hasConceptScore W74401968C119263510 @default.
- W74401968 hasConceptScore W74401968C123745756 @default.
- W74401968 hasConceptScore W74401968C146072743 @default.
- W74401968 hasConceptScore W74401968C15077461 @default.
- W74401968 hasConceptScore W74401968C151319957 @default.
- W74401968 hasConceptScore W74401968C177264268 @default.
- W74401968 hasConceptScore W74401968C199360897 @default.
- W74401968 hasConceptScore W74401968C201677973 @default.
- W74401968 hasConceptScore W74401968C34165917 @default.
- W74401968 hasConceptScore W74401968C41008148 @default.
- W74401968 hasConceptScore W74401968C50033165 @default.
- W74401968 hasConceptScore W74401968C75606506 @default.
- W74401968 hasConceptScore W74401968C76155785 @default.
- W74401968 hasConceptScore W74401968C98045186 @default.
- W74401968 hasLocation W744019681 @default.
- W74401968 hasOpenAccess W74401968 @default.
- W74401968 hasPrimaryLocation W744019681 @default.
- W74401968 hasRelatedWork W1564851403 @default.
- W74401968 hasRelatedWork W1592887751 @default.
- W74401968 hasRelatedWork W1801366570 @default.
- W74401968 hasRelatedWork W1877180621 @default.
- W74401968 hasRelatedWork W1970311428 @default.
- W74401968 hasRelatedWork W1980295870 @default.
- W74401968 hasRelatedWork W2002800496 @default.
- W74401968 hasRelatedWork W2018853037 @default.
- W74401968 hasRelatedWork W2080035707 @default.
- W74401968 hasRelatedWork W2096803479 @default.
- W74401968 hasRelatedWork W2103390401 @default.
- W74401968 hasRelatedWork W2117272498 @default.
- W74401968 hasRelatedWork W2120011042 @default.
- W74401968 hasRelatedWork W2122401294 @default.
- W74401968 hasRelatedWork W2162581636 @default.
- W74401968 hasRelatedWork W2252712587 @default.
- W74401968 hasRelatedWork W2607268704 @default.
- W74401968 hasRelatedWork W2621153389 @default.
- W74401968 hasRelatedWork W2131478423 @default.
- W74401968 hasRelatedWork W2323519609 @default.
- W74401968 isParatext "false" @default.
- W74401968 isRetracted "false" @default.
- W74401968 magId "74401968" @default.
- W74401968 workType "dissertation" @default.