LEADER 04717nam 22006855 450 001 996465908603316 005 20200721090138.0 010 $a3-642-00255-2 024 7 $a10.1007/978-3-642-00255-7 035 $a(CKB)1000000000714662 035 $a(SSID)ssj0000318348 035 $a(PQKBManifestationID)11266633 035 $a(PQKBTitleCode)TC0000318348 035 $a(PQKBWorkID)10308732 035 $a(PQKB)10550048 035 $a(DE-He213)978-3-642-00255-7 035 $a(MiAaPQ)EBC3063944 035 $a(PPN)132874830 035 $a(EXLCZ)991000000000714662 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aIntegrated Formal Methods$b[electronic resource] $e7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings /$fedited by Michael Leuschel, Heike Wehrheim 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (X, 367 p.) 225 1 $aProgramming and Software Engineering ;$v5423 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-00254-4 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Developing Topology Discovery in Event-B -- Decomposition Structures for Event-B -- Taming the Unbounded for Hardware Synthesis -- Contributed Papers -- Verifying UML/OCL Operation Contracts -- Property Specifications for Workflow Modelling -- Formal Verification Based on Guided Random Walks -- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format -- Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B -- CSP with Hierarchical State -- Predicate Abstraction in a Program Logic Calculus -- Mechanised Translation of Control Law Diagrams into Circus -- Realizability of Choreographies Using Process Algebra Encodings -- Modelling Divergence in Relational Concurrent Refinement -- SAL-Based Symbolic Scheduling in Time-Triggered Networks -- Incremental Reasoning for Multiple Inheritance -- Model Checking LTL Formulae in RAISE with FDR -- An Introduction to Grammar Convergence -- Application of Graph Transformation in Verification of Dynamic Systems -- Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays -- Challenges in the Specification of Full Contracts -- Partial Order Reduction for State/Event LTL -- Dynamic Path Reduction for Software Model Checking -- Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions -- Decompositional Petri Net Reductions. 330 $aThis book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009. The 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers address the whole spectrum of integrated formal methods, ranging from formal and semiformal modelling notations, semantics, verification, refinement, model transformations to type systems, logics, tools and case studies. 410 0$aProgramming and Software Engineering ;$v5423 606 $aComputer logic 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer programming 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 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 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 615 0$aComputer logic. 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer programming. 615 14$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aProgramming Techniques. 676 $a005.1015113 702 $aLeuschel$b Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWehrheim$b Heike$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on Integrated Formal Methods 906 $aBOOK 912 $a996465908603316 996 $aIntegrated Formal Methods$9772444 997 $aUNISA LEADER 11992nam 2200553 450 001 9910812993603321 005 20220518101658.0 010 $a2-8027-5014-3 035 $a(CKB)3790000000018212 035 $a(EBL)2085021 035 $a(MiAaPQ)EBC2085021 035 $a(Au-PeEL)EBL2085021 035 $a(OCoLC)914151892 035 $a(PPN)193741091 035 $a(EXLCZ)993790000000018212 100 $a20220518d2015 uy 0 101 0 $afre 135 $aur|n|---||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aManuel de droit romain /$fPatrick Vassart 210 1$aBruxelles :$cBruylant,$d[2015] 210 4$d©2015 215 $a1 online resource (801 p.) 300 $aDescription based upon print version of record. 311 $a2-8027-4723-1 327 $aCouverture -- Titre -- Copyright -- Avant-propos -- Sommaire -- Introduction -- Section 1 - Le droit romain - droits objectif, subjectif ou positif -- Section 2 - Le droit romain et son histoire -- 1.De?finition du droit romain -- 2.Limites chronologiques du droit romain -- A.Les origines de Rome -- B.Institutions re?publicaines -- C.Naissance du droit e?crit : la Loi des XII Tables -- D.De la Loi des XII Tables au ius Flavianum -- E.Les grandes conque?tes et la fin de la pe?riode de l'ancien droit -- F.Proce?dure formulaire et e?mergence du droit classique -- G.Dernier sie?cle de la Re?publique -- H.Le principat -- I.Sources du droit sous le principat -- J.Le iiie sie?cle du principat -- K.La monarchie absolue -- L.Empires d'Orient et d'Occident -- M.Le droit romain en Occident, de la chute de Rome a? Justinien -- N.Justinien et le Corpus iuris ciuilis -- O.Cheminement du droit romain en Occident -- Section 3 - Distinction fondamentale : le droit public et le droit prive? -- 1.Le droit public -- 2.Le droit prive? -- A.Re?ception pratique -- B.Re?ception scientifique -- 3.Plan de l'enseignement du droit romain -- Partie I - Les personnes -- Section 1 - Notion -- Section 2 - Capacite? de jouissance et capacite? d'exercice -- Section 3 - La personnalite? en droit romain -- 1.Status libertatis ou liberte? -- 2.Status ciuitatis ou citoyennete? -- 3.Status familiae : la famille romaine -- Section 4 - De?but et fin de la personnalite? en droit romain -- Section 5 - Capitis deminutio ou re?duction de personnalite? -- Section 6 - Capacite? d'exercice -- Section 7 - Capacite? des personnes morales -- Section 8 - Les droits subjectifs -- 1.Trois classifications au sein des droits subjectifs civils -- A.Selon la nature du droit -- B.Selon le crite?re de l'opposabilite? aux tiers -- C.Droits patrimoniaux ou extra-patrimoniaux -- 2.La titularisation des droits subjectifs. 327 $aA.Le rapport entre le droit objectif et les droits subjectifs -- B.L'acte juridique et le fait juridique -- Partie II - Les biens -- Section 1 - Notion -- 1.Les biens au sens large -- 2.Les biens au sens e?troit -- Section 2 - Le patrimoine -- 1.Notion -- 2.Inte?re?t de la notion de patrimoine -- Section 3 - Classifications des biens -- 1.Classification fondamentale en droit romain : biens corporels et biens incorporels -- A.Notion -- B.Inte?re?t pratique de la distinction -- 2.Deuxie?me classification : biens approprie?s/biens non approprie?s, mais appropriables -- A.Notion -- B.Inte?re?t pratique de la distinction -- 3.Troisie?me classification : biens consomptibles et biens non consomptibles -- A.Notion -- B.Inte?re?t pratique de la distinction -- 4.Quatrie?me classification : biens librement interchangeables et biens non librement interchangeables -- A.Notion -- B.Inte?re?ts pratiques de la distinction -- 5.Cinquie?me classification : biens meubles et biens immeubles -- A.Notion -- i) Biens immeubles (res immobiles ou res soli) -- ii) Biens meubles (res mobiles) -- B.Inte?re?ts pratiques de la distinction -- i) Distinction gage-hypothe?que -- ii) Publicite? foncie?re -- iii) Servitudes -- iv) Le?sion e?norme (laesio enormis) -- 6.Sixie?me classification : universalite?s ou choses singulie?res -- A.Notion -- B.Inte?re?t pratique de la distinction -- 7.Septie?me classification : biens principaux et biens accessoires -- A.Notion -- B.Inte?re?ts pratiques de la distinction -- 8.Huitie?me classification : biens divisibles et biens indivisibles -- A.Au sein des biens corporels -- i) Notion -- ii) Inte?re?t pratique de la distinction -- B.Au sein des biens incorporels -- i) Notion -- ii) Inte?re?ts pratiques de la distinction -- 9.Neuvie?me classification : biens dans le commerce et choses hors commerce -- A.Notion -- B.Inte?re?t pratique de la distinction. 327 $a10.- Dixie?me classification : res mancipi et res nec mancipi -- Partie III - Les droits re?els -- Section 1 - Introduction -- 1.Notion -- 2.E?nume?ration -- 3.Classification -- Section 2 - La possession et la de?tention -- 1.Notion -- A.Possession -- B.Possession s.l. et possession s.s. -- 2.La possession et la de?tention -- A.E?le?ments constitutifs de la possession -- B.De?tention -- 3.Caracte?res et vices de la possession -- A.Continuite? et discontinuite? -- B.Paisible ou violente -- i) Publicite? et clandestinite? -- ii) E?quivoque - absence d'e?quivoque -- 4.Effets de la possession -- A.Introduction : la notion de bonne foi -- B.E?nume?ration des effets de la possession -- 5.Acquisition, exercice et perte de la possession -- 6.L'interversion de titres - les traditions fictives -- 7.Les pre?somptions attache?es a? la possession -- 8.La jonction des possessions -- Section 3 - Le droit de proprie?te? -- 1.Notion -- 2.Caracte?ristiques ge?ne?rales -- 3.Restrictions au droit de proprie?te? -- A.Restriction ge?ne?rale : interdiction de l'abus de droit -- B.Restriction contemporaine d'origine jurisprudentielle : les troubles de voisinage -- C.Restrictions particulie?res d'origine le?gale -- D.Restrictions particulie?res d'origine conventionnelle -- 4.Modes d'acquisition du droit de proprie?te? -- A.Notion -- B.Les modes de?rive?s -- C.Les modes originaires -- 5.Extinction du droit de proprie?te? -- A.Extinction relative du droit de proprie?te? -- B.Extinction absolue du droit de proprie?te? -- 6.Sanctions du droit de proprie?te? -- A.Notion -- B.La revendication -- C.La mise en demeure -- i) Notion -- ii) Effets juridiques de la mise en demeure -- iii) L'action publicienne -- D.L'action ne?gatoire -- Section 4 - L'usufruit, l'usage, l'habitation -- 1.L'usufruit -- A.Notion -- B.Caracte?ristiques -- C.Modalite?s de l'usufruit -- D.Constitution de l'usufruit -- E.Droits et obligations des parties. 327 $aF.Extinction du droit d'usufruit -- G.Sanctions du droit d'usufruit -- 2.L'usage et l'habitation. (art. 625 a? 635 C.c.) -- A.Notion -- B.Caracte?ristiques de ces deux servitudes personnelles -- Section 5 - Les servitudes pre?diales -- 1.Notion -- A.Notion -- B.Conditions d'existence -- C.Caracte?ristiques -- D.Exemples de servitudes -- E.Classifications des servitudes -- 2.Constitution des servitudes -- A.Par titre -- B.Par prescription acquisitive -- C.Par destination du pe?re de famille -- 3.Extinction des servitudes -- 4.Sanctions du droit de servitude -- Section 6 - L'emphyte?ose et la superficie -- 1.Introduction -- 2.Notion -- 3.Caracte?ristiques -- 4.Constitution -- 5.Extinction -- Section 7 - Le gage et l'hypothe?que -- 1.Introduction -- 2.Le gage -- A.Notion -- i) De?finition -- ii) Terminologie -- iii) Caracte?ristiques -- B.Constitution -- C.Droits du cre?ancier gagiste -- i) Droit de re?tention -- ii) Droit d'exe?cution -- D.Obligations du cre?ancier gagiste -- i) Garder la chose en bon pe?re de famille -- ii) Ne pas se servir de la chose remise en gage (cf. art. 2082, al. 1er, C.c. ancien) -- iii) Restituer l'objet mis en gage si le de?biteur exe?cute ses obligations -- E.Extinction du droit de gage -- 3.L'hypothe?que (en grec : ?????????, soute?nement) -- A.Notion -- i) De?finition -- ii) Caracte?ristiques -- B.Constitution -- i) Par contrat -- ii) Par la loi -- iii) Par testament -- C.Droit et obligation du cre?ancier hypothe?caire -- i) Droit -- ii) Obligation -- D.Droit et obligation du de?biteur hypothe?caire -- i) Droit -- ii) Obligation -- E.Extinction du droit d'hypothe?que -- 4.Les privile?ges -- A.Introduction -- B.Les privile?ges -- i) Notion -- ii) E?volution -- iii) Espe?ces -- iv) Concours entre cre?anciers -- a) INTRODUCTION -- b) PROCE?DURES -- c) Re?partition de l'actif  entre les cre?anciers -- Partie IV - Les droits de cre?ance (les obligations). 327 $aSection 1 - Introduction -- 1.Notion -- 2.Caracte?ristiques -- 3.Sources -- A.Les contrats (contractus) -- B.Les quasi-contrats (quasi ex contractu) -- C.Les de?lits (delicta) -- D.Les quasi-de?litss (quasi ex delicto) -- E.La loi -- F.L'engagement par de?claration unilate?rale de volonte? et par acte unilate?ral -- 4.Classifications -- A.Selon la source -- B.Selon l'e?tendue -- C.Selon le contenu de l'obligation -- D.Selon les sanctions de l'obligation -- Section 2 - Ses sources des obligations -- 1.Les contrats : the?orie ge?ne?rale des contrats -- A.Notion -- B.Les grands principes du re?gime contractuel -- i) Le principe de l'autonomie de la volonte? -- a) NOTION -- ii) Le principe de la relativite? des contrats -- iii) Le principe du consensualisme -- iv) Le principe de la convention-loi -- v) Le principe de l'exe?cution de bonne foi -- C.Les classifications des contrats en fonction de sept crite?res diffe?rents : -- i) Premier crite?re : le mode de formation -- ii) Deuxie?me crite?re : l'autonomie d'existence -- iii) Troisie?me crite?re : la conse?cration ou non par le Code civil et les lois comple?mentaires -- iv) Quatrie?me crite?re : le caracte?re unilate?ral ou re?ciproque de l'engagement -- v) Cinquie?me crite?re : l'existence ou non d'une contre-prestation -- vi) Sixie?me crite?re : le caracte?re unique ou re?pe?titif de l'exe?cution du contrat -- vii) Septie?me crite?re : la prise en conside?ration de la personne du cocontractant, de l'intuitus personae -- D.La formation des contrats -- i) L'aspect statique -- ii) L'aspect dynamique -- E.Les effets des contrats -- i) Les effets internes des contrats -- ii) Les effets externes des contrats -- F.L'inexe?cution des contrats -- i) L'inexe?cution fautive -- ii) L'inexe?cution fortuite (casu) -- a) De?finition de la cause e?trange?re -- b) Espe?ces de cause e?trange?re -- c) conditions de reconnaissance de la cause e?trange?re. 327 $ad) la the?orie des risques. 330 $aCe Manuel se propose d'initier des e?tudiants en droit aux notions reme?more?es de la jeunesse de notre droit : le Droit romain, en particulier les normes dont il a irrigue? le droit prive? depuis plus de vingt-cinq sie?cles. Avec un seul parti-pris de me?thode : envisager la de?couverte comme une promenade de prospection arche?ologique a? travers le fe?cond champ gallo-romain du Code civil. 606 $aCivil law$xHistory 606 $aRoman law$xHistory 606 $aRoman law$xInfluence 615 0$aCivil law$xHistory. 615 0$aRoman law$xHistory. 615 0$aRoman law$xInfluence. 676 $a340.5609 700 $aVassart$b Patrick$01124807 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910812993603321 996 $aManuel de droit romain$94115933 997 $aUNINA