Matches in SemOpenAlex for { <https://semopenalex.org/work/W158982258> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W158982258 abstract "Today we live in a world where computers and software are ubiquitous. In effect they run our lives -- with applications in industry, business, education, finance and a lot more. In the short history of computers and software there have been several known near catastrophes including the Three Mile Island Nuclear Power Station, the North American Air Defense System (NORAD), Air Traffic Control and airplane accidents, The London Ambulance System just to name a few. Many methods within the framework of Software Engineering have been developed to facilitate both the programming and management of these systems. Some are general rules of thumb while others are more formal and rigorous. In general Software Engineering courses have focused less on formal methods and more on general concepts. We describe a course that incorporates more formal methods without excluding the more typical general concepts. These will be highlighted by presentation of case studies illustrating human errors and general good design and maintenance methods to follow. A significant focus of the course, though, will be formal methods. The course will include three major components: 1) The continued deep study and documentation of complex systems failures, particularly those which involve computer software. 2) The study of software development methods and tools which have been (or may be) used to design and develop complex systems (e.g. CMM, JelinskiMiranda, McCabe Complexity Measure) and 3) A group project involving the construction of a software system using the tools studied (above) for the purpose of design, diagnosis, security and prevention of failures in complex systems, e.g. in medical information systems, transportation systems, etc." @default.
- W158982258 created "2016-06-24" @default.
- W158982258 creator A5053465207 @default.
- W158982258 creator A5076638711 @default.
- W158982258 creator A5080379553 @default.
- W158982258 date "2005-01-01" @default.
- W158982258 modified "2023-09-27" @default.
- W158982258 title "Teaching Formal Methods in Software Engineering" @default.
- W158982258 cites W1588904986 @default.
- W158982258 cites W1936022305 @default.
- W158982258 cites W1965482737 @default.
- W158982258 cites W2000117114 @default.
- W158982258 cites W2062063498 @default.
- W158982258 cites W609234734 @default.
- W158982258 cites W617496490 @default.
- W158982258 hasPublicationYear "2005" @default.
- W158982258 type Work @default.
- W158982258 sameAs 158982258 @default.
- W158982258 citedByCount "0" @default.
- W158982258 crossrefType "journal-article" @default.
- W158982258 hasAuthorship W158982258A5053465207 @default.
- W158982258 hasAuthorship W158982258A5076638711 @default.
- W158982258 hasAuthorship W158982258A5080379553 @default.
- W158982258 hasConcept C115903868 @default.
- W158982258 hasConcept C126838900 @default.
- W158982258 hasConcept C149091818 @default.
- W158982258 hasConcept C199360897 @default.
- W158982258 hasConcept C2777601897 @default.
- W158982258 hasConcept C2777904410 @default.
- W158982258 hasConcept C41008148 @default.
- W158982258 hasConcept C529173508 @default.
- W158982258 hasConcept C71924100 @default.
- W158982258 hasConcept C75606506 @default.
- W158982258 hasConceptScore W158982258C115903868 @default.
- W158982258 hasConceptScore W158982258C126838900 @default.
- W158982258 hasConceptScore W158982258C149091818 @default.
- W158982258 hasConceptScore W158982258C199360897 @default.
- W158982258 hasConceptScore W158982258C2777601897 @default.
- W158982258 hasConceptScore W158982258C2777904410 @default.
- W158982258 hasConceptScore W158982258C41008148 @default.
- W158982258 hasConceptScore W158982258C529173508 @default.
- W158982258 hasConceptScore W158982258C71924100 @default.
- W158982258 hasConceptScore W158982258C75606506 @default.
- W158982258 hasLocation W1589822581 @default.
- W158982258 hasOpenAccess W158982258 @default.
- W158982258 hasPrimaryLocation W1589822581 @default.
- W158982258 hasRelatedWork W1551001593 @default.
- W158982258 hasRelatedWork W172585632 @default.
- W158982258 hasRelatedWork W1799073332 @default.
- W158982258 hasRelatedWork W1914136404 @default.
- W158982258 hasRelatedWork W1970799501 @default.
- W158982258 hasRelatedWork W1993982083 @default.
- W158982258 hasRelatedWork W2075007000 @default.
- W158982258 hasRelatedWork W2075600452 @default.
- W158982258 hasRelatedWork W2075680193 @default.
- W158982258 hasRelatedWork W2076269938 @default.
- W158982258 hasRelatedWork W2118754149 @default.
- W158982258 hasRelatedWork W2466286531 @default.
- W158982258 hasRelatedWork W2475609855 @default.
- W158982258 hasRelatedWork W2479060487 @default.
- W158982258 hasRelatedWork W2592760815 @default.
- W158982258 hasRelatedWork W2608817883 @default.
- W158982258 hasRelatedWork W2787470873 @default.
- W158982258 hasRelatedWork W649674925 @default.
- W158982258 hasRelatedWork W744740015 @default.
- W158982258 hasRelatedWork W2100059567 @default.
- W158982258 isParatext "false" @default.
- W158982258 isRetracted "false" @default.
- W158982258 magId "158982258" @default.
- W158982258 workType "article" @default.