Search Results - (( Defined (contribution OR contributions) pensions plans ) OR ((( Defined distribution ((operation plan) OR (((operating plan) OR (operating _)))) ) OR ( Defined distribution regression plans ))))

The mathematics of the uncertain : a tribute to Pedro Gil by SpringerLink (Online service)

SpringerLink - Click here for access

The road to universal logic Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II by SpringerLink (Online service)

Contents: “…Till Mossakowski, Mihai Codescu, Fabian Neuhaus, and Oliver Kutz: The Distributed Ontology, Modelling and Specification Language -- DOL -- 22. …”
SpringerLink - Click here for access

Unifying theories of programming : 7th International Symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019, Proceeding... by UTP (Symposium) Porto, Portugal), SpringerLink (Online service)

Contents: “…A Testing Perspective on Algebraic, Denotational, and Operational Semantics1 Introduction; 2 Preliminaries; 2.1 Model-Based Testing; 2.2 Model-Based Mutation Testing; 3 Operational Semanctics; 3.1 Overview; 3.2 Conformance of Input-Output LTSs; 3.3 Explicit Conformance Checking; 3.4 Action Systems; 3.5 Symbolic Conformance Checking; 4 Denotational Semantics; 4.1 Transformational Systems; 4.2 Action Systems; 5 Algebraic Semantics; 6 Concluding Remarks; References; Whither Specifications as Programs; 1 Introduction; 2 Programs and Specifications as Binary Relations.…”
SpringerLink - Click here for access