Software Design Process as Category Morphism
スポンサーリンク
概要
- 論文の詳細を見る
The Software design process is modelled by using a catenated set of partial processes, each of which transforms a conceptual scheme into the next conceptual scheme of a lower abstract level. Each conceptual scheme represents a designer's plans at one level of abstraction. Some meta-conceptual scheme is used to produce each conceptual scheme. Conceptual schemes and meta-conceptual schemes are formalized as categories of vocabulary. A process for transforming one conceptual scheme into another is a category morphism. Using existing categories and category morphisms, specifications are systematically transformed into specifications of a lower abstract level. Categories and category morphisms are useful means of promoting the reusability of design concepts and design processes.
- 一般社団法人情報処理学会の論文
- 1991-12-31
著者
-
Matsumoto Yoshihiro
Department Of Information Science 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