Parameterized programming and software architecture

被引：9
|
作者：
Goguen, JA [1 ]
机构：
[1] UNIV CALIF SAN DIEGO, LA JOLLA, CA 92093 USA
来源：
FOURTH INTERNATIONAL CONFERENCE ON SOFTWARE REUSE, PROCEEDINGS | 1996年
关键词：
D O I：
10.1109/ICSR.1996.496108
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：2 / 10
页数：9
相关论文
共 50 条
  • [1] Programming Methodologies and Software Architecture
    Reddy, A. Rama Mohan
    Naidu, M. M.
    Govindarajulu, P.
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2006, 6 (11): : 29 - 39
  • [2] PARAMETERIZED PROGRAMMING
    GOGUEN, JA
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1984, 10 (05) : 528 - 543
  • [3] Mastering Software Programming and Architecture in Industry 4.0
    Fricke A.
    Schöneberger J.C.
    Fricke, A. (af@chemstations.eu), 1600, Wiley-VCH Verlag (88): : 1226
  • [4] Programming in the Complex: Cybernetic Insights into Software Process and Architecture
    Donaires, Omar Sacilotto
    SYSTEMS RESEARCH AND BEHAVIORAL SCIENCE, 2010, 27 (06) : 667 - 679
  • [5] A Software Architecture for Model-Based Programming of Robot Systems
    Geisinger, Michael
    Barner, Simon
    Wojtczyk, Martin
    Knoll, Alois
    ADVANCES IN ROBOTICS RESEARCH, 2009, : 135 - 146
  • [6] Parameterized Differential Dynamic Programming
    Oshin, Alex
    Houghton, Matthew D.
    Acheson, Michael J.
    Gregory, Irene M.
    Theodorou, Evangelos A.
    ROBOTICS: SCIENCE AND SYSTEM XVIII, 2022,
  • [7] SOFTWARE ARCHITECTURE FOR DIGITALIZATION, STORAGE AND MANAGEMENT OF PROGRAMMING EXAMS AND TASKS (DIGPAPER)
    Petrov, Milen
    Aleksieva-Petrova, Adelina
    Petrov, Julian
    ICERI2014: 7TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION, 2014, : 64 - 73
  • [8] A Proposal of Software Architecture for Java']Java Programming Learning Assistant System
    Ishihara, Nobuya
    Funabiki, Nobuo
    Kuribayashi, Minoru
    Kao, Wen-Chung
    2017 IEEE 31ST INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS (AINA), 2017, : 64 - 70
  • [9] Parameterized Programming for Compositional System Specification
    Martin, Oscar
    Verdejo, Alberto
    Marti-Oliet, Narciso
    REWRITING LOGIC AND ITS APPLICATIONS, WRLA 2018, 2018, 11152 : 59 - 75
  • [10] ARCHITECTURE FOR SCIENTIFIC SOFTWARE .2. ANALYSIS OF A QUADRATIC-PROGRAMMING ALGORITHM
    AUXENFANTS, G
    BARTHE, L
    GIBERT, P
    RECHERCHE AEROSPATIALE, 1982, (04): : 247 - 255
12345