Matches in SemOpenAlex for { <https://semopenalex.org/work/W1580782798> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1580782798 startingPage "21052" @default.
- W1580782798 abstract "This research has been conducted at the Computational Sciences Division of the Information Sciences Directorate at Ames Research Center (Automated Software Engineering Grp). The principle work this summer has been to review and refine the agenda that were carried forward from last summer. Formal specifications provide good support for designing a functionally correct system, however they are weak at incorporating non-functional performance requirements (like reliability). Techniques which utilize stochastic Petri nets (SPNs) are good for evaluating the performance and reliability for a system, but they may be too abstract and cumbersome from the stand point of specifying and evaluating functional behavior. Therefore, one major objective of this research is to provide an integrated approach to assist the user in specifying both functionality (qualitative: mutual exclusion and synchronization) and performance requirements (quantitative: reliability and execution deadlines). In this way, the merits of a powerful modeling technique for performability analysis (using SPNs) can be combined with a well-defined formal specification language. In doing so, we can come closer to providing a formal approach to designing a functionally correct system that meets reliability and performance goals." @default.
- W1580782798 created "2016-06-24" @default.
- W1580782798 creator A5019549865 @default.
- W1580782798 date "1998-10-01" @default.
- W1580782798 modified "2023-09-23" @default.
- W1580782798 title "Composing, Analyzing and Validating Software Models" @default.
- W1580782798 hasPublicationYear "1998" @default.
- W1580782798 type Work @default.
- W1580782798 sameAs 1580782798 @default.
- W1580782798 citedByCount "0" @default.
- W1580782798 crossrefType "journal-article" @default.
- W1580782798 hasAuthorship W1580782798A5019549865 @default.
- W1580782798 hasConcept C111498074 @default.
- W1580782798 hasConcept C115903868 @default.
- W1580782798 hasConcept C116253237 @default.
- W1580782798 hasConcept C121332964 @default.
- W1580782798 hasConcept C127162648 @default.
- W1580782798 hasConcept C127413603 @default.
- W1580782798 hasConcept C149091818 @default.
- W1580782798 hasConcept C163258240 @default.
- W1580782798 hasConcept C186846655 @default.
- W1580782798 hasConcept C199360897 @default.
- W1580782798 hasConcept C200601418 @default.
- W1580782798 hasConcept C201995342 @default.
- W1580782798 hasConcept C2524010 @default.
- W1580782798 hasConcept C2777904410 @default.
- W1580782798 hasConcept C2778562939 @default.
- W1580782798 hasConcept C28719098 @default.
- W1580782798 hasConcept C31258907 @default.
- W1580782798 hasConcept C33923547 @default.
- W1580782798 hasConcept C38677869 @default.
- W1580782798 hasConcept C41008148 @default.
- W1580782798 hasConcept C43214815 @default.
- W1580782798 hasConcept C57371142 @default.
- W1580782798 hasConcept C62520636 @default.
- W1580782798 hasConcept C75606506 @default.
- W1580782798 hasConceptScore W1580782798C111498074 @default.
- W1580782798 hasConceptScore W1580782798C115903868 @default.
- W1580782798 hasConceptScore W1580782798C116253237 @default.
- W1580782798 hasConceptScore W1580782798C121332964 @default.
- W1580782798 hasConceptScore W1580782798C127162648 @default.
- W1580782798 hasConceptScore W1580782798C127413603 @default.
- W1580782798 hasConceptScore W1580782798C149091818 @default.
- W1580782798 hasConceptScore W1580782798C163258240 @default.
- W1580782798 hasConceptScore W1580782798C186846655 @default.
- W1580782798 hasConceptScore W1580782798C199360897 @default.
- W1580782798 hasConceptScore W1580782798C200601418 @default.
- W1580782798 hasConceptScore W1580782798C201995342 @default.
- W1580782798 hasConceptScore W1580782798C2524010 @default.
- W1580782798 hasConceptScore W1580782798C2777904410 @default.
- W1580782798 hasConceptScore W1580782798C2778562939 @default.
- W1580782798 hasConceptScore W1580782798C28719098 @default.
- W1580782798 hasConceptScore W1580782798C31258907 @default.
- W1580782798 hasConceptScore W1580782798C33923547 @default.
- W1580782798 hasConceptScore W1580782798C38677869 @default.
- W1580782798 hasConceptScore W1580782798C41008148 @default.
- W1580782798 hasConceptScore W1580782798C43214815 @default.
- W1580782798 hasConceptScore W1580782798C57371142 @default.
- W1580782798 hasConceptScore W1580782798C62520636 @default.
- W1580782798 hasConceptScore W1580782798C75606506 @default.
- W1580782798 hasOpenAccess W1580782798 @default.
- W1580782798 hasRelatedWork W1546797008 @default.
- W1580782798 hasRelatedWork W1555804798 @default.
- W1580782798 hasRelatedWork W1971692503 @default.
- W1580782798 hasRelatedWork W1972718709 @default.
- W1580782798 hasRelatedWork W2004669906 @default.
- W1580782798 hasRelatedWork W2095853321 @default.
- W1580782798 hasRelatedWork W2124212784 @default.
- W1580782798 hasRelatedWork W2421833146 @default.
- W1580782798 hasRelatedWork W2517114061 @default.
- W1580782798 hasRelatedWork W2525037625 @default.
- W1580782798 hasRelatedWork W2552539375 @default.
- W1580782798 hasRelatedWork W2736091725 @default.
- W1580782798 hasRelatedWork W2786654885 @default.
- W1580782798 hasRelatedWork W2918005785 @default.
- W1580782798 hasRelatedWork W3008984126 @default.
- W1580782798 hasRelatedWork W3015940416 @default.
- W1580782798 hasRelatedWork W3108513584 @default.
- W1580782798 hasRelatedWork W335548156 @default.
- W1580782798 hasRelatedWork W830296279 @default.
- W1580782798 hasRelatedWork W1569880806 @default.
- W1580782798 hasVolume "99" @default.
- W1580782798 isParatext "false" @default.
- W1580782798 isRetracted "false" @default.
- W1580782798 magId "1580782798" @default.
- W1580782798 workType "article" @default.