Formal relationships in sequential object systems

Formal relationships in sequential object systems

Hiển thị phiên bản (1) khác

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

Mô tả đầy đủ

Chi tiết về thư mục
Tác giả chính:	Kerfoot, E
Tác giả khác:	McKeever, S
Định dạng:	Luận văn
Ngôn ngữ:	English
Được phát hành:	2010
Những chủ đề:	Computer science (mathematics)

Những quyển sách tương tự

Formal Relationships in Sequential Object Systems
Bằng: Kerfoot, E
Được phát hành: (2010)

Formalizing the Face Lattice of Polyhedra
Bằng: Xavier Allamigeon, et al.
Được phát hành: (2022-05-01)

Evolving access control: formal models and analysis
Bằng: Sieunarine, C, et al.
Được phát hành: (2011)

Formality, evolution, and model-driven software engineering
Bằng: Davies, J, et al.
Được phát hành: (2005)

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

World's without content : against formalism/
Bằng: O'Neil, John
Được phát hành: (1991)

A hybrid recommender system based on customer behavior and transaction data using generalized sequential pattern algorithm
Bằng: Somya, Ramos, et al.
Được phát hành: (2022)

Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic
Bằng: Ján Pich
Được phát hành: (2015-06-01)

Formalizing Randomized Matching Algorithms
Bằng: Dai Tri Man Le, et al.
Được phát hành: (2012-08-01)

Formal object-oriented specification using object-Z /
Bằng: 366069 Duke, Roger, et al.
Được phát hành: (2000)

Some properties for integro-differential operator defined by a fractional formal
Bằng: Abdulnaby, Z.E., et al.
Được phát hành: (2016)

Embedding an object calculus in the unifying theories of programming
Bằng: Smith, M
Được phát hành: (2010)

$\sigma$-locales in Formal Topology
Bằng: Francesco Ciraulo
Được phát hành: (2022-01-01)

A lattice-based approach for mathematical search using Formal Concept Analysis
Bằng: Nguyen, Tam T., et al.
Được phát hành: (2013)

The sequential functionals of type $(\iota \rightarrow \iota)^n \rightarrow \iota$ form a dcpo for all $n \in \Bbb N$
Bằng: Dag Normann
Được phát hành: (2018-03-01)

Formalizing mathematics in LEAN
Bằng: Liu, Yufei
Được phát hành: (2024)

Formal Languages, Formally and Coinductively
Bằng: Dmitriy Traytel
Được phát hành: (2017-09-01)

Balancing waiting times in sequential servers appointment system using distributionally robust optimization
Bằng: Goh, You Hui
Được phát hành: (2023)

Computing with Infinite Objects: the Gray Code Case
Bằng: Dieter Spreen, et al.
Được phát hành: (2023-07-01)

Sequential algorithm of parabolic equation in solving thermal control process on printed circuit board
Bằng: Alias, Norma, et al.
Được phát hành: (2008)

Formal methods for the analysis of wireless network protocols
Bằng: Fruth, M
Được phát hành: (2011)

Second order multi-object filtering with target interaction using determinantal point processes
Bằng: Teoh, Timothy Zhisheng
Được phát hành: (2019)

Continuous hidden Markov models and the sequential probability ratio test
Bằng: Darwin, O
Được phát hành: (2023)

Gardens of Eden and Fixed Points in Sequential Dynamical Systems
Bằng: Christopher Barrett, et al.
Được phát hành: (2001-01-01)

Sequential selection of the k best out of nrankable objects
Bằng: F. Thomas Bruss, et al.
Được phát hành: (2016-10-01)

Formalized linear algebra over Elementary Divisor Rings in Coq
Bằng: Guillaume Cano, et al.
Được phát hành: (2016-06-01)

Abstract Completion, Formalized
Bằng: Nao Hirokawa, et al.
Được phát hành: (2019-08-01)

Binary Codes and Period-2 Orbits of Sequential Dynamical Systems
Bằng: Colin Defant
Được phát hành: (2017-10-01)

Formal language theory and DNA
Bằng: Mohd. Ali, Nor Muhainiah
Được phát hành: (2004)

Sequential Relational Decomposition
Bằng: Dror Fried, et al.
Được phát hành: (2022-03-01)

Digraph complexity measures and applications in formal language theory
Bằng: Hermann Gruber
Được phát hành: (2012-11-01)

A formal refinement framework for the systems modeling language
Bằng: Jacobs, P
Được phát hành: (2015)

Profit-maximizing sequential task allocation to a team of selfish agents with deep reinforcement learning
Bằng: Zhang, Shizhuo
Được phát hành: (2022)

Quantum fault tolerance in systems with restricted control
Bằng: Fitzsimons, J, et al.
Được phát hành: (2009)

Local decision-making in multi-agent systems
Bằng: Kaufman, M
Được phát hành: (2011)

A Theory of Formal Choreographic Languages
Bằng: Franco Barbanera, et al.
Được phát hành: (2023-08-01)

Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs
Bằng: Richard Mayr, et al.
Được phát hành: (2023-03-01)

Small model theorems for data independent systems in Alloy
Bằng: Momtahan, L
Được phát hành: (2007)

Schaum's outline of discrete mathematics /
Bằng: Lipschutz, Seymour, author, et al.
Được phát hành: (2007)

Correlated information: a logic for multi-partite quantum systems
Bằng: Baltag, A, et al.
Được phát hành: (2011)