A Verification Method for Formal Requirements Description

スポンサーリンク

概要

• 論文の詳細を見る

• A verification method for a requirements description is proposed. For successful software development, correct, consistent and clear descriptions of requirements are indispensable. Many systems supporting the activities of requirements analysis, description, and management have been proposed and developed. They, however, afford only restricted analytic power, because of the limited semantic analysis abilities. That is, the flexibility and adaptability of a requirements description is obtained by a simple language structure and a certain part of meaning of the description depends on the meaning of a proper label used in the description. To provide all knowledge about a target system required for semantic analysis may not be feasible, since diversified applications of a computer system brings many kinds of terms and concepts into a requirements description. Our approach is to imply users to express their experiences and intentions about a target system as assertions. In this paper, we, first, give a formal model of a requirements description, and show how to verify requirements descriptions. Next, we present several types of verification procedures. They are feasibility check, consistency check and traceability check.

• 一般社団法人情報処理学会の論文
• 1985-02-05

著者

• Agusa K

  Center For Information Media Studies Nagoya University

• Agusa K

  Nagoya Univ.

• Agusa Kiyoshi

  Department Of Information Engineering Graduate School Of Information Science Nagoya University

• Ohno Y

  Kyoto Univ.

• OHNO Yutaka

  Department of Quantum Engineering, Nagoya University

• OHNISHI ATSUSHI

  Department of Information Science, Kyoto University

• Ohnishi Atsushi

  Department Of Computer Science Ritsumeikan University

• Ohnishi Atsushi

  Department Of Information Science Kyoto University

• Ohno Yutaka

  Department Of Information Science Faculty Of Engineering Kyoto University

• Ohno Yutaka

  Department of Applied Chemistry, Faculty of Engineering, Tohoku University

関連論文

