Δ-extension of Algebraic Specification
スポンサーリンク
概要
- 論文の詳細を見る
This paper introduces implication and a particular symbol Δ into Algebraic Specification. Implications are used in the specification as conditional equations to simplify writing axioms of a complicated requirement. With respect to Δ, there are two ways of using this symbol. (1) As a symbol to specifiy the partiality of an operation in axioms. Substituting Δ for the annoying description of an exceptional behavior is a particular example of this.(2) As a symbol to mean temporarily undefined in the correspondence of operations in stepwise refinement. This can make it easy to refine a part of the specification and validate it by term rewriting system. Next, a new sound and complete calculus is defined to guarantee logical consistency between implication and Δ. We can use this calculus to verify the correctness of stepwise refinement.
- 一般社団法人情報処理学会の論文
- 1992-10-31
著者
-
Nango Mamoru
Materials Science And Engineering Nagoya Institute Of Technology
-
Nango Mamoru
Department Of Applied Chemistry Fculty Of Engineering Nagoya Insitute Of Technology
-
NAGATA Morio
Materials Science and Engineering, Nagoya Institute of Technology
-
Yoshida Kazuki
Toshiba Corporation Systems & Software Engineering Laboratory
-
Nagata Morio
Materials Science And Engineering Nagoya Institute Of Technology
-
Nagata M
Department Of Administration Engineering Faculty Of Science And Technology Keio University
-
Nagata Morio
Department Of Administration Engineering Faculty Of Science And Technology Keio University
-
Ohsuga Akihiko
Corporate Research & Development Center Toshiba Corp.
-
OHSUGA Akihiko
Toshiba Corporation
-
HONIDEN Shinichi
Toshiba Corporation
-
Honiden Shinichi
Toshiba Corporation Systems & Software Engineering Laboratory
関連論文
- Photoinduced Hydrogen Production with a Platinum Nanoparticle and Light-Harvesting Chlorophyll a/b-Protein Complex of Photosystem II (LHCII) from Spinach System
- Characterization of the Light-Harvesting Polypeptide/Bacteriochiorophyll a Complex Isolated from Photosynthetic Bacteria by the Linear Dichroism Spectra
- DNA Cleavage by a Polyethylenimine-appended Porphyrin
- Molecular Assembly of Manganese Fluorinated Mesoporphyrin Monolayer on a Gold Electrode
- Preparation of Novel Hollow Fiber Silica Using Collagen Fibers as a Template
- Molecular Assembly of Zinc BachteriochlorophyII a by Synthetic Hydrophobic 1α-Helix Polypeptides
- 3P-268 5から18Kでの単一分子分光による光合成アンテナ複合体の構造揺らぎの観測(光生物・光合成,第46回日本生物物理学会年会)
- Synthesis and Characterization of Hybrid Porphyrin Dimers and Halogenated Porphyrin Dimers
- Ring Hydroxylations of Aromatic Amino Acid Derivatives and Toluene by Hydrogen Peroxide Catalyzed by Manganese Halogenated Porphyrins in CH_2Cl_2/H_2O and Lipid Bilayers
- Self-assembled Monolayer of Light-harvesting 1 and Reaction Center (LH1-RC) Complexes Isolated from Rhodospirillum rubrum on an Amino-Terminated ITO Electrode
- Construction and Photocurrent of Light-harvesting Polypeptides/Zinc Bacteriochlorophyll a Complex in Lipid Bilayers
- Construction of Photosynthetic Antenna Complex Using Light-harvesting Polypeptide-α from Photosynthetic Bacteria, R. rubrum with Zinc Substituted Bacteriochlorophyll a
- Molecular Assembly of Zinc-Nickel Hybrid Porphyrin Dimer Using Synthetic 4α-Helix Polypeptides
- Molecular Assembly of Bachteriochlorophyll a Using Light-harvesting Model 1α-Helix Polypeptides and 2α-Helix Polypeptide with Disulfide-linkage
- Structural Requirements of Zinc Porphyrin Derivatives on the Complex-Forming with Light-Harvesting Polypeptides
- Molecular Assembly of Bachteriochlorophyll a and Its Analogues by Synthetic 4α-Helix Polypeptides
- 金電極上の自己集合ナフトキノン単分子膜の電位変調反射
- PROTON-INDUCED MEMBRANE FUSION OF LIPOSOMES CONTAINING pH-SENSITIVE POLYMER
- Inhibition of Akt (ser473) Phosphorylation and Rapamycin-Resistant Cell Growth by Knockdown of Mammalian Target of Rapamycin with Small Interfering RNA in Vascular Endothelial Growth Factor Receptor-1-Targeting Vector
- Electron Transfer on Electrode Modified with Keratin Membranes Containing Manganese Porphyrins
- Molecular Assembly of BChl a Complexes onto ITO Electrode Using Synthetic Light-harvesting Model Polypeptides Bearing Spermine Derivative
- Efficient Peroxide Decoloration of C.I. Acid Orange 7 Catalyzed by Manganese Mesoporphyrin Dimer Derivatives in Micellar Solutions
- Molecular Assembly of Light-harvesting Antenna Complex on ITO Electrode
- Transmembrane Electron Transfer across a Keratin Membrane and Lipid Bilayers Catalyzed by Manganese Porphyrin Dimers
- Autonomous Adaptation by Mobile Agent and Thesaurus(Special Issue on Knowledge-Based Software Engineering)
- Flage : A Programming Language for Adaptive Software (Special Issue on Knowledge-Based Software Engineering)
- A Computer Supported System of Meetings Using a Model of Inter-Personal Communication
- Δ-extension of Algebraic Specification
- A Context-Aware Personal Agent in Ubiquitous Environments and Its Experimental Trial( Software Agent and Its Applications)
- Evaluation of a Multi Agent Framework for Open Distributed Systems(Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
- Designing Multi-Agent Systems Based on Pairwise Agent Interactions (Special Issue on Software Agent and Its Applications)
- 2SG-04 脂質・DNA複合体の動的構造と細胞内核酸送達能(2SG 生命分子の揺らぎを探る新たなアプローチ,日本生物物理学会第49回年会(2011年度))
- 2L1612 光合成アンテナ膜タンパク質集合体の脂質膜中への再構成とエネルギー移動評価(光生物_光合成,第49回日本生物物理学会年会)
- Reconstitution and Organization of Photosynthetic Antenna Protein Complex Bearing Functional Hydrophilic Domains
- Systemic Delivery of Small Interfering RNA by Use of Targeted Polycation Liposomes for Cancer Therapy
- Synthetic polycations, polyethylenimines and polyallylamines release histamine from rat mast cells.
- New transport phenomenon. Enhanced transport into a membrane due to the presence of polyelectrolyte.
- Reassociation of All-trans-3,4-Dihydroanhydrorhodovibrin with LH1 Subunits Isolated from Rhodospirillum rubrum : Selective Binding of All-trans Isomer from Mixture of cis- and trans-Isomers