Matches in SemOpenAlex for { <https://semopenalex.org/work/W2280145101> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2280145101 abstract "The Field of Formal Methods (FM) is a growing field that uses mathematical notations for making accurate and unambiguous specifications, so that in the early phases of software development discrepancies and errors are identified. By using the popular kind of formal methods i.e. VDM, the quality of design, system specification and verification of software can be improved effectively. In this paper, formal specification of an e-Health system is described by using VDM-SL. VDM-SL is a popular formal method used for the specification of software and hardware systems. Formal methods are not only applicable for creating and verifying specifications of mission critical systems, but also for the business and commercial systems, we can use formal methods. This paper is a motivation to use formal methods for creating specifications, validating and verifying specifications of software systems. In this way, development time, testing and maintenance cost in building software is greatly reduced." @default.
- W2280145101 created "2016-06-24" @default.
- W2280145101 creator A5022909686 @default.
- W2280145101 creator A5033922882 @default.
- W2280145101 creator A5040460695 @default.
- W2280145101 date "2015-12-01" @default.
- W2280145101 modified "2023-09-22" @default.
- W2280145101 title "Specifying electronic health system with vienna development method specification language" @default.
- W2280145101 cites W1497150972 @default.
- W2280145101 cites W1525223041 @default.
- W2280145101 cites W1592005626 @default.
- W2280145101 cites W1600524774 @default.
- W2280145101 cites W1657308695 @default.
- W2280145101 cites W1950768068 @default.
- W2280145101 cites W1988166986 @default.
- W2280145101 cites W1996839493 @default.
- W2280145101 cites W2005866038 @default.
- W2280145101 cites W2029720348 @default.
- W2280145101 cites W2030452150 @default.
- W2280145101 cites W2058301506 @default.
- W2280145101 cites W2075908882 @default.
- W2280145101 cites W2086908167 @default.
- W2280145101 cites W2099103430 @default.
- W2280145101 cites W2114754412 @default.
- W2280145101 cites W2125673184 @default.
- W2280145101 cites W2134466149 @default.
- W2280145101 cites W2134497328 @default.
- W2280145101 cites W2138939294 @default.
- W2280145101 cites W2139263294 @default.
- W2280145101 cites W2151055191 @default.
- W2280145101 cites W2167905460 @default.
- W2280145101 cites W4240354288 @default.
- W2280145101 cites W2326316985 @default.
- W2280145101 doi "https://doi.org/10.1109/nsec.2015.7396346" @default.
- W2280145101 hasPublicationYear "2015" @default.
- W2280145101 type Work @default.
- W2280145101 sameAs 2280145101 @default.
- W2280145101 citedByCount "3" @default.
- W2280145101 countsByYear W22801451012018 @default.
- W2280145101 countsByYear W22801451012021 @default.
- W2280145101 countsByYear W22801451012023 @default.
- W2280145101 crossrefType "proceedings-article" @default.
- W2280145101 hasAuthorship W2280145101A5022909686 @default.
- W2280145101 hasAuthorship W2280145101A5033922882 @default.
- W2280145101 hasAuthorship W2280145101A5040460695 @default.
- W2280145101 hasConcept C102780508 @default.
- W2280145101 hasConcept C111498074 @default.
- W2280145101 hasConcept C115903868 @default.
- W2280145101 hasConcept C116253237 @default.
- W2280145101 hasConcept C146072743 @default.
- W2280145101 hasConcept C186846655 @default.
- W2280145101 hasConcept C199360897 @default.
- W2280145101 hasConcept C201677973 @default.
- W2280145101 hasConcept C2777904410 @default.
- W2280145101 hasConcept C33923547 @default.
- W2280145101 hasConcept C41008148 @default.
- W2280145101 hasConcept C45357846 @default.
- W2280145101 hasConcept C529173508 @default.
- W2280145101 hasConcept C75606506 @default.
- W2280145101 hasConcept C84651959 @default.
- W2280145101 hasConcept C90069079 @default.
- W2280145101 hasConcept C94375191 @default.
- W2280145101 hasConceptScore W2280145101C102780508 @default.
- W2280145101 hasConceptScore W2280145101C111498074 @default.
- W2280145101 hasConceptScore W2280145101C115903868 @default.
- W2280145101 hasConceptScore W2280145101C116253237 @default.
- W2280145101 hasConceptScore W2280145101C146072743 @default.
- W2280145101 hasConceptScore W2280145101C186846655 @default.
- W2280145101 hasConceptScore W2280145101C199360897 @default.
- W2280145101 hasConceptScore W2280145101C201677973 @default.
- W2280145101 hasConceptScore W2280145101C2777904410 @default.
- W2280145101 hasConceptScore W2280145101C33923547 @default.
- W2280145101 hasConceptScore W2280145101C41008148 @default.
- W2280145101 hasConceptScore W2280145101C45357846 @default.
- W2280145101 hasConceptScore W2280145101C529173508 @default.
- W2280145101 hasConceptScore W2280145101C75606506 @default.
- W2280145101 hasConceptScore W2280145101C84651959 @default.
- W2280145101 hasConceptScore W2280145101C90069079 @default.
- W2280145101 hasConceptScore W2280145101C94375191 @default.
- W2280145101 hasLocation W22801451011 @default.
- W2280145101 hasOpenAccess W2280145101 @default.
- W2280145101 hasPrimaryLocation W22801451011 @default.
- W2280145101 hasRelatedWork W1500211907 @default.
- W2280145101 hasRelatedWork W1509154515 @default.
- W2280145101 hasRelatedWork W1564005433 @default.
- W2280145101 hasRelatedWork W1801366570 @default.
- W2280145101 hasRelatedWork W1881220596 @default.
- W2280145101 hasRelatedWork W2049993111 @default.
- W2280145101 hasRelatedWork W2145025660 @default.
- W2280145101 hasRelatedWork W2149398290 @default.
- W2280145101 hasRelatedWork W2171674700 @default.
- W2280145101 hasRelatedWork W2204176978 @default.
- W2280145101 isParatext "false" @default.
- W2280145101 isRetracted "false" @default.
- W2280145101 magId "2280145101" @default.
- W2280145101 workType "article" @default.