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 条
  • [11] Mathematical models in process engineering
    Lory, P
    NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 1997, 30 (08) : 4965 - 4972
  • [12] Predictive models in software engineering
    Tim Menzies
    Gunes Koru
    Empirical Software Engineering, 2013, 18 : 433 - 434
  • [13] Software models and engineering practice
    Sargent, Philip M.
    Computer-aided engineering journal, 1988, 5 (06): : 237 - 240
  • [14] Predictive models in software engineering
    Menzies, Tim
    Koru, Gunes
    EMPIRICAL SOFTWARE ENGINEERING, 2013, 18 (03) : 433 - 434
  • [15] Models of motivation in software engineering
    Sharp, Helen
    Baddoo, Nathan
    Beecham, Sarah
    Hall, Tracy
    Robinson, Hugh
    INFORMATION AND SOFTWARE TECHNOLOGY, 2009, 51 (01) : 219 - 233
  • [16] Software Engineering with Models and Ontologies
    Ebert, Jurgen
    DATABASES AND INFORMATION SYSTEMS, 2010, : 27 - 41
  • [17] Models in software engineering – an introduction
    Jochen Ludewig
    Software and Systems Modeling, 2003, 2 (1): : 5 - 14
  • [18] USING MODELS IN SOFTWARE ENGINEERING
    DIPPOLITO, RS
    TRI-ADA 89 : INDUSTRY, ACADEMIA, GOVERNMENT: ADA TECHNOLOGY IN CONTEXT : APPLICATION, DEVELOPMENT, AND DEPLOYMENT, 1989, : 256 - 265
  • [19] Toward a mathematical foundation of software engineering methods
    Broy, M
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2001, 27 (01) : 42 - 57
  • [20] Pedagogy for Applying Mathematical Principles in Software Engineering
    Grant, Emanuel S.
    Shah, Kruti P.
    2022 7TH INTERNATIONAL STEM EDUCATION CONFERENCE, ISTEM-ED, 2022, : 60 - 63
12345