Matches in SemOpenAlex for { <https://semopenalex.org/work/W2998020306> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2998020306 abstract "Now a days distributed and parallel applications are most popular because of their wide usage and advantages. Some of the applications like telecommunications and aircraft systems have many interactions between their sub-systems in order to fulfil the requirements which include complex computations and calculations in them. It is very important to define the exact properties and features of these systems along with the workflow. Unified Modeling language provides a great opportunity of modelling complex applications like these by defining the structure, flow and the work topologies of the distributed applications. But inspite of having wide range of usage, UML lacks in providing the detailed semantics of the various subsystems in these distributed applications which indeed is important in defining the exact features of them. In this paper, we will understand the importance of implementation of specifications using formal methods like event-B through a simple example and verify its results using ProB. Later, we have defined the UML diagrams like use case and communication diagrams in various scenarios and have performed the Event B modeling for these examples." @default.
- W2998020306 created "2020-01-10" @default.
- W2998020306 creator A5007409020 @default.
- W2998020306 creator A5008883613 @default.
- W2998020306 creator A5070980802 @default.
- W2998020306 creator A5091329448 @default.
- W2998020306 date "2018-12-01" @default.
- W2998020306 modified "2023-09-23" @default.
- W2998020306 title "Qualitative Software Engineering and Event-B Modeling for Communication and Use Case Diagrams" @default.
- W2998020306 cites W1556900989 @default.
- W2998020306 cites W1559870885 @default.
- W2998020306 cites W1998017916 @default.
- W2998020306 doi "https://doi.org/10.1109/csci46756.2018.00168" @default.
- W2998020306 hasPublicationYear "2018" @default.
- W2998020306 type Work @default.
- W2998020306 sameAs 2998020306 @default.
- W2998020306 citedByCount "0" @default.
- W2998020306 crossrefType "proceedings-article" @default.
- W2998020306 hasAuthorship W2998020306A5007409020 @default.
- W2998020306 hasAuthorship W2998020306A5008883613 @default.
- W2998020306 hasAuthorship W2998020306A5070980802 @default.
- W2998020306 hasAuthorship W2998020306A5091329448 @default.
- W2998020306 hasConcept C115903868 @default.
- W2998020306 hasConcept C120314980 @default.
- W2998020306 hasConcept C121332964 @default.
- W2998020306 hasConcept C145644426 @default.
- W2998020306 hasConcept C153185123 @default.
- W2998020306 hasConcept C177212765 @default.
- W2998020306 hasConcept C179603123 @default.
- W2998020306 hasConcept C184337299 @default.
- W2998020306 hasConcept C199360897 @default.
- W2998020306 hasConcept C21285288 @default.
- W2998020306 hasConcept C2777904410 @default.
- W2998020306 hasConcept C2779662365 @default.
- W2998020306 hasConcept C41008148 @default.
- W2998020306 hasConcept C62520636 @default.
- W2998020306 hasConcept C64219723 @default.
- W2998020306 hasConcept C75606506 @default.
- W2998020306 hasConcept C77088390 @default.
- W2998020306 hasConceptScore W2998020306C115903868 @default.
- W2998020306 hasConceptScore W2998020306C120314980 @default.
- W2998020306 hasConceptScore W2998020306C121332964 @default.
- W2998020306 hasConceptScore W2998020306C145644426 @default.
- W2998020306 hasConceptScore W2998020306C153185123 @default.
- W2998020306 hasConceptScore W2998020306C177212765 @default.
- W2998020306 hasConceptScore W2998020306C179603123 @default.
- W2998020306 hasConceptScore W2998020306C184337299 @default.
- W2998020306 hasConceptScore W2998020306C199360897 @default.
- W2998020306 hasConceptScore W2998020306C21285288 @default.
- W2998020306 hasConceptScore W2998020306C2777904410 @default.
- W2998020306 hasConceptScore W2998020306C2779662365 @default.
- W2998020306 hasConceptScore W2998020306C41008148 @default.
- W2998020306 hasConceptScore W2998020306C62520636 @default.
- W2998020306 hasConceptScore W2998020306C64219723 @default.
- W2998020306 hasConceptScore W2998020306C75606506 @default.
- W2998020306 hasConceptScore W2998020306C77088390 @default.
- W2998020306 hasLocation W29980203061 @default.
- W2998020306 hasOpenAccess W2998020306 @default.
- W2998020306 hasPrimaryLocation W29980203061 @default.
- W2998020306 hasRelatedWork W1496040829 @default.
- W2998020306 hasRelatedWork W201172951 @default.
- W2998020306 hasRelatedWork W2042006856 @default.
- W2998020306 hasRelatedWork W2102706400 @default.
- W2998020306 hasRelatedWork W2118801958 @default.
- W2998020306 hasRelatedWork W2145488306 @default.
- W2998020306 hasRelatedWork W2155102375 @default.
- W2998020306 hasRelatedWork W2395896456 @default.
- W2998020306 hasRelatedWork W2998020306 @default.
- W2998020306 hasRelatedWork W37720666 @default.
- W2998020306 isParatext "false" @default.
- W2998020306 isRetracted "false" @default.
- W2998020306 magId "2998020306" @default.
- W2998020306 workType "article" @default.