LEADER 05426nam  22007335  450 
001 996203623103316
005 20200702194241.0
010   $a3-319-06200-X
024 7 $a10.1007/978-3-319-06200-6
035   $a(CKB)3710000000106754
035   $a(DE-He213)978-3-319-06200-6
035   $a(SSID)ssj0001204990
035   $a(PQKBManifestationID)11639967
035   $a(PQKBTitleCode)TC0001204990
035   $a(PQKBWorkID)11181357
035   $a(PQKB)10660264
035   $a(MiAaPQ)EBC3093596
035   $a(PPN)178320412
035   $a(EXLCZ)993710000000106754
100   $a20140423d2014      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aNASA Formal Methods$b[electronic resource] $e6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings /$fedited by Julia M. Badger, Kristin Yvonne Rozier
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (XXVI, 360 p. 114 illus.) 
225 1 $aProgramming and Software Engineering ;$v8430
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-06199-2 
327   $aModel checking -- Theorem proving -- Static analysis -- Model-based development -- Runtime monitoring -- Formal approaches to fault tolerance -- Applications of formal methods to aerospace systems -- Formal analysis of cyber-physical systems, including hybrid and embedded systems -- Formal methods in systems engineering -- Modeling -- Requirements and specifications -- Requirements generation -- Specification debugging -- Formal validation of specifications -- Use of formal methods in safety cases -- Use of formal methods in human-machine interaction analysis -- Formal methods for parallel hardware implementations -- Use of formal methods in automated software engineering and testing -- Correct-by-design -- Design for verification, and property based design techniques -- Techniques and algorithms for scaling formal methods, e.g., abstraction and symbolic methods -- Compositional techniques -- Parallel and distributed techniques.- Application of formal methods to emerging technologies.
330   $aThis book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal Methods, NFM 2014, held in Houston, TX, USA, April 29 ? May 1, 2014. The 20 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 107 submissions. The topics include model checking, theorem proving, static analysis, model-based development, runtime monitoring, formal approaches to fault tolerance, applications of formal methods to aerospace systems, formal analysis of cyber-physical systems, including hybrid and embedded systems, formal methods in systems engineering, modeling, requirements and specifications, requirements generation, specification debugging, formal validation of specifications, use of formal methods in safety cases, use of formal methods in human-machine interaction analysis, formal methods for parallel hardware implementations, use of formal methods in automated software engineering and testing, correct-by-design, design for verification, and property based design techniques, techniques and algorithms for scaling formal methods, e.g., abstraction and symbolic methods, compositional techniques, parallel and distributed techniques, and application of formal methods to emerging technologies.
410  0$aProgramming and Software Engineering ;$v8430
606   $aSoftware engineering
606   $aProgramming languages (Electronic computers)
606   $aOperating systems (Computers)
606   $aComputer logic
606   $aComputer programming
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
615  0$aSoftware engineering.
615  0$aProgramming languages (Electronic computers).
615  0$aOperating systems (Computers).
615  0$aComputer logic.
615  0$aComputer programming.
615 14$aSoftware Engineering.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aOperating Systems.
615 24$aLogics and Meanings of Programs.
615 24$aSoftware Engineering/Programming and Operating Systems.
615 24$aProgramming Techniques.
676   $a005.1
702   $aBadger$b Julia M$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRozier$b Kristin Yvonne$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996203623103316
996   $aNASA Formal Methods$91898868
997   $aUNISA