The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 03 - May-June (vol. 30)
ISSN: 0740-7459
From the Editor

Sharing Your Story (HTML)

Forrest Shull , Fraunhofer Center for Experimental Software
pp. 4-7
INSIGHTS: Storytelling
Requirements

Are Requirements Alive and Kicking? (Abstract)

Jane Cleland-Huang , DePaul University
pp. 13-15
On Computing

In Defense of Boring (HTML)

pp. 16-17
Tools of the Trade

Systems Software (HTML)

Diomidis Spinellis , Athens University of Economics and Business
pp. 18-19
Software Technology
FOCUS: Guest Editors' Introduction

Safety-Critical Software [Guest editors' introduction] (HTML)

Annie Combelles , inspearit Group
Xabier Larrucea , Tecnalia
John Favaro , Intecs SpA
pp. 25-27
FOCUS: Safety-Critical Software

Model-Based Development and Formal Methods in the Railway Industry (Abstract)

Stefania Gnesi , CNR-ISTI
Gianluca Magnani , General Electric Transportation Systems, Florence
Alessandro Fantechi , Università di Firenze
Alessio Ferrari , CNR-ISTI
pp. 28-34

Validating Software Reliability Early through Statistical Model Checking (Abstract)

Tai-Hyo Kim , FormalWorks
Jongmoon Baik , Korea Advanced Institute of Science and Technology
Moonzoo Kim , Korea Advanced Institute of Science and Technology
Okjoo Choi , Korea Advanced Institute of Science and Technology
Youngjoo Kim , S-Core
pp. 35-41

Engineering Air Traffic Control Systems with a Model-Driven Approach (Abstract)

Stefano Russo , Federico II University of Naples
Francesco Fucci , Federico II University of Naples
Roberto Pietrantuono , Federico II University of Naples
Mauro Faella , Critiware
pp. 42-48

Strategic Traceability for Safety-Critical Projects (Abstract)

Jane Cleland-Huang , DePaul University
Yi Zhang , US Food and Drug Administration
Paul L. Jones , US Food and Drug Administration
Patrick Mader , Ilmenau Technical University
pp. 58-66

Flight Control Software: Mistakes Made and Lessons Learned (Abstract)

Yogananda Jeppu , Moog India Technology Centre
pp. 67-72
Papers

SCEPYLT: An Information System for Fighting Terrorism (Abstract)

Jesus Cano , Universidad Nacional de Educacion a Distancia
Roberto Hernandez , Universidad Nacional de Educacion a Distancia
pp. 73-79
FEATURE: Safety-Critical Software
Impact

The Generational Impact of Software (Abstract)

Carol Saunders , University of Central Florida
Anne-Francoise Rutkowski , Tilburg University
Les Hatton , Kingston University
pp. 87-89
Sounding Board

Beyond Data Mining (PDF)

Tim Menzies , West Virginia University
pp. 92
103 ms
(Ver 3.3 (11022016))