Matches in SemOpenAlex for { <https://semopenalex.org/work/W2106404670> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2106404670 abstract "Software development using formal methods is believed to be a process of successive refinements from abstract specifications into concrete specifications. Refinement rules may be used to demonstrate that the concrete specifications satisfy the corresponding abstract ones. However, there are serious limitations of the refinement rules in both theory and in practical applications. This paper first uses examples to demonstrate the limitations, and then proposes a new software development model for improvement based on our experience. The limitations include (1) the refinement rules are not sufficient to guarantee that a refined specification (or concrete specification) satisfy the user's real requirements if it satisfies the abstract specification, (2) the existing refinement rules are not always applicable in theory during the successive refinements, and (3) the refinement rules are difficult to apply effectively in practice, due to various kinds of uncertainties and resource constraints. The proposed model suggests that system development using formal methods should be divided into two phases: a static development phase and a dynamic development phase, the whole process in each phase phase involving requirements analysis. In order to suit the new model, the existing refinement rules are modified." @default.
- W2106404670 created "2016-06-24" @default.
- W2106404670 creator A5029900977 @default.
- W2106404670 creator A5044917982 @default.
- W2106404670 date "2002-11-19" @default.
- W2106404670 modified "2023-09-25" @default.
- W2106404670 title "Limitations of formal methods and an approach to improvement" @default.
- W2106404670 cites W100634403 @default.
- W2106404670 cites W1502835030 @default.
- W2106404670 cites W1552647623 @default.
- W2106404670 cites W1606863608 @default.
- W2106404670 cites W172305180 @default.
- W2106404670 cites W1970495662 @default.
- W2106404670 cites W1982225114 @default.
- W2106404670 cites W1986699246 @default.
- W2106404670 cites W2022259287 @default.
- W2106404670 cites W2033280011 @default.
- W2106404670 cites W2036120253 @default.
- W2106404670 cites W2042492244 @default.
- W2106404670 cites W2045057107 @default.
- W2106404670 cites W2071756645 @default.
- W2106404670 cites W2078224548 @default.
- W2106404670 cites W2095152777 @default.
- W2106404670 cites W2099081743 @default.
- W2106404670 cites W2107284051 @default.
- W2106404670 cites W2124481663 @default.
- W2106404670 cites W2134062730 @default.
- W2106404670 cites W2536467322 @default.
- W2106404670 cites W1527854486 @default.
- W2106404670 doi "https://doi.org/10.1109/apsec.1995.496999" @default.
- W2106404670 hasPublicationYear "2002" @default.
- W2106404670 type Work @default.
- W2106404670 sameAs 2106404670 @default.
- W2106404670 citedByCount "9" @default.
- W2106404670 countsByYear W21064046702014 @default.
- W2106404670 countsByYear W21064046702015 @default.
- W2106404670 countsByYear W21064046702016 @default.
- W2106404670 countsByYear W21064046702017 @default.
- W2106404670 countsByYear W21064046702020 @default.
- W2106404670 crossrefType "proceedings-article" @default.
- W2106404670 hasAuthorship W2106404670A5029900977 @default.
- W2106404670 hasAuthorship W2106404670A5044917982 @default.
- W2106404670 hasConcept C111498074 @default.
- W2106404670 hasConcept C115903868 @default.
- W2106404670 hasConcept C116253237 @default.
- W2106404670 hasConcept C134306372 @default.
- W2106404670 hasConcept C14331664 @default.
- W2106404670 hasConcept C199360897 @default.
- W2106404670 hasConcept C2776542497 @default.
- W2106404670 hasConcept C2777904410 @default.
- W2106404670 hasConcept C33923547 @default.
- W2106404670 hasConcept C41008148 @default.
- W2106404670 hasConcept C529173508 @default.
- W2106404670 hasConcept C75606506 @default.
- W2106404670 hasConcept C90483712 @default.
- W2106404670 hasConcept C98045186 @default.
- W2106404670 hasConceptScore W2106404670C111498074 @default.
- W2106404670 hasConceptScore W2106404670C115903868 @default.
- W2106404670 hasConceptScore W2106404670C116253237 @default.
- W2106404670 hasConceptScore W2106404670C134306372 @default.
- W2106404670 hasConceptScore W2106404670C14331664 @default.
- W2106404670 hasConceptScore W2106404670C199360897 @default.
- W2106404670 hasConceptScore W2106404670C2776542497 @default.
- W2106404670 hasConceptScore W2106404670C2777904410 @default.
- W2106404670 hasConceptScore W2106404670C33923547 @default.
- W2106404670 hasConceptScore W2106404670C41008148 @default.
- W2106404670 hasConceptScore W2106404670C529173508 @default.
- W2106404670 hasConceptScore W2106404670C75606506 @default.
- W2106404670 hasConceptScore W2106404670C90483712 @default.
- W2106404670 hasConceptScore W2106404670C98045186 @default.
- W2106404670 hasLocation W21064046701 @default.
- W2106404670 hasOpenAccess W2106404670 @default.
- W2106404670 hasPrimaryLocation W21064046701 @default.
- W2106404670 hasRelatedWork W118789883 @default.
- W2106404670 hasRelatedWork W1537387651 @default.
- W2106404670 hasRelatedWork W2150189917 @default.
- W2106404670 hasRelatedWork W2182746768 @default.
- W2106404670 hasRelatedWork W2188057831 @default.
- W2106404670 hasRelatedWork W2496437780 @default.
- W2106404670 hasRelatedWork W2595646717 @default.
- W2106404670 hasRelatedWork W2614281427 @default.
- W2106404670 hasRelatedWork W2908760593 @default.
- W2106404670 hasRelatedWork W2967257850 @default.
- W2106404670 hasRelatedWork W2971758340 @default.
- W2106404670 hasRelatedWork W3004916789 @default.
- W2106404670 hasRelatedWork W30086667 @default.
- W2106404670 hasRelatedWork W3085446862 @default.
- W2106404670 hasRelatedWork W3115072315 @default.
- W2106404670 hasRelatedWork W3136067940 @default.
- W2106404670 hasRelatedWork W3210413956 @default.
- W2106404670 hasRelatedWork W3213663260 @default.
- W2106404670 hasRelatedWork W798043743 @default.
- W2106404670 hasRelatedWork W2860620237 @default.
- W2106404670 isParatext "false" @default.
- W2106404670 isRetracted "false" @default.
- W2106404670 magId "2106404670" @default.
- W2106404670 workType "article" @default.