Matches in SemOpenAlex for { <https://semopenalex.org/work/W1526733620> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1526733620 endingPage "119" @default.
- W1526733620 startingPage "119" @default.
- W1526733620 abstract "Software architecture is the abstract design of a software system. It plays a key role as a bridge between requirements and implementation, and is a blueprint for development. The architecture represents a set of early design decisions that are crucial to a system. Mistakes in those decisions are very costly if they remain undetected until the system is implemented and deployed. This is where formal specification and analysis fits in. Formal specification makes sure that an architecture design is represented in a rigorous and unambiguous way. Furthermore, a formally specified model allows the use of different analysis techniques for verifying the correctness of those crucial design decisions. This dissertation presented a framework, called SAM, for formal specification and analysis of software architectures. In terms of specification, formalisms and mechanisms were identified and chosen to specify software architecture based on different analysis needs. Formalisms for specifying properties were also explored, especially in the case of non-functional properties. In terms of analysis, the dissertation explored both the verification of functional properties and the evaluation of non-functional properties of software architecture. For the verification of functional property, methodologies were presented on how to apply existing model checking techniques on a SAM model. For the evaluation of non-functional properties, the dissertation first showed how to incorporate stochastic information into a SAM model, and then explained how to translate the model to existing tools and conducts the analysis using those tools. To alleviate the analysis work, we also provided a tool to automatically translate a SAM model for model checking. All the techniques and methods described in the dissertation were illustrated by examples or case studies, which also served a purpose of advocating the use of formal methods in practice." @default.
- W1526733620 created "2016-06-24" @default.
- W1526733620 creator A5009723525 @default.
- W1526733620 creator A5075650658 @default.
- W1526733620 date "2006-01-01" @default.
- W1526733620 modified "2023-09-24" @default.
- W1526733620 title "A framework for specification and analysis of software architectures" @default.
- W1526733620 hasPublicationYear "2006" @default.
- W1526733620 type Work @default.
- W1526733620 sameAs 1526733620 @default.
- W1526733620 citedByCount "0" @default.
- W1526733620 crossrefType "journal-article" @default.
- W1526733620 hasAuthorship W1526733620A5009723525 @default.
- W1526733620 hasAuthorship W1526733620A5075650658 @default.
- W1526733620 hasConcept C102780508 @default.
- W1526733620 hasConcept C111498074 @default.
- W1526733620 hasConcept C115903868 @default.
- W1526733620 hasConcept C116253237 @default.
- W1526733620 hasConcept C149091818 @default.
- W1526733620 hasConcept C171018156 @default.
- W1526733620 hasConcept C186846655 @default.
- W1526733620 hasConcept C199360897 @default.
- W1526733620 hasConcept C2524010 @default.
- W1526733620 hasConcept C2777904410 @default.
- W1526733620 hasConcept C33923547 @default.
- W1526733620 hasConcept C41008148 @default.
- W1526733620 hasConcept C52913732 @default.
- W1526733620 hasConcept C529173508 @default.
- W1526733620 hasConcept C55439883 @default.
- W1526733620 hasConcept C57371142 @default.
- W1526733620 hasConcept C75606506 @default.
- W1526733620 hasConceptScore W1526733620C102780508 @default.
- W1526733620 hasConceptScore W1526733620C111498074 @default.
- W1526733620 hasConceptScore W1526733620C115903868 @default.
- W1526733620 hasConceptScore W1526733620C116253237 @default.
- W1526733620 hasConceptScore W1526733620C149091818 @default.
- W1526733620 hasConceptScore W1526733620C171018156 @default.
- W1526733620 hasConceptScore W1526733620C186846655 @default.
- W1526733620 hasConceptScore W1526733620C199360897 @default.
- W1526733620 hasConceptScore W1526733620C2524010 @default.
- W1526733620 hasConceptScore W1526733620C2777904410 @default.
- W1526733620 hasConceptScore W1526733620C33923547 @default.
- W1526733620 hasConceptScore W1526733620C41008148 @default.
- W1526733620 hasConceptScore W1526733620C52913732 @default.
- W1526733620 hasConceptScore W1526733620C529173508 @default.
- W1526733620 hasConceptScore W1526733620C55439883 @default.
- W1526733620 hasConceptScore W1526733620C57371142 @default.
- W1526733620 hasConceptScore W1526733620C75606506 @default.
- W1526733620 hasLocation W15267336201 @default.
- W1526733620 hasOpenAccess W1526733620 @default.
- W1526733620 hasPrimaryLocation W15267336201 @default.
- W1526733620 hasRelatedWork W1503502818 @default.
- W1526733620 hasRelatedWork W1583860132 @default.
- W1526733620 hasRelatedWork W2040378206 @default.
- W1526733620 hasRelatedWork W2055146545 @default.
- W1526733620 hasRelatedWork W2063054394 @default.
- W1526733620 hasRelatedWork W2273048371 @default.
- W1526733620 hasRelatedWork W2289989886 @default.
- W1526733620 hasRelatedWork W2336882285 @default.
- W1526733620 hasRelatedWork W2419663129 @default.
- W1526733620 hasRelatedWork W2462484355 @default.
- W1526733620 hasRelatedWork W2471467496 @default.
- W1526733620 hasRelatedWork W2562060860 @default.
- W1526733620 hasRelatedWork W2752870552 @default.
- W1526733620 hasRelatedWork W2883923596 @default.
- W1526733620 hasRelatedWork W2993871172 @default.
- W1526733620 hasRelatedWork W3167070212 @default.
- W1526733620 hasRelatedWork W3175328917 @default.
- W1526733620 hasRelatedWork W3196049111 @default.
- W1526733620 hasRelatedWork W3199149012 @default.
- W1526733620 hasRelatedWork W615649978 @default.
- W1526733620 isParatext "false" @default.
- W1526733620 isRetracted "false" @default.
- W1526733620 magId "1526733620" @default.
- W1526733620 workType "article" @default.