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)

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

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

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

Validating Software Reliability Early through Statistical Model Checking (Abstract)

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

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

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

Strategic Traceability for Safety-Critical Projects (Abstract)

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

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

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

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
Impact

The Generational Impact of Software (Abstract)

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

Beyond Data Mining (PDF)

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