Matches in SemOpenAlex for { <https://semopenalex.org/work/W97187070> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W97187070 endingPage "102" @default.
- W97187070 startingPage "89" @default.
- W97187070 abstract "Requirements specification and validation is recognized as a crucial part of the information systems Y development process. This paper presents the VENUS integrated environment for requirements engineering. The underlying conceptual framework of VENUS combines the entity-relationship, object-oriented and rule-based paradigms for data and behaviour modelling. VENUS tools enable systems analysts to formulate, analyse and validate requirements specifications which can be automatically mapped either to a C++ prototype or to the model of Rule-Based Nets (RBNs), a variant of Predicate-Tra nsition Nets. RBNs constitute an executable model of requirements specifications and can be studied by analytical PN algorithms, animated and validated against test cases. The VENUS environment, therefore, provides an integrated, complete and formal, yet user-friendly, framework for requirements engineering. A VENUS prototype has been implemented so far, and work is still in progress towards (i) full-scale development and (ii) mapping of executable requirements specifications to design and implementation structures." @default.
- W97187070 created "2016-06-24" @default.
- W97187070 creator A5013453462 @default.
- W97187070 creator A5049653230 @default.
- W97187070 creator A5066658247 @default.
- W97187070 date "1994-01-01" @default.
- W97187070 modified "2023-09-26" @default.
- W97187070 title "Specifiying and Validating Requirements: The VENUS System." @default.
- W97187070 cites W107299656 @default.
- W97187070 cites W137011577 @default.
- W97187070 cites W1494811192 @default.
- W97187070 cites W1520258795 @default.
- W97187070 cites W1554250066 @default.
- W97187070 cites W1597256589 @default.
- W97187070 cites W1970495662 @default.
- W97187070 cites W1997422892 @default.
- W97187070 cites W2051437144 @default.
- W97187070 cites W2072171199 @default.
- W97187070 cites W2096536569 @default.
- W97187070 cites W2119439570 @default.
- W97187070 cites W2121212903 @default.
- W97187070 cites W2126195491 @default.
- W97187070 cites W2126538733 @default.
- W97187070 cites W2131014075 @default.
- W97187070 cites W2135348141 @default.
- W97187070 cites W2144973245 @default.
- W97187070 cites W2160204544 @default.
- W97187070 cites W3148251010 @default.
- W97187070 cites W3155756270 @default.
- W97187070 hasPublicationYear "1994" @default.
- W97187070 type Work @default.
- W97187070 sameAs 97187070 @default.
- W97187070 citedByCount "1" @default.
- W97187070 crossrefType "journal-article" @default.
- W97187070 hasAuthorship W97187070A5013453462 @default.
- W97187070 hasAuthorship W97187070A5049653230 @default.
- W97187070 hasAuthorship W97187070A5066658247 @default.
- W97187070 hasConcept C115903868 @default.
- W97187070 hasConcept C121332964 @default.
- W97187070 hasConcept C127413603 @default.
- W97187070 hasConcept C160145156 @default.
- W97187070 hasConcept C199360897 @default.
- W97187070 hasConcept C201995342 @default.
- W97187070 hasConcept C2777904410 @default.
- W97187070 hasConcept C2779900269 @default.
- W97187070 hasConcept C41008148 @default.
- W97187070 hasConcept C59488412 @default.
- W97187070 hasConcept C6604083 @default.
- W97187070 hasConcept C84651959 @default.
- W97187070 hasConcept C87355193 @default.
- W97187070 hasConceptScore W97187070C115903868 @default.
- W97187070 hasConceptScore W97187070C121332964 @default.
- W97187070 hasConceptScore W97187070C127413603 @default.
- W97187070 hasConceptScore W97187070C160145156 @default.
- W97187070 hasConceptScore W97187070C199360897 @default.
- W97187070 hasConceptScore W97187070C201995342 @default.
- W97187070 hasConceptScore W97187070C2777904410 @default.
- W97187070 hasConceptScore W97187070C2779900269 @default.
- W97187070 hasConceptScore W97187070C41008148 @default.
- W97187070 hasConceptScore W97187070C59488412 @default.
- W97187070 hasConceptScore W97187070C6604083 @default.
- W97187070 hasConceptScore W97187070C84651959 @default.
- W97187070 hasConceptScore W97187070C87355193 @default.
- W97187070 hasLocation W971870701 @default.
- W97187070 hasOpenAccess W97187070 @default.
- W97187070 hasPrimaryLocation W971870701 @default.
- W97187070 hasRelatedWork W105685694 @default.
- W97187070 hasRelatedWork W1494002734 @default.
- W97187070 hasRelatedWork W1602333323 @default.
- W97187070 hasRelatedWork W1606337044 @default.
- W97187070 hasRelatedWork W18403589 @default.
- W97187070 hasRelatedWork W2017819351 @default.
- W97187070 hasRelatedWork W2090669830 @default.
- W97187070 hasRelatedWork W2114916052 @default.
- W97187070 hasRelatedWork W2188487833 @default.
- W97187070 hasRelatedWork W242661292 @default.
- W97187070 hasRelatedWork W2468997147 @default.
- W97187070 hasRelatedWork W2614050776 @default.
- W97187070 hasRelatedWork W2914694472 @default.
- W97187070 hasRelatedWork W2923288591 @default.
- W97187070 hasRelatedWork W2982403790 @default.
- W97187070 hasRelatedWork W2995927822 @default.
- W97187070 hasRelatedWork W3008984126 @default.
- W97187070 hasRelatedWork W3014599045 @default.
- W97187070 hasRelatedWork W3080237934 @default.
- W97187070 hasRelatedWork W3159153494 @default.
- W97187070 isParatext "false" @default.
- W97187070 isRetracted "false" @default.
- W97187070 magId "97187070" @default.
- W97187070 workType "article" @default.