Matches in SemOpenAlex for { <https://semopenalex.org/work/W2739801796> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2739801796 abstract "It introduces in a very progressive way the different notations and concepts required for developing the case study. Section 2 analyses the case study and extracts informations for constructing a first skeleton of B event-based model. The B event-based modelling technique is introduced in section 3 by writing an event~~B model. The first invoice case study model is given in section 4 and it completes the skeleton of the section 2. Section 5 defines the refinement of a event~~B model and it is used in the section 6 for deriving the second case study model; a refinement of this model is proposed and introduces an ordering over invoices. Sections 7 and 8 conclude our proof-based development of B event-based models for the case study. The complete B models are given in three figures." @default.
- W2739801796 created "2017-08-08" @default.
- W2739801796 creator A5007751056 @default.
- W2739801796 creator A5018322893 @default.
- W2739801796 date "2005-01-01" @default.
- W2739801796 modified "2023-09-25" @default.
- W2739801796 title "The invoice case study modelling in Event B" @default.
- W2739801796 cites W14050270 @default.
- W2739801796 cites W1480981189 @default.
- W2739801796 cites W1497302929 @default.
- W2739801796 cites W1504504841 @default.
- W2739801796 cites W1556500444 @default.
- W2739801796 cites W1559870885 @default.
- W2739801796 cites W1575221187 @default.
- W2739801796 cites W1597822635 @default.
- W2739801796 cites W174471988 @default.
- W2739801796 cites W1857327297 @default.
- W2739801796 cites W201699256 @default.
- W2739801796 cites W2076964487 @default.
- W2739801796 cites W2083336677 @default.
- W2739801796 cites W2103953153 @default.
- W2739801796 cites W2140415449 @default.
- W2739801796 cites W2160633550 @default.
- W2739801796 cites W34819657 @default.
- W2739801796 cites W79592965 @default.
- W2739801796 cites W162226859 @default.
- W2739801796 hasPublicationYear "2005" @default.
- W2739801796 type Work @default.
- W2739801796 sameAs 2739801796 @default.
- W2739801796 citedByCount "0" @default.
- W2739801796 crossrefType "journal-article" @default.
- W2739801796 hasAuthorship W2739801796A5007751056 @default.
- W2739801796 hasAuthorship W2739801796A5018322893 @default.
- W2739801796 hasConcept C111919701 @default.
- W2739801796 hasConcept C121332964 @default.
- W2739801796 hasConcept C2779662365 @default.
- W2739801796 hasConcept C2780129039 @default.
- W2739801796 hasConcept C33923547 @default.
- W2739801796 hasConcept C41008148 @default.
- W2739801796 hasConcept C45357846 @default.
- W2739801796 hasConcept C62520636 @default.
- W2739801796 hasConcept C94375191 @default.
- W2739801796 hasConceptScore W2739801796C111919701 @default.
- W2739801796 hasConceptScore W2739801796C121332964 @default.
- W2739801796 hasConceptScore W2739801796C2779662365 @default.
- W2739801796 hasConceptScore W2739801796C2780129039 @default.
- W2739801796 hasConceptScore W2739801796C33923547 @default.
- W2739801796 hasConceptScore W2739801796C41008148 @default.
- W2739801796 hasConceptScore W2739801796C45357846 @default.
- W2739801796 hasConceptScore W2739801796C62520636 @default.
- W2739801796 hasConceptScore W2739801796C94375191 @default.
- W2739801796 hasLocation W27398017961 @default.
- W2739801796 hasOpenAccess W2739801796 @default.
- W2739801796 hasPrimaryLocation W27398017961 @default.
- W2739801796 hasRelatedWork W1572511386 @default.
- W2739801796 hasRelatedWork W174693909 @default.
- W2739801796 hasRelatedWork W1805792028 @default.
- W2739801796 hasRelatedWork W1825706767 @default.
- W2739801796 hasRelatedWork W1976243422 @default.
- W2739801796 hasRelatedWork W2049578325 @default.
- W2739801796 hasRelatedWork W2120708400 @default.
- W2739801796 hasRelatedWork W2296193250 @default.
- W2739801796 hasRelatedWork W2388768311 @default.
- W2739801796 hasRelatedWork W2500694700 @default.
- W2739801796 hasRelatedWork W2596020813 @default.
- W2739801796 hasRelatedWork W2889724751 @default.
- W2739801796 hasRelatedWork W3022562820 @default.
- W2739801796 hasRelatedWork W3026497044 @default.
- W2739801796 hasRelatedWork W770333031 @default.
- W2739801796 hasRelatedWork W81164209 @default.
- W2739801796 isParatext "false" @default.
- W2739801796 isRetracted "false" @default.
- W2739801796 magId "2739801796" @default.
- W2739801796 workType "article" @default.