Matches in SemOpenAlex for { <https://semopenalex.org/work/W48373318> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W48373318 endingPage "75" @default.
- W48373318 startingPage "61" @default.
- W48373318 abstract "The work relates to formal verification of requirements models using deductive reasoning. Elicitation of requirements has significant impact on the entire software development process. Therefore, formal verification of requirements models may influence software cost and reliability in a positive way. However, logical specifications, considered as sets of temporal logic formulas, are difficult to specify manually by inexperienced users and this fact can be regarded as a significant obstacle to practical use of deduction-based verification tools. A method of building requirements models, including their logical specifications, is presented step by step. Requirements models are built using some UML diagrams, i.e. use case diagrams, use case scenarios, and activity diagrams. Organizing activity diagrams into predefined workflow patterns enables automated extraction of logical specifications. The crucial aspect of the presented approach is integrating the requirements engineering phase and the automatic generation of logical specifications. Formal verification of requirements models is based on the deductive approach using the semantic tableaux reasoning method. A simple yet illustrative example of development and verification of a requirements model is provided." @default.
- W48373318 created "2016-06-24" @default.
- W48373318 creator A5078501990 @default.
- W48373318 date "2013-01-01" @default.
- W48373318 modified "2023-10-16" @default.
- W48373318 title "From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models" @default.
- W48373318 cites W1588871218 @default.
- W48373318 cites W1612453857 @default.
- W48373318 cites W2115537376 @default.
- W48373318 cites W2126388361 @default.
- W48373318 cites W2148893609 @default.
- W48373318 cites W2914206182 @default.
- W48373318 cites W3296631 @default.
- W48373318 cites W4296471858 @default.
- W48373318 cites W1893518388 @default.
- W48373318 cites W2123274971 @default.
- W48373318 doi "https://doi.org/10.1007/978-3-642-40561-7_5" @default.
- W48373318 hasPublicationYear "2013" @default.
- W48373318 type Work @default.
- W48373318 sameAs 48373318 @default.
- W48373318 citedByCount "8" @default.
- W48373318 countsByYear W483733182013 @default.
- W48373318 countsByYear W483733182014 @default.
- W48373318 countsByYear W483733182016 @default.
- W48373318 countsByYear W483733182017 @default.
- W48373318 countsByYear W483733182018 @default.
- W48373318 crossrefType "book-chapter" @default.
- W48373318 hasAuthorship W48373318A5078501990 @default.
- W48373318 hasConcept C111498074 @default.
- W48373318 hasConcept C115903868 @default.
- W48373318 hasConcept C116253237 @default.
- W48373318 hasConcept C145644426 @default.
- W48373318 hasConcept C199360897 @default.
- W48373318 hasConcept C2777904410 @default.
- W48373318 hasConcept C41008148 @default.
- W48373318 hasConcept C62460635 @default.
- W48373318 hasConcept C64219723 @default.
- W48373318 hasConcept C75606506 @default.
- W48373318 hasConceptScore W48373318C111498074 @default.
- W48373318 hasConceptScore W48373318C115903868 @default.
- W48373318 hasConceptScore W48373318C116253237 @default.
- W48373318 hasConceptScore W48373318C145644426 @default.
- W48373318 hasConceptScore W48373318C199360897 @default.
- W48373318 hasConceptScore W48373318C2777904410 @default.
- W48373318 hasConceptScore W48373318C41008148 @default.
- W48373318 hasConceptScore W48373318C62460635 @default.
- W48373318 hasConceptScore W48373318C64219723 @default.
- W48373318 hasConceptScore W48373318C75606506 @default.
- W48373318 hasLocation W483733181 @default.
- W48373318 hasOpenAccess W48373318 @default.
- W48373318 hasPrimaryLocation W483733181 @default.
- W48373318 hasRelatedWork W2065501370 @default.
- W48373318 hasRelatedWork W2149906442 @default.
- W48373318 hasRelatedWork W2248653679 @default.
- W48373318 hasRelatedWork W2562928796 @default.
- W48373318 hasRelatedWork W287990975 @default.
- W48373318 hasRelatedWork W2914111933 @default.
- W48373318 hasRelatedWork W3190680636 @default.
- W48373318 hasRelatedWork W4214490692 @default.
- W48373318 hasRelatedWork W2000302469 @default.
- W48373318 hasRelatedWork W2156563939 @default.
- W48373318 isParatext "false" @default.
- W48373318 isRetracted "false" @default.
- W48373318 magId "48373318" @default.
- W48373318 workType "book-chapter" @default.