03398nam 2200493 450 991046693320332120200520144314.02-919694-60-X(CKB)3780000000095510(MiAaPQ)EBC5336188(PPN)191076783(Au-PeEL)EBL5336188(CaPaEBR)ebr11540707(OCoLC)1030818249(FRCAIRNINFO)FRCAIRNINFO-EDMAT_VAREN_2012_01(EXLCZ)99378000000009551020190112d2016 uy 0freurcnu||||||||txtrdacontentcrdamediacrrdacarrierThéorie, réalité, modèle épistémologie des théories et des modèles face au réalisme dans les sciences /Franck VarenneParis :Éditions Matériologiques,[2016]©20161 online resource (262 pages)Collection Sciences & Philosophie2-919694-29-4 Dans cet ouvrage, Franck Varenne pose la question du réalisme scientifique, essentiellement dans sa forme contemporaine, et ce jusqu'aux années 1980. Il s'est donné pour cela la contrainte de focaliser l'attention sur ce que devenaient sa formulation et les réponses diverses qu'on a pu lui apporter en réaction spécifique à l'évolution parallèle qu'ont subie les notions de théories et surtout de modèles dans les sciences, à la même époque. Même si, bien sûr, on ne peut pas attribuer le considérable essor des modèles au XXe ?siècle au projet qu'auraient eu les scientifiques de régler cette question, en grande partie philosophique, du réalisme – car les modèles scientifiques ont bien d'autres fonctions et ils proviennent de bien d'autres demandes techniques, cognitives et sociales –, son choix épistémologique a consisté à suivre la littérature contemporaine désormais classique, tant scientifique que philosophique, sur les théories puis sur les modèles afin d'une part, d'en rapporter l'évolution générale, mais, d'autre part aussi, afin de l'interroger de proche en proche, et systématiquement, sur ce qu'elle entend à chaque fois réévaluer ou remettre en débat au moyen de cette question persistante du réalisme et de la réalité en science. Au-delà de l'enquête historique, cette étude se révèle donc également comparative. Elle présente l'intérêt de mettre en évidence des similitudes de forme remarquables (identités, symétries, inversions, déplacements) entre des séquences argumentatives produites par des auteurs différents, dans des contextes distincts, au sujet de cette capacité qu'aurait – ou non – la science à rendre véritablement compte de la réalité.Avant-propos Introduction Partie 1. Théorie et réalité Partie 2. Modèle et réalité Conclusion. Feuilletages, recouvrements et iconoclasmes Glossaire Bibliographie Collection "Sciences & philosophie."RealismSciencePhilosophyElectronic books.Realism.SciencePhilosophy.149.2Varenne Franck1041056MiAaPQMiAaPQMiAaPQBOOK9910466933203321Théorie, réalité, modèle2464332UNINA04362nam 22007335 450 991029925240332120251116134959.03-319-17112-710.1007/978-3-319-17112-8(CKB)3710000000434132(EBL)2120556(OCoLC)911037352(SSID)ssj0001525189(PQKBManifestationID)11869201(PQKBTitleCode)TC0001525189(PQKBWorkID)11485259(PQKB)10364388(DE-He213)978-3-319-17112-8(MiAaPQ)EBC2120556(PPN)186400993(EXLCZ)99371000000043413220150612d2015 u| 0engur|n|---|||||txtccrCorrect Software in Web Applications and Web Services /edited by Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger1st ed. 2015.Cham :Springer International Publishing :Imprint: Springer,2015.1 online resource (345 p.)Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria,0943-853XDescription based upon print version of record.3-319-17111-9 Includes bibliographical references.Formal modelling and verification of transactional web services composition. A refinement and proof approach with Event-B.-Towards a Model of Services based on Co-creation, Abstraction and Rights Distribution -- Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications -- A Formal Model of Client-Cloud Interaction -- W*H: The Conceptual Model for Services -- Monitoring of Client-Cloud Interaction -- Formal Reliability Models for Web Services -- What Constitutes a Service on the Web? -- Co-Design of Web Information Systems.The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they have succeeded; identifying how rigorous software engineering methods can be exploited to develop suitable web applications; and at developing a European-scale research agenda combining theory, methods and tools that would lead to suitable web applications with the potential to implement systems for computation in the public domain.Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria,0943-853XSoftware engineeringComputer science—MathematicsComputer scienceMathematicsAlgorithmsSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Mathematical Applications in Computer Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/M13110Algorithmshttps://scigraph.springernature.com/ontologies/product-market-codes/M14018Software engineering.Computer science—Mathematics.Computer scienceMathematics.Algorithms.Software Engineering/Programming and Operating Systems.Mathematical Applications in Computer Science.Algorithms.004004.0151005.1518.1Thalheim Bernhardedthttp://id.loc.gov/vocabulary/relators/edtSchewe Klaus-Dieteredthttp://id.loc.gov/vocabulary/relators/edtPrinz Andreasedthttp://id.loc.gov/vocabulary/relators/edtBuchberger Brunoedthttp://id.loc.gov/vocabulary/relators/edtBOOK9910299252403321Correct Software in Web Applications and Web Services2512531UNINA