Mathematical system models as a basis of software engineering

被引：0
|
作者：
Broy, M
机构：
来源：
COMPUTER SCIENCE TODAY | 1995年 / 1000卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We give mathematical system models as a basis for system specification, system development by refinement, and system implementation. It provides a simple homogeneous mathematical and logical foundation of software and systems engineering. We treat mathematical concepts of refinement through levels of abstraction and complementing system views as they are used in software engineering. The goal is to give a coherent and simple mathematical basis.
引用
收藏
页码：292 / 306
页数：15
相关论文
共 50 条
  • [1] Mathematical Basis and Information System Software for Educational Institutions Ranking
    Uvalieva, Indira
    Chettykbayev, Ruslan
    Utegenova, Anar
    Toibayeva, Shara
    2015 9TH INTERNATIONAL CONFERENCE ON APPLICATION OF INFORMATION AND COMMUNICATION TECHNOLOGIES (AICT), 2015, : 486 - 490
  • [2] ON THE MATHEMATICAL BACKGROUND IN SOFTWARE ENGINEERING
    Enikeev, Arslan
    Mohammed, Mahfoodh Bilal Ahmed
    INFORMATICS, GEOINFORMATICS AND REMOTE SENSING CONFERENCE PROCEEDINGS, SGEM 2016, VOL I, 2016, : 311 - 318
  • [3] Using of Residual Number System as a Mathematical Basis for Software Defined Radio
    Polikarovskykh, A., I
    Kovtun, L. O.
    Karpova, L., V
    Gula, I., V
    Melnychuk, V. M.
    VISNYK NTUU KPI SERIIA-RADIOTEKHNIKA RADIOAPARATOBUDUVANNIA, 2019, (76): : 21 - 28
  • [4] MATHEMATICAL MODELS IN ENGINEERING
    Camarena Gallardo, Patricia
    EDULEARN14: 6TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, 2014, : 4505 - 4513
  • [5] Mathematical estimation models for hardware and software fault tolerant system
    Jirakittayakorn, P
    Wattanapongsakorn, N
    Coit, D
    Advanced Reliability Modeling, 2004, : 221 - 228
  • [6] Mathematical reasoning in software engineering education
    Henderson, PB
    COMMUNICATIONS OF THE ACM, 2003, 46 (09) : 45 - 50
  • [7] ENGINEERING SOFTWARE - MATHEMATICAL POWER TOOLS
    RIDDLE, A
    IEEE SPECTRUM, 1994, 31 (11) : 35 - &
  • [8] Models in Systems Engineering and Software Engineering
    Andary, James F.
    Frisch, Harry P.
    Oliver, David W.
    Insight, 2007, 3 (26-27) : 26 - 27
  • [9] FINDING AN EXPERIMENTAL BASIS FOR SOFTWARE ENGINEERING
    BASILI, V
    IEEE SOFTWARE, 1995, 12 (03) : 92 - 93
  • [10] A unified framework for the software engineering process system standards and models
    Wang, YX
    King, G
    Dorling, A
    Wickberg, H
    FOURTH IEEE INTERNATIONAL SYMPOSIUM AND FORUM ON SOFTWARE ENGINEERING STANDARDS - PROCEEDINGS, 1999, : 132 - 141
12345