KDM:Kyoto Software Design Mentor
スポンサーリンク
概要
- 論文の詳細を見る
The software design mentor called Kyoto software design mentor (KDM) furnishes a discipline for transforming software requirements to program systems using a unified semantic model. The proposed model makes the semantic elements in the unified domain mappable not only to the logical elements included in the requiremenls, but also to the logical elements included in the larget-program system. In the KDM, the target-program system is assumed to apply an agent-based concurrent architecture. A set consisting of: (1) semantic domain, (2) abstract grammar used to describe semantic models, (3) unified model, and (4) logic of the target-program system is called "design set". Through the KDM steps, requirements are transformed to the design set, and then the design set is transformed to the target-program system.
- 一般社団法人情報処理学会の論文
- 1993-12-15
著者
-
Matsumoto Yoshihiro
Department Of Information Science Faculity Of Engineering Kyoto University
-
Matsumoto Yoshihiro
Department Of Dialysis Therapy Social Insurance Chukyo Hospital
関連論文
- Mass spectrometric study on the protein chemical modification of uremic patients in advanced Maillard reaction
- Phosphorylation of Focal adhesion kinase is involved in motility and morphology of human fibrosarcoma cells
- Dual effects of small GTP-binding protein, Rho, on activation of Matrix Metalloproteinase 2 and invasion of human osteosarcoma cells
- Alpha-blocker test : Alternative to pressure-flow study of bladder outlet obstruction and detrusor contractility in patients without an enlarged prostate
- Mixed Connective Tissue Disease Developing into MPO-ANCA-positive Polyangiitis
- The regulatory role of heat shock protein 70-reactive CD4^+ T cells during rat listeriosis
- Does Ossification of the Posterior Longitudinal Ligament Affect the Neurological Outcome After Traumatic Cervical Cord Injury?
- Increased Serum Midkine Levels during Hemodialysis Using Heparin in Chronic Renal Failure
- Small GTP-binding Protein, Rho, Both Increased and Decreased Cellular Motility, Activation of Matrix Metalloproteinase 2 and Invasion of Human Osteosarcoma Cells
- Development and evaluation of new devices for use in the central venous catheter system
- Software Design Process as Category Morphism
- KDM:Kyoto Software Design Mentor
- A Possible Scheme for Leading Baryon Trajectories and Test of the Predictions of Duality Diagrams for the Forward K^-p→π^-Σ^+ Reaction Amplitude
- Neurological Recovery Is Impaired by Concurrent but Not by Asymptomatic Pre-existing Spinal Cord Compression After Traumatic Spinal Cord Injury