Coherence and Divergence in Services Trade Law / / edited by Rhea Tamara Hoffmann, Markus Krajewski

• Record Nr.: UNINA9910411952403321
• Pubbl/distr/stampa: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
• ISBN: 3-030-46955-7
• Edizione: [1st ed. 2020.]
• Descrizione fisica: 1 online resource (279 pages)
• Collana: Special Issue, , 2510-6899
• Disciplina: 338.9
• Soggetti: International law; Trade regulation; Commercial law; European Economic Community; International economic relations; International Economic Law, Trade Law; European Economic Law; International Economics
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di contenuto: Markus Krajewski and Rhea Tamara Hoffmann, Introduction -- Panagiotis Delimatsis, Coherence and Divergence in Agreements on Trade in Services: A Drama in Three Acts -- Johanna Jacobsson, Services liberalization by sub-central entities – towards deeper commitments? -- Gabriel Gari, Recent developments on disciplines on domestic regulations affecting trade in services: convergence or divergence? -- Svetlana Yakovleva, Privacy and data protection in the EU- and US-led Post-WTO Free Trade Agreements -- Ines Willemyns, Addressing Digital Services in PTAs: only convergence in the 11th hour? -- Marion Panizzon and Harjodh Singh, Regulatory or Market-driven Coherence of the Movement of Natural Persons across EU and Asian Preferential Trade Agreements -- Mira Burri, Telecommunications and Media Services in Preferential Trade Agreements: Path Dependences Still Matter -- Carlo M. Cantore, "Parallel convergences" in free trade agreements on financial services: Select issues -- Lijun Zhao, Maritime ; Transport, the WTO, and Regional Trade Agreements: Too Many Cooks? -- Weiwei Zhang, Embracing Global Tax Reform in the General Agreement on Trade in Services?.
• Sommario/riassunto: This book addresses topical questions concerning the legal framework of trade in services, and assesses how these issues are dealt with in GATS and in selected preferential trade agreements. In addition, the chapters discuss whether the differences and similarities (if any) are evidence of greater coherence or greater divergence. The book combines the individual analyses to provide a more comprehensive picture of the current law on services trade liberalisation. A quarter of a century after the conclusion of the General Agreement on Trade and Services (GATS), international law on trade in services is still in a state of flux: on the one hand, countries increasingly conclude bilateral and regional trade agreements with sections on trade in services that aim at a further liberalisation of services trade. On the other, the GATS structure remains the dominant model and serves as the basis for many preferential trade agreements. In addition, new aspects such as electronic commerce, data protection and taxation are now emerging, while issues that had already manifested in the mid-1990s such as financial services regulation, labour mobility, and telecommunications continue to be problematic. Usually, the debates focus on the question of whether preferential trade agreements serve as a stepping-stone or stumbling block for trade liberalisation at the multilateral level. However, it can be assumed that rules on trade in services in preferential trade agreements will coexist with the global GATS regime for the foreseeable future. This raises the question of whether we’re currently witnessing a drive towards greater coherence or more divergence in agreements on trade in services.

Formal Approaches to Software Testing : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers / / edited by Wolfgang Grieskamp, Carsten Weise

• Record Nr.: UNINA9910483902403321
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
• ISBN: 3-540-34455-1
• Edizione: [1st ed. 2006.]
• Descrizione fisica: 1 online resource (XII, 219 p.)
• Collana: Programming and Software Engineering, , 2945-9168 ; ; 3997
• Altri autori (Persone): GrieskampWolfgang <1960->; WeiseCarsten
• Disciplina: 004.01/51
• Soggetti: Software engineering; Compilers (Computer programs); Computer science; Electronic data processing - Management; Software Engineering; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; IT Operations
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: "The workshop on Formal Approaches to Testing of Software (FATES)"--Foreword.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Proceedings FATES 2005 -- Simulated Time for Testing Railway Interlockings with TTCN-3 -- Model-Based Testing Through a GUI -- Play to Test -- A Note on an Anomaly in Black-Box Testing -- A Novel Test Coverage Metric for Concurrently-Accessed Software Components -- Adaptive Random Testing by Bisection and Localization -- Interactive Testing with HOL-TestGen -- Conformance Testing Relations for Timed Systems -- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM -- Calculating Probabilities of Real-Time Test Cases -- Time Unbalanced Partial Order -- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach -- Automated Generation of Positive and Negative Tests for Parsers -- Testing from Algebraic ; Specifications: Test Data Set Selection by Unfolding Axioms.
• Sommario/riassunto: This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005. The book presents 13 revised full papers together with 1 work-in-progress paper. These address formal approaches to testing and use techniques from areas like theorem proving, model checking, constraint resolution, program analysis, abstract interpretation, Markov chains, and various others.