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 条

[31] Formal methods in software practice - Introduction
Dillon, LK
Sankar, S
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997, 23 (05) : 265 - 266
[32] Technology transfer issues for formal methods of software specification
Furman Univ, Greenville, United States
Software Engineering Education Conference, Proceedings, 2000, : 23 - 31
[33] TRANSLATION BETWEEN PRAGMATIC SOFTWARE-DEVELOPMENT METHODS
BLACK, WJ
SUTCLIFFE, AG
LOUCOPOULOS, P
LAYZELL, PJ
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 289 : 357 - 365
[34] GUEST EDITORS INTRODUCTION - RAPID PROTOTYPING IN SOFTWARE-DEVELOPMENT
TANIK, MM
YEH, RT
COMPUTER, 1989, 22 (05) : 9 - 10
[35] MODELING CASE-STUDIES AT THE MATHS-IT INTERFACE - USING FORMAL METHODS IN THE SOFTWARE-DEVELOPMENT PROCESS
NORCLIFFE, A
THOMLINSON, MM
APPLICATIONS AND MODELLING IN LEARNING AND TEACHING MATHEMATICS, 1989, : 417 - 423
[36] The common framework initiative for algebraic specification and development of software
Sannella, D
PERSPECTIVES OF SYSTEM INFORMATICS, 2000, 1755 : 1 - 9
[37] Using formal specification language in industrial software development
Jiang, H
Lin, D
Xie, XR
1997 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT PROCESSING SYSTEMS, VOLS 1 & 2, 1997, : 1847 - 1851
[38] A formal specification language for domain specific software development
Basu, A
Bhattacharya, S
TENCON 2004 - 2004 IEEE REGION 10 CONFERENCE, VOLS A-D, PROCEEDINGS: ANALOG AND DIGITAL TECHNIQUES IN ELECTRICAL ENGINEERING, 2004, : B322 - B325
[39] Formal foundations for software engineering methods - Introduction
Hussmann, H
FORMAL FOUNDATIONS FOR SOFTWARE ENGINEERING METHODS, 1997, 1322 : 1 - +
[40] 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

← 1 2 3 4 5 →