• Suppression of Hysteresis in Carbon Nanotube Field-Effect Transistors : Effect of Contamination Induced by Device Fabrication Process
• Fabrication of Carbon Nanotube Field Effect Transistors Using Plasma-Enhanced Chemical Vapor Deposition Grown Nanotubes
• Fabrication of Antigen Sensors Using Carbon Nanotube Field Effect Transistors
• Fabrication and Characterization of Peapod Field-Effect Transistors Using Peapods Synthesized Directly on Si Substrate
• Growth of High-Quality Carbon Nanotubes by Grid-Inserted Plasma-Enhanced Chemical Vapor Deposition for Field Emitters
• Effects of Fabrication Process on Current-Voltage Characteristics of Carbon Nanotube Field Effect Transistors
• Photoresponse of Carbon Nanotube Field-Effect Transistors
• Growth of mm-Long Carbon Nanotubes by Grid-Inserted Plasma-Enhanced Chemical Vapor Deposition
• Tunable Field-Effect Transistor Device with Metallofullerene Nanopeapods
• Growth of High-Quality Carbon Nanotubes by Grid-Inserted Plasma-Enhanced Chemical Vapor Deposition for Field Emitters
• Fluid Dynamic Assembly of Semiconductor Blocks for Heterogeneous Integration
• Fabrication Technique for Carbon Nanotube Single-Electron Transistors Using Focused Ion Beam
• Fabricated on a GaAs-based Semiconductor-on-Insulator Substrate Using a Spin-On Low-k Dielectric Film
• Position-Controlled Carbon Nanotube Field-Effect Transistors Fabricated by Chemical Vapor Deposition Using Patterned Metal Catalyst
• Electroluminescence in AlGaN/GaN High Electron Mobility Transistors under High Bias Voltage (Short Note)
• Temperature Distribution Measurement in AlGaN/GaN High-Electron-Mobility Transistors by Micro-Raman Scattering Spectroscopy : Semiconductors
• A Verification Method for Formal Requirements Description
• AlGaN/GaN Heterostructure Metal-Insulator-Semiconductor High-Electron-Mobility Transistors with Si_3N_4 Gate Insulator
• Characterization of Electrical Properties of Micro-Schottky Contacts on Epitaxial Lateral Overgrowth GaN
• Fluidic Assembly of Thin GaAs Blocks on Si Substrates
• Comparison of Electrical Characteristics of Metamorphic HEMTs with InP HEMTs and PHEMTs
• Measurement of Frequency Dispersion of AlGaN/GaN High Electron Mobility Transistors
• An Approach for Debugging Client Dynamic Web Applications(Network Services)
• High-Speed Operation of a Novel Frequency Divider Using Resonant Tunneling Chaos Circuit
• Measurements of Electroluminescence Intensity Distribution in the Direction of Gate Width of n^+ Self-Aligned Gate GaAs Metal-Semiconductor Field-Effect Transistors
• Electroluminescence Measurement of n^+ Self-Alighed Gate GaAs MESFETs
• Electroluminescence Measurement of n Self-Aligned GaAs MESFETs
• Concurrent LISP and Its Interpreter
• A Supporting System for Software Maintenance : Ripple Effect Analysis of Requirements Description Modification
• Software Design Process: Chrysalis Stage under the Control of Designers
• Fabrication of Short-Range Ordered Nanoholes on Silicon Surfaces by Electron Irradiation
• Study of Electron-Irradiation-Induced Defects in GaP by In-situ Optical Spectroscopy in a Transmission Electron Microscope
• Analysis of polarization by means of polarized cathodoluminescence spectroscopy in a TEM
• Visual Software Requirements Specification Technique Based on Communication Model(Special Issue on Knowledge-Based Software Engineering)
• Integration of Scenarios from Different Viewpoints
• Transformation between Scenarios from Different Viewpoints(Requirement Engineering , Knowledge-Based Software Engineering)
• A CASE Tool Platform for an Object Oriented Language
• Some Methods for Specializing Object-oriernted Programs
• An Efficient Implementation of Term Rewriting System on a Distributed Memory Architecture
• High-Performance Top-Gate Carbon Nanotube Field-Effect Transistors and Complementary Metal-Oxide-Semiconductor Inverters Realized by Controlling Interface Charges
• Thin Single-Walled Carbon Nanotubes with Narrow Diameter Distribution Grown by Cold-Wall Chemical Vapor Deposition Combined with Co Nanoparticle Deposition
• Optoelectronic Flexible-Function Logic Gate Using Monostable-Bistable Transition of Serially Connected Resonant Tunneling Transistors
• Optoelectronic Flexible-Function Logic Gate Using Monostable-Bistable Transition of Serially Connected Resonant Tunneling Transistors
• Atomic Structure of a Defect Colony in Silicon Introduced during Neutron Irradiation in the JOYO Reactor
• Diffusion Process of Interstitial Atoms in an Electron Irradiated InP Studied by Transmission Electron Microscopy
• Photoluminescence Study of Resonant Tunneling Transistor with p^+/n-Junction Gate
• Microscopic Photoluminescence Study of InAs Single Quantum Dots Grown on (100) GaAs
• Electrical Properties of Carbon Nanotube Field-Effect Transistors with Multiple Channels Measured by Scanning Gate Microscopy
• Fluid Dynamic Assembly of Semiconductor Blocks for Heterogeneous Integration
• Observation of n-Type Conduction in Carbon Nanotube Field-Effect Transistors with Au Contacts in Vacuum (Special Issue : Solid State Devices and Materials (1))
• Estimation of Height of Barrier Formed in Metallic Carbon Nanotube (Special Issue : Solid State Devices and Materials (1))
• Fabrication of Carbon Nanotubes by Slot-Excited Microwave Plasma-Enhanced Chemical Vapor Deposition
• Surface Potential Measurement of Carbon Nanotube Field-Effect Transistors Using Kelvin Probe Force Microscopy
• Fabrication of Antigen Sensors Using Carbon Nanotube Field Effect Transistors
• Growth of High-Quality Carbon Nanotubes by Grid-Inserted Plasma-Enhanced Chemical Vapor Deposition for Field Emitters
• Effects of Fabrication Process on Current–Voltage Characteristics of Carbon Nanotube Field Effect Transistors
• Characterization of Electrical Properties of Micro-Schottky Contacts on Epitaxial Lateral Overgrowth GaN
• Fabrication Technique for Carbon Nanotube Single-Electron Transistors Using Focused Ion Beam
• Measurement of Frequency Dispersion of AlGaN/GaN High Electron Mobility Transistors
• Resonant-Tunneling-Injection Photoluminescence of Single InAs Self-Assembled Quantum Dots Embedded in a Thin AlGaAs Barrier
• Position-Controlled Carbon Nanotube Field-Effect Transistors Fabricated by Chemical Vapor Deposition Using Patterned Metal Catalyst
• Comparison of Electrical Characteristics of Metamorphic HEMTs with InP HEMTs and PHEMTs
• Photoresponse of Carbon Nanotube Field-Effect Transistors
• AlGaN/GaN Heterostructure Metal-Insulator-Semiconductor High-Electron-Mobility Transistors with Si3N4 Gate Insulator
• Growth of mm-Long Carbon Nanotubes by Grid-Inserted Plasma-Enhanced Chemical Vapor Deposition
• Evidence of Edge Conduction at Nanotube/Metal Contact in Carbon Nanotube Devices
• Fluidic Assembly of Thin GaAs Blocks on Si Substrates
• AlGaN/GaN High Electron Mobility Transistors with Inclined-Gate-Recess Structure
• Fabrication of Short-Range Ordered Nanoholes on Silicon Surfaces by Electron Irradiation
• High-Mobility, Flexible Carbon Nanotube Thin-Film Transistors Fabricated by Transfer and High-Speed Flexographic Printing Techniques
• Carbon-carbon bond formation by use of chloroiodomethane as a C1 unit. I. Formation of chloromethyltriphenylphosphonium iodide, and its application for the Wittig chloromethylenation of aldehydes and ketones.
• Enantiodivergent total syntheses of nanaomycins and their enantiomers, kalafungins.
• Fabrication and Characterization of Peapod Field-Effect Transistors Using Peapods Synthesized Directly on Si Substrate
• Suppression of Hysteresis in Carbon Nanotube Field-Effect Transistors: Effect of Contamination Induced by Device Fabrication Process
• High-Mobility, Flexible Carbon Nanotube Thin-Film Transistors Fabricated by Transfer and High-Speed Flexographic Printing Techniques
• Investigation of Interface Charges of High-k Gate Dielectrics and Their Effects on Carbon Nanotube Field-Effect Transistors
• High-Mobility, Flexible Carbon Nanotube Thin-Film Transistors Fabricated by Transfer and High-Speed Flexographic Printing Techniques

もっと見る 閉じる

スポンサーリンク