INTRODUCTION TO ALGEBRAIC SPECIFICATION .1. FORMAL METHODS FOR SOFTWARE-DEVELOPMENT

被引：7

作者：

EHRIG, H ^{[1
]}

MAHR, B ^{[1
]}

CLASSEN, I ^{[1
]}

OREJAS, F ^{[1
]}

机构：

[1] TECH UNIV CATALUNYA,BARCELONA,SPAIN

来源：

COMPUTER JOURNAL | 1992年 / 35卷 / 05期

关键词：

D O I：

10.1093/comjnl/35.5.460

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

The intention of this part 1 of an overview paper on algebraic specifications is an informal introduction to formal methods for software development in general and to applications of algebraic specifications in particular. Horizontal structuring and vertical refinement techniques for algebraic specifications are shown to support the general software development process. Moreover, a short overview of case studies and tools in the ESPRIT projects LOTOSPHERE and PROSPECTRA is given. In part 2 of this paper we give a survey of the research field of algebraic specifications developed within the last two decades, which shows how the classical view of algebraic specifications has been extended towards a general theory of foundations of system specifications.

引用

页码：460 / 467

页数：8

共 50 条

[41] Practical application of formal methods for specification and analysis of software architecture
Maxwell, C
Parakhine, A
Leaney, J
2005 Australian Software Engineering Conference, Proceedings, 2005, : 302 - 311
[42] INTRODUCTION OF THE PROJECT-MANAGEMENT DISCIPLINE IN A SOFTWARE-DEVELOPMENT ORGANIZATION
RAZ, T
IBM SYSTEMS JOURNAL, 1993, 32 (02) : 265 - 277
[43] GRAPHICAL OBJECT ORIENTED EXECUTABLE SPECIFICATION FOR AN AUTOMATION ORIENTED PARADIGM OF SOFTWARE-DEVELOPMENT
RUSSI, V
ZOMPI, R
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 429 : 225 - 234
[44] H. Ehrig: The Algebraic Specification Column Algebraic Techniques in Software Development
Bull Eur Assoc Theor Comput Sci, 58 (105):
[45] THE IMPACT OF CASE ON SOFTWARE-DEVELOPMENT PROCESSES - GUEST EDITORS INTRODUCTION
COOKE, DE
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1991, 1 (02) : R3 - R4
[46] FORMAL METHODS .1.
DEMAN, JA
MICROPROCESSING AND MICROPROGRAMMING, 1989, 27 (1-5): : 153 - 153
[47] VIEWPOINT ORIENTED SOFTWARE-DEVELOPMENT - METHODS AND VIEWPOINTS IN REQUIREMENTS ENGINEERING
FINKELSTEIN, A
GOEDICKE, M
KRAMER, J
NISKIER, C
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 490 : 29 - 54
[48] ALGEBRAIC CONCEPTS FOR SOFTWARE-DEVELOPMENT IN ACT ONE, ACT-2, AND LOTOS
EHRIG, H
CLASSEN, I
BOEHM, P
FEY, W
KORFF, M
LOWE, M
SYSTEMS ANALYSIS MODELLING SIMULATION, 1991, 8 (4-5): : 353 - 373
[49] Introduction to software develoment methods based on formal specifications
Kuruma, Hironobu
Ishikawa, Fuyuki
Computer Software, 2012, 29 (04) : 50 - 58
[50] HIERARCHICAL SPIRAL MODEL FOR INFORMATION-SYSTEM AND SOFTWARE-DEVELOPMENT .1. THEORETICAL BACKGROUND
IIVARI, J
INFORMATION AND SOFTWARE TECHNOLOGY, 1990, 32 (06) : 386 - 399

← 1 2 3 4 5 →