In order to harmonize the international private law and simplify situations of cross-border inheritance, EU has imposed a new inheritance regulation, Regulation (EU) No 650/2012 on jurisdiction, applicable law, recognition and enforcement of decisions and acceptance and enforcement of authentic instruments in matters of succession and on the creation of a European Certificate of Succession. This regulation governs, among other things, jurisdiction and applicable law in situations of inheritance. The important connecting factor in determining jurisdiction and applicable law is habitual residence. That is why it is important to determine where the deceased person has their habitual residence since the member states’ national regulations look different and thereby have different definitions and interpretations of the term habitual residence. The clarification of the term in the inheritance regulation is therefore important. The question is how the term should be interpreted and which criteria are necessary to acquire habitual residence. The habitual residence term is interpreted as autonomous in the inheritance regulation. This means that the term is interpreted uniformly within all EU member states regardless of the states’ national interpretation of the term. Many circumstances should be taken into consideration when making a determination of habitual residence, such as regularity and duration of the deceased’s presence in the state concerned, the conditions and reasons for that presence, family relationships and social life. These circumstances show where the deceased has their centre of interests and, consequently, also their habitual residence. Furthermore, an analysis is made of which effects the application of the domicile principle will have, instead of the principle of nationality regarding jurisdiction and applicable law, in the Swedish law system. Since the Swedish courts already apply Swedish international private law where the domicile term is used as well as EU-regulations where the domicile principle is applied, it can be assumed that the courts in Sweden will not face particular difficulties in applying the residence principle. / För att harmonisera den internationella privaträtten och förenkla situationer gällande gränsöverskridande arvsrättsliga frågor har EU infört en ny arvsförordning, Förordning (EU) nr 650/2012 av den 4 juli 2012 ”om behörighet, tillämplig lag, erkännande och verkställighet av domar samt godkännande och verkställighet av officiella handlingar i samband med arv och om inrättandet av ett europeiskt arvsintyg”. Denna förordning reglerar bland annat behörig domstol och tillämplig lag vid arvsrättsliga situationer. För att kunna avgöra vilken domstol som är behörig samt vilken lag som kan bli tillämplig är anknytningskriteriet ”hemvist” avgörande enligt arvsförordningen. Därför är det viktigt att kunna fastställa var den avlidne personen har sin hemvist då medlemstaternas nationella regleringar ser olika ut och därmed har olika definitioner och tolkningar av hemvistbegreppet. Att begreppet förtydligas och klargörs i arvsförordningen är därför viktigt. Frågan är hur begreppet ska tolkas och vilka kriterier som krävs för att förvärva hemvist. Hemvistbegreppet tolkas som autonomt i arvsförordningen. Detta innebär att begreppet tolkas enhetligt inom alla EU:s medlemsstater oberoende av hur staternas nationella tolkning av begreppet lyder. För att kunna göra en hemvistbedömning ska flera omständigheter beaktas såsom regelbundenhet och varaktighet vid vistelsen, vistelsens situation och syfte samt familjeförhållanden och sociala relationer. Dessa faktorer visar var den avlidne har sitt intressecentrum och således även sin hemvist. Vidare utreds vilka effekter hemvistprincipens tillämpande, istället för nationalitetsprincipen vid behörig domstol och lagval, får i svensk rätt. Eftersom svenska domstolar redan tillämpar svensk internationell privaträtt där hemvistbegreppet används samt EU-förordningar där hemvistprincipen tillämpas, kan det antas att domstolarna i Sverige inte kommer möta särskilda svårigheter vid hemvistprincipens tillämpande.

La famille a fortement évolué ces dernières décennies. Aux côtés de la famille traditionnelle, les schémas familiaux, devenus multiples, ont bouleversé l’équilibre juridique tel que prévu par le Code civil de 1804. Toutefois, l’enfant demeure au cœur de ces familles, car aujourd’hui plus que jamais, l’enfant fait famille. Si au fil des siècles la protection légale de l’enfant commun s’est renforcée pour aujourd’hui atteindre un niveau efficient, l’augmentation du nombre de familles recomposées souligne les insuffisances de la loi quant à la protection des intérêts de l’enfant non commun. L’absence de lien de filiation entre le beau-parent et son bel-enfant peut se traduire par une atteinte à ses intérêts patrimoniaux. Sont appréhendés dans ces travaux les deux volets de la protection des intérêts patrimoniaux de l’enfant non commun : la protection imposée au couple recomposé et la protection souhaitée par le couple recomposé dans l’esprit d’une meilleure intégration de l’enfant non commun. Ainsi, de lege lata, quels sont les mécanismes de protection des intérêts patrimoniaux de l’enfant non commun ? Et quels seraient, de lege ferenda, les outils nécessaires pour une meilleure prise en compte de ses intérêts ? Le législateur doit-il intervenir, ou laisser la place à une plus grande contractualisation en droit de la famille ? / The concept of family has deeply changed over the last decades. Along with the idea of a traditional family, and the different family patterns that have multiplied over the years, these new entities have radically modified the legal structure that the 1804 Civil Code had built. However, children still remain at the heart of the concept of family because, more than ever before, they concretely make family. If the child’s legal condition has been reinforced over the past centuries so as to be fully operational now, the ongoing rise of step families and reconstituted families highlight the lack of legal regime regarding a child’s situation coming from one of these two kind of families. The absence of direct line of descent between the step father and his step child can lead to potential troubles to his legacy. In this paper, two aspects regarding the safety of a child’s legacy coming from non-traditional family schemes will be tackled: the legal regime enforced for reconstituted families, and the legal regime that this same type of family would desire to benefit from for the sake of their step child. Thus, de lege data, what are the main mechanisms enforcing the legal regime tackling the child’s legacy from a non-traditional family? And what would be, de lege ferenda, the required tools so as to perform a better comprehensive analysis of what his legacy requires in this specific scheme? Should the legislator interfere more or allow a wider development of contracts law for family matters?

This dissertation investigates the role of specification, refinement and implementation in the software development cycle. Both the structured and object-oriented paradigms are looked at. Particular emphasis is placed on the role of the refinement process. The requirements for the product (system) are determined, the specifications are drawn up, the product is designed, specified, implemented and tested. The stage between the (formal) specification of the system and the implementation of the system is the refinement stage. The refinement process consists out of data refinement, operation refinement, and operation decomposition. In this dissertation, Z, Object-Z and UML (Unified Modelling Language) are used as specification languages and C, C++, Cobol and Object-Oriented Cobol are used as implementation languages. As an illustration a small system, The ITEM System, is specified in Z and UML and implemented in Object-Oriented Cobol. / Computing / M. Sc. (Information Systems)

This dissertation investigates the role of specification, refinement and implementation in the software development cycle. Both the structured and object-oriented paradigms are looked at. Particular emphasis is placed on the role of the refinement process. The requirements for the product (system) are determined, the specifications are drawn up, the product is designed, specified, implemented and tested. The stage between the (formal) specification of the system and the implementation of the system is the refinement stage. The refinement process consists out of data refinement, operation refinement, and operation decomposition. In this dissertation, Z, Object-Z and UML (Unified Modelling Language) are used as specification languages and C, C++, Cobol and Object-Oriented Cobol are used as implementation languages. As an illustration a small system, The ITEM System, is specified in Z and UML and implemented in Object-Oriented Cobol. / Computing / M. Sc. (Information Systems)