LEADER 02971nam  2200625 a 450 
001 9910139052403321
005 20230725222119.0
010   $a1-118-61437-2
010   $a1-118-56189-9
010   $a1-299-31507-0
010   $a1-118-61438-0
035   $a(CKB)2560000000100593
035   $a(EBL)1143602
035   $a(OCoLC)830161712
035   $a(SSID)ssj0000833236
035   $a(PQKBManifestationID)11443460
035   $a(PQKBTitleCode)TC0000833236
035   $a(PQKBWorkID)10935584
035   $a(PQKB)10247824
035   $a(OCoLC)841167898
035   $a(MiAaPQ)EBC1143602
035   $a(Au-PeEL)EBL1143602
035   $a(CaPaEBR)ebr10671509
035   $a(CaONFJC)MIL462757
035   $a(EXLCZ)992560000000100593
100   $a20120423d2012      uy             0
101 0 $aeng
135   $aurcn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdamedia
200 00$aFormal method $eindustrial use from model to the code /$feditor, Jean-Louis Boulanger
210  1$aLondon :$cISTE ;$aHoboken, N.J. :$cWiley,$d2012.
215   $a1 online resource (376 pages)
225 1 $aIndustrial implementation of formal methods series
311 0 $a1-84821-362-X 
320   $aIncludes bibliographical references and index.
327   $aFrom classic languages to formal methods -- Formal method in railway, the first complex application : SAET-METEOR -- B method and B tools -- Model-based design using Simulink : modeling, code generation, verification, and validation -- Proof of global properties with the aid of the Simulink Design verifier proof tool -- SCADE : implementation and applications -- GATel : a V & V platform for scade models -- Control build.
330   $aAlthough formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980's. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990's before formal methods or the B method could be implemented in industrial applications or be usable in an industrial setting.Current literature only gives students and researchers very general overviews of formal methods. The purpose of this book is to present feedback from experience on the use of "formal method
410  0$aIndustrial implementation of formal methods series.
606   $aRailroads$xManagement$xData processing
606   $aFormal methods (Computer science)
606   $aApplication software$xDevelopment
615  0$aRailroads$xManagement$xData processing.
615  0$aFormal methods (Computer science)
615  0$aApplication software$xDevelopment.
676   $a385.0285/53
701   $aBoulanger$b Jean-Louis$0847395
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910139052403321
996   $aFormal method$91980559
997   $aUNINA