| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910724326403321 |
|
|
Autore |
Frobert Ludovic |
|
|
Titolo |
Vers l'égalité, ou au-delà? : Essai sur l'aube du socialisme / / Ludovic Frobert |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Lyon : , : ENS Éditions, , 2021 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (202 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
Comment le socialisme doit-il articuler les deux exigences qui l'ont toujours défini : « à chacun selon ses besoins » et « à chacun selon ses mérites » ? Ce court essai propose un retour aux origines. Dans l'une de ses belles formulations, Pierre Leroux écrivait, « le socialisme paraît, et l'aube du jour c'est 1830 ». Procédant ici de quelques portraits, ceux notamment de Louis Blanc et Constantin Pecqueur, de François-Vincent Raspail et de George Sand, cet essai signale comment en cette période de genèse, qui inventa même le terme de « socialisme », l'exigence du besoin fut considérée comme rectrice. Loin d'être nié, le mérite restait néanmoins associé à cette exigence. En ces temps déjà de premières déferlantes libérales, cette articulation originelle permit alors au socialisme de s'identifier d'abord, de résister ensuite et de créer enfin, tant dans le domaine des idées que dans celui des expérimentations, des voies nouvelles à l'émancipation et au progrès social, économique et politique. Cette option consistant à résolument situer le pari du socialisme au-delà de la seule égalité des chances, aussi rigoureusement définie soit-elle, méritera dès lors d'être rappelée et reconsidérée aujourd'hui. How should socialism articulate the two exigencies which have always defined it: "to each according to his needs" and "to each according to his merits"? This short essay proposes to look back at its origins. In one of his beautiful turns of phrase, Pierre Leroux wrote, "Socialism appears, and the dawn of day is 1830". Proceeding here from a few portraits, notably those of Louis Blanc and |
|
|
|
|
|
|
|
|
|
|
|
|
|
Constantin Pecqueur, François-Vincent Raspail and George Sand, this essay shows how in this period of genesis, which even invented the term "socialism", the exigency of need was seen as the guiding principle. Far from being denied, merit nevertheless remained associated with this exigency. Already in those times of the first liberal waves, this original articulation allowed socialism to. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910143882103321 |
|
|
Titolo |
Abstract State Machines 2003: Advances in Theory and Practice : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings / / edited by Egon Börger, Angelo Gargantini, Elvinia Riccobene |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2003.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 436 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 2589 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computers |
Computer logic |
Computer science |
Software engineering |
Programming languages (Electronic computers) |
Logic, Symbolic and mathematical |
Theory of Computation |
Logics and Meanings of Programs |
Computer Science, general |
Software Engineering |
Programming Languages, Compilers, Interpreters |
Mathematical Logic and Formal Languages |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Invited Papers -- Software Testing Research and Practice -- Abstract State Processes -- Recent Advances in Refinement -- Partial Updates Exploration II -- Experiments with Test Case Generation and Runtime Analysis -- A Framework for Proving Contract-Equipped Classes -- Mobile UNITY Schemas for Agent Coordination -- UML and Concurrency -- Research Papers -- A Unified Formal Specification and Analysis of the New Java Memory Models -- Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines -- Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks -- Remarks on Turbo ASMs for Functional Equations and Recursion Schemes -- Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanism of UML State Machines -- The Hidden Computation Steps of Turbo Abstract State Machines -- Using Spin to Generate Tests from ASM Specifications -- Interfacing ASM with the MDG Tool -- ASMs versus Natural Semantics: A Comparison with New Insights -- Quantum Computing and Abstract State Machines -- Consistent Integration for Sequential Abstract State Machines -- Deciding the Verification Problem for Abstract State Machines -- An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions -- Privacy, Abstract Encryption and Protocols: An ASM Model - Part I -- A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines -- Extended Abstracts -- Using AsmL for Runtime Verification -- Modeling Information Services on the Basis of ASM Semantics -- Designing the Parlay Call-Control Using ASMs -- Test Case Generation from AsmL Specifications -- Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education -- Using ASM Specifications for Compiler Testing -- ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction -- AsmL Specification of a Ptolemy II Scheduler -- ASM Specification of Database Systems -- The Computable Kernel of ASM -- A Non-standard Approach to Operational Semantics for Timed Systems -- Parallelism versus Nondeterminism — On the Semantics of Abstract State Machines. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March 2003. The 16 revised full papers presented together with 8 invited papers and 12 abstracts were carefully reviewed and selected for inclusion in the book. The papers reflect the state of the art of the abstract state machine method for the design and analysis of complex software/hardware systems. Besides theoretical results and methodological progress, application in various fields are studied as well. |
|
|
|
|
|
|
|
| |