ALGEBRAIC FORMULATION OF FLOW DIAGRAMS

被引：1
|
作者：
VOORHEES, EA
机构：
来源：
COMMUNICATIONS OF THE ACM | 1958年 / 1卷 / 06期
关键词：
D O I：
10.1145/368861.368869
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
下载
收藏
页码：4 / 8
页数：5
相关论文
共 50 条
  • [1] An Algebra Approach to the Deduction of Data Flow Diagrams and Object Oriented Diagrams from Algebraic Specifications
    Software Engineering Notes, 21 (04):
  • [2] A Flow-on-Manifold Formulation of Differential-Algebraic Equations
    Ann-Kristin Baum
    Journal of Dynamics and Differential Equations, 2017, 29 : 1259 - 1281
  • [3] A Flow-on-Manifold Formulation of Differential-Algebraic Equations
    Baum, Ann-Kristin
    JOURNAL OF DYNAMICS AND DIFFERENTIAL EQUATIONS, 2017, 29 (04) : 1259 - 1281
  • [4] Parameterising (algebraic) specifications on diagrams
    Dimitrakos, T
    13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 1998, : 221 - 224
  • [5] Enriching Diagrams with Algebraic Operations
    Villoria, Alejandro
    Basold, Henning
    Laarman, Alfons
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PT I, FOSSACS 2024, 2024, 14574 : 121 - 143
  • [6] Algebraic structures on modules of diagrams
    Vogel, Pierre
    JOURNAL OF PURE AND APPLIED ALGEBRA, 2011, 215 (06) : 1292 - 1339
  • [7] Algebraic decision diagrams and their applications
    Bahar, RI
    Frohm, EA
    Gaona, CM
    Hachtel, GD
    Macii, E
    Pardo, A
    Somenzi, F
    FORMAL METHODS IN SYSTEM DESIGN, 1997, 10 (2-3) : 171 - 206
  • [8] Algebraic decision diagrams and their applications
    Univ of Colorado, Boulder, United States
    Formal Methods Syst Des, 2-3 (171-206):
  • [9] A Flow-Based Formulation for Parallel Machine Scheduling Using Decision Diagrams
    Kowalczyk, Daniel
    Leus, Roel
    Hojny, Christopher
    Ropke, Stefan
    INFORMS JOURNAL ON COMPUTING, 2024, 36 (06) : 1696 - 1714
  • [10] Voronoi diagrams of algebraic distance fields
    Emiris, Ioannis Z.
    Mantzaflaris, Angelos
    Mourrain, Bernard
    COMPUTER-AIDED DESIGN, 2013, 45 (02) : 511 - 516
12345