03419nam a22004217a 4500 944607 110927q2000 xxe ||| |||| 00| 0 eng d PPN155194380 9783540491330 (PDF) eng 670.427 004 Lewerentz, Claus, 19..- Formal development of reactive systems : case study production cell [edited by] Claus Lewerentz, Thomas Lindner. Berlin [etc.] : Springer. Cham : Springer Nature, [20..]. Lecture notes in computer science 891 1611-3349 Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) Task description -- Comparative survey -- CSL -- Esterel -- Lustre -- Signal -- Statecharts -- TLT -- SDL -- Focus -- Spectrum -- KIV -- Tatzelwurm -- HTTDs and HOL -- Raise -- Deductive synthesis -- Symbolic Timing Diagrams -- LCM and MCM -- Modula-3 -- TROLL light -- Simulation. Accès en ligne pour les établissements français bénéficiaires des licences nationales Accès soumis à abonnement pour tout autre établissement Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, particularly in areas where failure of software would result in injury to people or, at best, significant loss of money. By analyzing the benefits and explaining the use and limitations of formal methods on a sample basis, this book provides a roadmap for the selection and application of appropriate approaches and thus helps in putting formal methods into industrial use. Génie logiciel Informatique Langages de programmation Ordinateurs Logiciels Développement Ingénierie assistée par ordinateur Lindner, Thomas, 1905- pbd 031748821 Formal development of reactive systems case study production cell Claus Lewerentz, Thomas Lindner, eds Berlin Springer-Verlag 1995 1 vol. (XI-394 p.) Lecture notes in computer science 3-540-58867-1 Formal Development of Reactive Systems Texte imprimé 9783662184691 PDF https://doi.org/10.1007/3-540-58867-1 Accès sur la plateforme de l'éditeur https://revue-sommaire.istex.fr/ark:/67375/8Q1-4RCNLB6G-K Accès sur la plateforme Istex 452349901:747918163 https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-58867-1 Accès Université d'Orléans 180339901:750930721 https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-58867-1 Accès INSA CVL 944607 Livre numérique Ressource numérique INSA ENSA 0/Bibliothèque numérique/ 1/Bibliothèque numérique/Autre ressource numérique/