Foreword to the Special Issue on Formal Methods for Software Product Line Engineering

被引：0

作者：

Batory, Don ^{[1
]}

机构：

[1] Univ Texas Austin, Austin, TX 78712 USA

来源：

JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | 2016年 / 85卷 / 01期

关键词：

D O I：

10.1016/j.jlamp.2015.09.007

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：121 / 122

页数：2

共 50 条

[1] SPECIAL ISSUE ON FORMAL METHODS IN DATABASES AND SOFTWARE ENGINEERING - FOREWORD
ALAGAR, VS
THEORETICAL COMPUTER SCIENCE, 1994, 133 (02) : 203 - 204
[2] Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering
ter Beek, Maurice H.
Clarke, Dave
Schaefer, Ina
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (01) : 123 - 124
[3] Foreword to the special issue on empirical evidence on software product line engineering
Ebrahim Bagheri
David Benavides
Klaus Schmid
Per Runeson
Empirical Software Engineering, 2016, 21 : 1579 - 1585
[4] Foreword to the special issue on empirical evidence on software product line engineering
Bagheri, Ebrahim
Benavides, David
Schmid, Klaus
Runeson, Per
EMPIRICAL SOFTWARE ENGINEERING, 2016, 21 (04) : 1579 - 1585
[5] Special issue on 'Software Engineering and Formal Methods'
不详
SCIENCE OF COMPUTER PROGRAMMING, 2023, 225
[6] Special issue on ‘Software Engineering and Formal Methods’
Science of Computer Programming, 2023, 225
[7] Formal Methods in Software Product Line Engineering
Schaefer, Ina
Hahnle, Reiner
COMPUTER, 2011, 44 (02) : 82 - 85
[8] Special issue on 'Software Engineering and Formal Methods' Preface
不详
SCIENCE OF COMPUTER PROGRAMMING, 2023, 225
[9] Foreword to the special issue on quality engineering for software product lines
Bagheri, Ebrahim
Gasevic, Dragan
SOFTWARE QUALITY JOURNAL, 2012, 20 (3-4) : 421 - 424
[10] Foreword to the special issue on quality engineering for software product lines
Ebrahim Bagheri
Dragan Gašević
Software Quality Journal, 2012, 20 : 421 - 424

← 1 2 3 4 5 →