Matches in SemOpenAlex for { <https://semopenalex.org/work/W2495087366> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2495087366 endingPage "18" @default.
- W2495087366 startingPage "1" @default.
- W2495087366 abstract "In the past, attempts to convince practising software engineers to adopt formal methods of software development were generally unsuccessful. The methods were too difficult to learn and use, provided inadequate tool support and did not integrate well into the software development process. In short, they could only be used effectively by the gods who created them! Are we in a better position today? Recent advances in and experience with specification techniques and automated model checking have demonstrated the utility of these techniques. In this paper we outline one such effort which is specifically intended to facilitate modelling as part of the software process, and to try to make model specification and model checking accessible to mere mortals." @default.
- W2495087366 created "2016-08-23" @default.
- W2495087366 creator A5017633789 @default.
- W2495087366 creator A5046484952 @default.
- W2495087366 date "1999-01-01" @default.
- W2495087366 modified "2023-09-26" @default.
- W2495087366 title "Modeling for Mere Mortals" @default.
- W2495087366 cites W1489800325 @default.
- W2495087366 cites W1545438004 @default.
- W2495087366 cites W1593450699 @default.
- W2495087366 cites W1965498649 @default.
- W2495087366 cites W1976570600 @default.
- W2495087366 cites W2013658284 @default.
- W2495087366 cites W2024613742 @default.
- W2495087366 cites W2059496390 @default.
- W2495087366 cites W2115309705 @default.
- W2495087366 cites W2119016176 @default.
- W2495087366 cites W2120521925 @default.
- W2495087366 cites W2128449323 @default.
- W2495087366 cites W4243729314 @default.
- W2495087366 cites W4254439254 @default.
- W2495087366 cites W4296471858 @default.
- W2495087366 doi "https://doi.org/10.1007/3-540-49059-0_1" @default.
- W2495087366 hasPublicationYear "1999" @default.
- W2495087366 type Work @default.
- W2495087366 sameAs 2495087366 @default.
- W2495087366 citedByCount "1" @default.
- W2495087366 crossrefType "book-chapter" @default.
- W2495087366 hasAuthorship W2495087366A5017633789 @default.
- W2495087366 hasAuthorship W2495087366A5046484952 @default.
- W2495087366 hasBestOaLocation W24950873661 @default.
- W2495087366 hasConcept C110251889 @default.
- W2495087366 hasConcept C115903868 @default.
- W2495087366 hasConcept C180152950 @default.
- W2495087366 hasConcept C199360897 @default.
- W2495087366 hasConcept C2777904410 @default.
- W2495087366 hasConcept C41008148 @default.
- W2495087366 hasConcept C529173508 @default.
- W2495087366 hasConcept C75606506 @default.
- W2495087366 hasConcept C98045186 @default.
- W2495087366 hasConceptScore W2495087366C110251889 @default.
- W2495087366 hasConceptScore W2495087366C115903868 @default.
- W2495087366 hasConceptScore W2495087366C180152950 @default.
- W2495087366 hasConceptScore W2495087366C199360897 @default.
- W2495087366 hasConceptScore W2495087366C2777904410 @default.
- W2495087366 hasConceptScore W2495087366C41008148 @default.
- W2495087366 hasConceptScore W2495087366C529173508 @default.
- W2495087366 hasConceptScore W2495087366C75606506 @default.
- W2495087366 hasConceptScore W2495087366C98045186 @default.
- W2495087366 hasLocation W24950873661 @default.
- W2495087366 hasOpenAccess W2495087366 @default.
- W2495087366 hasPrimaryLocation W24950873661 @default.
- W2495087366 hasRelatedWork W1506981073 @default.
- W2495087366 hasRelatedWork W1967535316 @default.
- W2495087366 hasRelatedWork W2034731048 @default.
- W2495087366 hasRelatedWork W2065956892 @default.
- W2495087366 hasRelatedWork W2072171199 @default.
- W2495087366 hasRelatedWork W2121507724 @default.
- W2495087366 hasRelatedWork W2138281007 @default.
- W2495087366 hasRelatedWork W2234356168 @default.
- W2495087366 hasRelatedWork W2495087366 @default.
- W2495087366 hasRelatedWork W4250810083 @default.
- W2495087366 isParatext "false" @default.
- W2495087366 isRetracted "false" @default.
- W2495087366 magId "2495087366" @default.
- W2495087366 workType "book-chapter" @default.