Matches in SemOpenAlex for { <https://semopenalex.org/work/W1575921325> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1575921325 endingPage "1132" @default.
- W1575921325 startingPage "1128" @default.
- W1575921325 abstract "C&C view of Software architecture is one of the modelling languages to describe and analyze runtime architecture of a software system. However, it is not sufficient to describe runtime architectural behaviours with only C&C view because C&C view architecture does not provide a sequence and state-chart of a software system. On the other side, we would use Finite State Process (FSP) model for describing behaviour and property of component in a software system. FSP model can be simple to show behavioural sequence and state of component. Moreover, we can check a property of a component with FSP model, once a FSP model of a software system is given. In this thesis, we propose an approach to model and verify C&C view architecture for a software system. Additionally, in using FSP model, the requirements represented using the FSP properties can be automatically checked against the C&C view architecture with a Labeled Transition Systems Analyzer (LTSA). This approach can support early detection of system's behaviour errors automatically." @default.
- W1575921325 created "2016-06-24" @default.
- W1575921325 creator A5076147859 @default.
- W1575921325 date "2010-02-07" @default.
- W1575921325 modified "2023-09-23" @default.
- W1575921325 title "The method for verifying software architecture with FSP model" @default.
- W1575921325 cites W1526808427 @default.
- W1575921325 cites W2060910670 @default.
- W1575921325 cites W2077318760 @default.
- W1575921325 cites W2146082668 @default.
- W1575921325 hasPublicationYear "2010" @default.
- W1575921325 type Work @default.
- W1575921325 sameAs 1575921325 @default.
- W1575921325 citedByCount "0" @default.
- W1575921325 crossrefType "proceedings-article" @default.
- W1575921325 hasAuthorship W1575921325A5076147859 @default.
- W1575921325 hasConcept C115903868 @default.
- W1575921325 hasConcept C121332964 @default.
- W1575921325 hasConcept C149091818 @default.
- W1575921325 hasConcept C168167062 @default.
- W1575921325 hasConcept C174683762 @default.
- W1575921325 hasConcept C199360897 @default.
- W1575921325 hasConcept C2777904410 @default.
- W1575921325 hasConcept C35869016 @default.
- W1575921325 hasConcept C41008148 @default.
- W1575921325 hasConcept C55356503 @default.
- W1575921325 hasConcept C97355855 @default.
- W1575921325 hasConceptScore W1575921325C115903868 @default.
- W1575921325 hasConceptScore W1575921325C121332964 @default.
- W1575921325 hasConceptScore W1575921325C149091818 @default.
- W1575921325 hasConceptScore W1575921325C168167062 @default.
- W1575921325 hasConceptScore W1575921325C174683762 @default.
- W1575921325 hasConceptScore W1575921325C199360897 @default.
- W1575921325 hasConceptScore W1575921325C2777904410 @default.
- W1575921325 hasConceptScore W1575921325C35869016 @default.
- W1575921325 hasConceptScore W1575921325C41008148 @default.
- W1575921325 hasConceptScore W1575921325C55356503 @default.
- W1575921325 hasConceptScore W1575921325C97355855 @default.
- W1575921325 hasOpenAccess W1575921325 @default.
- W1575921325 hasRelatedWork W135199158 @default.
- W1575921325 hasRelatedWork W1480105416 @default.
- W1575921325 hasRelatedWork W1496424806 @default.
- W1575921325 hasRelatedWork W1516288898 @default.
- W1575921325 hasRelatedWork W1574161543 @default.
- W1575921325 hasRelatedWork W1973348047 @default.
- W1575921325 hasRelatedWork W1998021290 @default.
- W1575921325 hasRelatedWork W2016011743 @default.
- W1575921325 hasRelatedWork W2053796178 @default.
- W1575921325 hasRelatedWork W2058845301 @default.
- W1575921325 hasRelatedWork W2393291710 @default.
- W1575921325 hasRelatedWork W2402778996 @default.
- W1575921325 hasRelatedWork W255025080 @default.
- W1575921325 hasRelatedWork W2604673637 @default.
- W1575921325 hasRelatedWork W2755144723 @default.
- W1575921325 hasRelatedWork W2884926739 @default.
- W1575921325 hasRelatedWork W2900584170 @default.
- W1575921325 hasRelatedWork W3142907018 @default.
- W1575921325 hasRelatedWork W2168653069 @default.
- W1575921325 hasRelatedWork W3001889305 @default.
- W1575921325 hasVolume "2" @default.
- W1575921325 isParatext "false" @default.
- W1575921325 isRetracted "false" @default.
- W1575921325 magId "1575921325" @default.
- W1575921325 workType "article" @default.