Formal relationships in sequential object systems

Formal relationships in sequential object systems

Show other 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...

书目详细资料
主要作者:	Kerfoot, E
其他作者:	McKeever, S
格式:	Thesis
语言:	English
出版:	2010
主题:	Computer science (mathematics)

相似书籍

Formal Relationships in Sequential Object Systems
由: Kerfoot, E
出版: (2010)

Formalizing the Face Lattice of Polyhedra
由: Xavier Allamigeon, et al.
出版: (2022-05-01)

Evolving access control: formal models and analysis
由: Sieunarine, C, et al.
出版: (2011)

Formality, evolution, and model-driven software engineering
由: Davies, J, et al.
出版: (2005)

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

World's without content : against formalism/
由: O'Neil, John
出版: (1991)

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

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

Formalizing Randomized Matching Algorithms
由: Dai Tri Man Le, et al.
出版: (2012-08-01)

Formal object-oriented specification using object-Z /
由: 366069 Duke, Roger, et al.
出版: (2000)

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

Embedding an object calculus in the unifying theories of programming
由: Smith, M
出版: (2010)

$\sigma$-locales in Formal Topology
由: Francesco Ciraulo
出版: (2022-01-01)

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

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

Formalizing mathematics in LEAN
由: Liu, Yufei
出版: (2024)

Formal Languages, Formally and Coinductively
由: Dmitriy Traytel
出版: (2017-09-01)

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

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

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

Formal methods for the analysis of wireless network protocols
由: Fruth, M
出版: (2011)

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

Continuous hidden Markov models and the sequential probability ratio test
由: Darwin, O
出版: (2023)

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

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

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

Abstract Completion, Formalized
由: Nao Hirokawa, et al.
出版: (2019-08-01)

Binary Codes and Period-2 Orbits of Sequential Dynamical Systems
由: Colin Defant
出版: (2017-10-01)

Formal language theory and DNA
由: Mohd. Ali, Nor Muhainiah
出版: (2004)

Sequential Relational Decomposition
由: Dror Fried, et al.
出版: (2022-03-01)

Digraph complexity measures and applications in formal language theory
由: Hermann Gruber
出版: (2012-11-01)

A formal refinement framework for the systems modeling language
由: Jacobs, P
出版: (2015)

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

Quantum fault tolerance in systems with restricted control
由: Fitzsimons, J, et al.
出版: (2009)

Local decision-making in multi-agent systems
由: Kaufman, M
出版: (2011)

A Theory of Formal Choreographic Languages
由: Franco Barbanera, et al.
出版: (2023-08-01)

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

Small model theorems for data independent systems in Alloy
由: Momtahan, L
出版: (2007)

Schaum's outline of discrete mathematics /
由: Lipschutz, Seymour, author, et al.
出版: (2007)

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