Results 251 to 260 of about 338,726 (289)
Some of the next articles are maybe not open access.
The Formalism of Derived Categories
2001Let A be an abelian category. The derived category D(A)of A is a quotient category of the abelian category Kom(A)of complexes over A. The quotient category is defined by making quasiisomorphisms into isomorphisms and this allows to identify complexes with their resolutions.
Reinhardt Kiehl, Rainer Weissauer
openaire +1 more source
Cascades, Formal Schemas, and Derivability
1999This chapter begins with the definition of two relevant subnets and the generalization of some standard graph-theoretic terminology to CNR-nets. Two relevant techniques for associative searches in a CNR-net, namely fast access and limited access cascades, are defined.
Aletta E. Geldenhuys +2 more
openaire +1 more source
Deriving CORBA Applications from Formal Specifications
Journal of Systems Integration, 1998This article describes an approach to the development of highly reliable and reusable CORBA applications. Interface description language (IDL) specifications are extended with LOTOS specifications of the functional and dynamic behavior of the interface operations.
B. J. Krämer +3 more
openaire +1 more source
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM, 1975So-called “guarded commands” are introduced as a building block for alternative and repetitive constructs that allow nondeterministic program components for which at least the activity evoked, but possibly even the final state, is not necessarily uniquely determined by the initial state. For the formal derivation of programs expressed in terms of these
openaire +2 more sources
A Formal Derivation of Composite Trust
2013Trust appears in asymmetric interactions, where one party (the active party) can easily betray a stakeholder (the passive party). Over the Internet, the amount of information that a passive party can use to determine the integrity of an active party is often limited.
Tim Muller, Patrick Schweitzer
openaire +1 more source
Deriving Safety Monitors from Formal Specifications
IFAC Proceedings Volumes, 1989Abstract Safety is not guaranteed by the proper behaviour of the target system itself - it also depends on the properties of the plant and the environment. The paper shows how a safety monitor which supervises the assumptions under which the target system is safe, can be derived from formal specifications.
openaire +1 more source
Deriving manuals from formal specifications
2003In this paper we propose the use (or re-use) of formal specifications for the development of user manuals and user instructions. We base our work on two observations. The first is that a considerable part of user manuals consist of series of user instructions that guide a user in the use of a device or a software application.
Latella D, Massink M
openaire +2 more sources
Deriving Applicative Programs from Formal Specifications
Anais do I Simpósio Brasileiro de Engenharia de Software (SBES 1987), 1987Apresentemos uma notação para escrever programas declarativos, e consideramos como derivar programas aplicativos a partir de especificações formais escritas em Z. Aqui, Z é o nível mais abstrato, e A, uma linguagem funcional de alta ordem, o mais concreto.
openaire +1 more source
A Survey of Smart Contract Formal Specification and Verification
ACM Computing Surveys, 2022, Yang Liu
exaly