FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2055146545> ?p ?o ?g. }

• W2055146545 endingPage "462" @default.
• W2055146545 startingPage "445" @default.
• W2055146545 abstract "Despite considerable advancement in software engineering methods during the past three decades, requirements engineering of large and complex software systems still remains a difficult and active research problem. One such difficulty lies in developing correct and useful methods for the validation and verification of real-time software specifications. One way of analyzing and validating/verifying software specifications is to mathematically derive or prove desired system properties based on formal specification languages. A full scale system analysis using such formal methods is limited in practice because of the required mathematical skills and computational costs. Formal methods are often used to check only a few very critical real-time properties. Simulation is a complementary approach to testing various system characteristics and validating user requirements. It is especially good for providing a rough picture of final system behavior. This paper presents ASADAL/SIM, a tool for multi-level simulation and analysis of real-time software specifications. It is a subsystem of a larger computer-aided real-time software development environment called ASADAL, and complements ASADAL/PROVER, another subsystem of ASADAL which is a formal verification module.1. With ASADAL/SIM, simulation primitives can be added to evolving specifications in order to assign stochastic behaviors to external entities and internal processes, and to build a simulation model. ASADAL/SIM can execute the model and, at the same time, demonstrate the final system behavior by graphically showing internal workings of the system; catch undesirable system behaviors with breakpoints; and present various analytical results and system statistics ASADAL/SIM, following ASADAL's philosophies of hierarchical system modeling and early system validation, allows users to simulate ‘evolving’ specifications at different, mixed, and wide levels of detail. In particular, algorithmic details may be specified for low level behavioral blocks, and simulated with abstract entities yet to be refined to such a level. This facilitates the tracking of critical data values at the specification level, and eases the next transformation into code level implementation. With ASADAL/SIM, ASADAL becomes an effective and comprehensive supporting tool for various existing software engineering approaches, particularly top-down refinement and incremental development practices. © 1998 John Wiley & Sons, Ltd." @default.
• W2055146545 created "2016-06-24" @default.
• W2055146545 creator A5022834069 @default.
• W2055146545 creator A5042229295 @default.
• W2055146545 creator A5060730297 @default.
• W2055146545 creator A5066860192 @default.
• W2055146545 date "1998-04-10" @default.
• W2055146545 modified "2023-09-23" @default.
• W2055146545 title "ASADAL/SIM: an incremental multi‐level simulation and analysis tool for real‐time software specifications" @default.
• W2055146545 doi "https://doi.org/10.1002/(sici)1097-024x(19980410)28:4<445::aid-spe166>3.3.co;2-a" @default.
• W2055146545 hasPublicationYear "1998" @default.
• W2055146545 type Work @default.
• W2055146545 sameAs 2055146545 @default.
• W2055146545 citedByCount "3" @default.
• W2055146545 countsByYear W20551465452013 @default.
• W2055146545 crossrefType "journal-article" @default.
• W2055146545 hasAuthorship W2055146545A5022834069 @default.
• W2055146545 hasAuthorship W2055146545A5042229295 @default.
• W2055146545 hasAuthorship W2055146545A5060730297 @default.
• W2055146545 hasAuthorship W2055146545A5066860192 @default.
• W2055146545 hasConcept C115903868 @default.
• W2055146545 hasConcept C127413603 @default.
• W2055146545 hasConcept C149091818 @default.
• W2055146545 hasConcept C186846655 @default.
• W2055146545 hasConcept C199360897 @default.
• W2055146545 hasConcept C21547014 @default.
• W2055146545 hasConcept C2777904410 @default.
• W2055146545 hasConcept C33054407 @default.
• W2055146545 hasConcept C41008148 @default.
• W2055146545 hasConcept C48002344 @default.
• W2055146545 hasConcept C75606506 @default.
• W2055146545 hasConceptScore W2055146545C115903868 @default.
• W2055146545 hasConceptScore W2055146545C127413603 @default.
• W2055146545 hasConceptScore W2055146545C149091818 @default.
• W2055146545 hasConceptScore W2055146545C186846655 @default.
• W2055146545 hasConceptScore W2055146545C199360897 @default.
• W2055146545 hasConceptScore W2055146545C21547014 @default.
• W2055146545 hasConceptScore W2055146545C2777904410 @default.
• W2055146545 hasConceptScore W2055146545C33054407 @default.
• W2055146545 hasConceptScore W2055146545C41008148 @default.
• W2055146545 hasConceptScore W2055146545C48002344 @default.
• W2055146545 hasConceptScore W2055146545C75606506 @default.
• W2055146545 hasIssue "4" @default.
• W2055146545 hasLocation W20551465451 @default.
• W2055146545 hasOpenAccess W2055146545 @default.
• W2055146545 hasPrimaryLocation W20551465451 @default.
• W2055146545 hasRelatedWork W1543167779 @default.
• W2055146545 hasRelatedWork W2103972622 @default.
• W2055146545 hasRelatedWork W2181429460 @default.
• W2055146545 hasRelatedWork W2261809236 @default.
• W2055146545 hasRelatedWork W3155860078 @default.
• W2055146545 hasRelatedWork W3275244 @default.
• W2055146545 hasRelatedWork W4250029972 @default.
• W2055146545 hasRelatedWork W4313679782 @default.
• W2055146545 hasRelatedWork W72285135 @default.
• W2055146545 hasRelatedWork W109480154 @default.
• W2055146545 hasVolume "28" @default.
• W2055146545 isParatext "false" @default.
• W2055146545 isRetracted "false" @default.
• W2055146545 magId "2055146545" @default.
• W2055146545 workType "article" @default.