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 条

[21] SoSyM special section on software engineering and formal methods
Cuellar, Jorge
Liu, Zhiming
SOFTWARE AND SYSTEMS MODELING, 2007, 6 (01): : 37 - 38
[22] Foreword to the Special Issue on Semantics-Enabled Software Engineering
Bagheri, Ebrahim
Gasevic, Dragan
Pan, Jeff Z.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2012, 42 (01): : 1 - 2
[23] SPECIAL ISSUE ON KNOWLEDGE-BASED SOFTWARE ENGINEERING - FOREWORD
UENO, H
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1995, E78D (09) : 1101 - 1102
[24] Special issue on knowledge-based software engineering - Foreword
Hashimoto, M
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2000, E83D (04) : 589 - 590
[25] SPECIAL ISSUE ON SOFTWARE - FOREWORD
AZUMA, M
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1992, E75D (05) : 625 - 626
[26] Special Issue Formal Languages and Analysis of Contract-Oriented Software Foreword
Pace, Gordon
Schneider, Gerardo
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2011, 80 (3-5): : 137 - 138
[27] Foreword to special issue on "Qualitative Methods in Engineering Science" Preface
Quintanilla, Ramon
Fu, Yibin
INTERNATIONAL JOURNAL OF ENGINEERING SCIENCE, 2015, 88 : 1 - 2
[28] Software engineering and formal methods: SEFM 2019 special section
Peter Csaba Ölveczky
Gwen Salaün
Software and Systems Modeling, 2021, 20 : 291 - 292
[29] Software engineering and formal methods: SEFM 2019 special section
Olveczky, Peter Csaba
Salaun, Gwen
SOFTWARE AND SYSTEMS MODELING, 2021, 20 (02): : 291 - 292
[30] 1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010)
Schaefer, Ina
Becker, Martin
Carbon, Ralf
Apel, Sven
SOFTWARE PRODUCT LINES: GOING BEYOND, 2010, 6287 : 526 - 526

← 1 2 3 4 5 →