Formal relationships in sequential object systems

Formal relationships in sequential object systems

Veure altres versions (1)

<p>Formal specifications describe the behaviour of object-oriented systems precisely, with the intent to capture all properties necessary for correctness. Relationships between objects, and in a broader sense the relationship between whole components, may not be adequately captured by specific...

Descripció completa

Dades bibliogràfiques
Autor principal:	Kerfoot, E
Altres autors:	McKeever, S
Format:	Thesis
Idioma:	English
Publicat:	2010
Matèries:	Computer science (mathematics)

Ítems similars

Formal Relationships in Sequential Object Systems
per: Kerfoot, E
Publicat: (2010)

Formalizing the Face Lattice of Polyhedra
per: Xavier Allamigeon, et al.
Publicat: (2022-05-01)

Evolving access control: formal models and analysis
per: Sieunarine, C, et al.
Publicat: (2011)

Formality, evolution, and model-driven software engineering
per: Davies, J, et al.
Publicat: (2005)

Formal methods of designing and implementing sequential control processes /
per: 342990 Badri Abu Bakar, et al.

World's without content : against formalism/
per: O'Neil, John
Publicat: (1991)

A hybrid recommender system based on customer behavior and transaction data using generalized sequential pattern algorithm
per: Somya, Ramos, et al.
Publicat: (2022)

Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic
per: Ján Pich
Publicat: (2015-06-01)

Formalizing Randomized Matching Algorithms
per: Dai Tri Man Le, et al.
Publicat: (2012-08-01)

Formal object-oriented specification using object-Z /
per: 366069 Duke, Roger, et al.
Publicat: (2000)

Some properties for integro-differential operator defined by a fractional formal
per: Abdulnaby, Z.E., et al.
Publicat: (2016)

Embedding an object calculus in the unifying theories of programming
per: Smith, M
Publicat: (2010)

$\sigma$-locales in Formal Topology
per: Francesco Ciraulo
Publicat: (2022-01-01)

A lattice-based approach for mathematical search using Formal Concept Analysis
per: Nguyen, Tam T., et al.
Publicat: (2013)

The sequential functionals of type $(\iota \rightarrow \iota)^n \rightarrow \iota$ form a dcpo for all $n \in \Bbb N$
per: Dag Normann
Publicat: (2018-03-01)

Formalizing mathematics in LEAN
per: Liu, Yufei
Publicat: (2024)

Formal Languages, Formally and Coinductively
per: Dmitriy Traytel
Publicat: (2017-09-01)

Balancing waiting times in sequential servers appointment system using distributionally robust optimization
per: Goh, You Hui
Publicat: (2023)

Computing with Infinite Objects: the Gray Code Case
per: Dieter Spreen, et al.
Publicat: (2023-07-01)

Sequential algorithm of parabolic equation in solving thermal control process on printed circuit board
per: Alias, Norma, et al.
Publicat: (2008)

Formal methods for the analysis of wireless network protocols
per: Fruth, M
Publicat: (2011)

Second order multi-object filtering with target interaction using determinantal point processes
per: Teoh, Timothy Zhisheng
Publicat: (2019)

Continuous hidden Markov models and the sequential probability ratio test
per: Darwin, O
Publicat: (2023)

Gardens of Eden and Fixed Points in Sequential Dynamical Systems
per: Christopher Barrett, et al.
Publicat: (2001-01-01)

Sequential selection of the k best out of nrankable objects
per: F. Thomas Bruss, et al.
Publicat: (2016-10-01)

Formalized linear algebra over Elementary Divisor Rings in Coq
per: Guillaume Cano, et al.
Publicat: (2016-06-01)

Abstract Completion, Formalized
per: Nao Hirokawa, et al.
Publicat: (2019-08-01)

Binary Codes and Period-2 Orbits of Sequential Dynamical Systems
per: Colin Defant
Publicat: (2017-10-01)

Formal language theory and DNA
per: Mohd. Ali, Nor Muhainiah
Publicat: (2004)

Sequential Relational Decomposition
per: Dror Fried, et al.
Publicat: (2022-03-01)

Digraph complexity measures and applications in formal language theory
per: Hermann Gruber
Publicat: (2012-11-01)

A formal refinement framework for the systems modeling language
per: Jacobs, P
Publicat: (2015)

Profit-maximizing sequential task allocation to a team of selfish agents with deep reinforcement learning
per: Zhang, Shizhuo
Publicat: (2022)

Quantum fault tolerance in systems with restricted control
per: Fitzsimons, J, et al.
Publicat: (2009)

Local decision-making in multi-agent systems
per: Kaufman, M
Publicat: (2011)

A Theory of Formal Choreographic Languages
per: Franco Barbanera, et al.
Publicat: (2023-08-01)

Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs
per: Richard Mayr, et al.
Publicat: (2023-03-01)

Small model theorems for data independent systems in Alloy
per: Momtahan, L
Publicat: (2007)

Schaum's outline of discrete mathematics /
per: Lipschutz, Seymour, author, et al.
Publicat: (2007)

Correlated information: a logic for multi-partite quantum systems
per: Baltag, A, et al.
Publicat: (2011)