Formal relationships in sequential object systems

Formal relationships in sequential object systems

Бусад хувилбаруудыг харуулах (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
Формат:	Дипломын ажил
Хэл сонгох:	English
Хэвлэсэн:	2010
Нөхцлүүд:	Computer science (mathematics)

Ижил төстэй зүйлс

Formal Relationships in Sequential Object Systems
-н: Kerfoot, E
Хэвлэсэн: (2010)

Formalizing the Face Lattice of Polyhedra
-н: Xavier Allamigeon, зэрэг
Хэвлэсэн: (2022-05-01)

Evolving access control: formal models and analysis
-н: Sieunarine, C, зэрэг
Хэвлэсэн: (2011)

Formality, evolution, and model-driven software engineering
-н: Davies, J, зэрэг
Хэвлэсэн: (2005)

Formal methods of designing and implementing sequential control processes /
-н: 342990 Badri Abu Bakar, зэрэг

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, зэрэг
Хэвлэсэн: (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, зэрэг
Хэвлэсэн: (2012-08-01)

Formal object-oriented specification using object-Z /
-н: 366069 Duke, Roger, зэрэг
Хэвлэсэн: (2000)

Some properties for integro-differential operator defined by a fractional formal
-н: Abdulnaby, Z.E., зэрэг
Хэвлэсэн: (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., зэрэг
Хэвлэсэн: (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, зэрэг
Хэвлэсэн: (2023-07-01)

Sequential algorithm of parabolic equation in solving thermal control process on printed circuit board
-н: Alias, Norma, зэрэг
Хэвлэсэн: (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, зэрэг
Хэвлэсэн: (2001-01-01)

Sequential selection of the k best out of nrankable objects
-н: F. Thomas Bruss, зэрэг
Хэвлэсэн: (2016-10-01)

Formalized linear algebra over Elementary Divisor Rings in Coq
-н: Guillaume Cano, зэрэг
Хэвлэсэн: (2016-06-01)

Abstract Completion, Formalized
-н: Nao Hirokawa, зэрэг
Хэвлэсэн: (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, зэрэг
Хэвлэсэн: (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, зэрэг
Хэвлэсэн: (2009)

Local decision-making in multi-agent systems
-н: Kaufman, M
Хэвлэсэн: (2011)

A Theory of Formal Choreographic Languages
-н: Franco Barbanera, зэрэг
Хэвлэсэн: (2023-08-01)

Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs
-н: Richard Mayr, зэрэг
Хэвлэсэн: (2023-03-01)

Small model theorems for data independent systems in Alloy
-н: Momtahan, L
Хэвлэсэн: (2007)

Schaum's outline of discrete mathematics /
-н: Lipschutz, Seymour, author, зэрэг
Хэвлэсэн: (2007)

Correlated information: a logic for multi-partite quantum systems
-н: Baltag, A, зэрэг
Хэвлэсэн: (2011)