Matches in SemOpenAlex for { <https://semopenalex.org/work/W1530018456> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1530018456 endingPage "139" @default.
- W1530018456 startingPage "137" @default.
- W1530018456 abstract "The B method, developed by Jean-Raymond Abrial, is a formal method which enables an incremental development process (also known as the refinement process). The distribution of the B Method and the creation of experimental research tools face constraints of the market for existing tools: cost, limited access, and limited number of systems (hardware and software) requiring this kind of support. The purpose of the jBTools project is to solve this problem by proposing an open-source platform. In this article, we will present the architecture of the platform, the available base tools (User Interface, Parser, Type Checker) producing an XML format and the optimized code generator for the French project RNTL BOM2." @default.
- W1530018456 created "2016-06-24" @default.
- W1530018456 creator A5033937446 @default.
- W1530018456 date "2002-06-13" @default.
- W1530018456 modified "2023-09-23" @default.
- W1530018456 title "JBTools: an experimental platform for the formal B method" @default.
- W1530018456 cites W1559870885 @default.
- W1530018456 cites W1699340362 @default.
- W1530018456 doi "https://doi.org/10.5555/638476.638504" @default.
- W1530018456 hasPublicationYear "2002" @default.
- W1530018456 type Work @default.
- W1530018456 sameAs 1530018456 @default.
- W1530018456 citedByCount "7" @default.
- W1530018456 crossrefType "journal-article" @default.
- W1530018456 hasAuthorship W1530018456A5033937446 @default.
- W1530018456 hasConcept C111919701 @default.
- W1530018456 hasConcept C115903868 @default.
- W1530018456 hasConcept C116253237 @default.
- W1530018456 hasConcept C121332964 @default.
- W1530018456 hasConcept C133162039 @default.
- W1530018456 hasConcept C163258240 @default.
- W1530018456 hasConcept C186644900 @default.
- W1530018456 hasConcept C192698709 @default.
- W1530018456 hasConcept C199360897 @default.
- W1530018456 hasConcept C26517878 @default.
- W1530018456 hasConcept C2780992000 @default.
- W1530018456 hasConcept C41008148 @default.
- W1530018456 hasConcept C548217200 @default.
- W1530018456 hasConcept C62520636 @default.
- W1530018456 hasConcept C75606506 @default.
- W1530018456 hasConcept C77088390 @default.
- W1530018456 hasConcept C8797682 @default.
- W1530018456 hasConcept C98045186 @default.
- W1530018456 hasConceptScore W1530018456C111919701 @default.
- W1530018456 hasConceptScore W1530018456C115903868 @default.
- W1530018456 hasConceptScore W1530018456C116253237 @default.
- W1530018456 hasConceptScore W1530018456C121332964 @default.
- W1530018456 hasConceptScore W1530018456C133162039 @default.
- W1530018456 hasConceptScore W1530018456C163258240 @default.
- W1530018456 hasConceptScore W1530018456C186644900 @default.
- W1530018456 hasConceptScore W1530018456C192698709 @default.
- W1530018456 hasConceptScore W1530018456C199360897 @default.
- W1530018456 hasConceptScore W1530018456C26517878 @default.
- W1530018456 hasConceptScore W1530018456C2780992000 @default.
- W1530018456 hasConceptScore W1530018456C41008148 @default.
- W1530018456 hasConceptScore W1530018456C548217200 @default.
- W1530018456 hasConceptScore W1530018456C62520636 @default.
- W1530018456 hasConceptScore W1530018456C75606506 @default.
- W1530018456 hasConceptScore W1530018456C77088390 @default.
- W1530018456 hasConceptScore W1530018456C8797682 @default.
- W1530018456 hasConceptScore W1530018456C98045186 @default.
- W1530018456 hasLocation W15300184561 @default.
- W1530018456 hasOpenAccess W1530018456 @default.
- W1530018456 hasPrimaryLocation W15300184561 @default.
- W1530018456 hasRelatedWork W1497450245 @default.
- W1530018456 hasRelatedWork W1511536002 @default.
- W1530018456 hasRelatedWork W1559870885 @default.
- W1530018456 hasRelatedWork W1599533477 @default.
- W1530018456 hasRelatedWork W1783592675 @default.
- W1530018456 hasRelatedWork W1970579762 @default.
- W1530018456 hasRelatedWork W2020638316 @default.
- W1530018456 hasRelatedWork W2108270108 @default.
- W1530018456 hasRelatedWork W2139620513 @default.
- W1530018456 hasRelatedWork W2154668615 @default.
- W1530018456 hasRelatedWork W2229300982 @default.
- W1530018456 hasRelatedWork W2317437233 @default.
- W1530018456 hasRelatedWork W26593213 @default.
- W1530018456 hasRelatedWork W2909813527 @default.
- W1530018456 hasRelatedWork W3177359348 @default.
- W1530018456 hasRelatedWork W642831887 @default.
- W1530018456 hasRelatedWork W71560345 @default.
- W1530018456 hasRelatedWork W2182765528 @default.
- W1530018456 hasRelatedWork W2518267379 @default.
- W1530018456 hasRelatedWork W2616523678 @default.
- W1530018456 isParatext "false" @default.
- W1530018456 isRetracted "false" @default.
- W1530018456 magId "1530018456" @default.
- W1530018456 workType "article" @default.