<![CDATA[ Software, IEEE - new TOC ]]> http://ieeexplore.ieee.org TOC Alert for Publication# 52 2013 May 16 <![CDATA[Front Cover]]> 30 3 c1 c1 746 <![CDATA[IEEE Computer Society Membership Advertisement]]> 30 3 1 1 1496 <![CDATA[Table of Contents]]> 30 3 2 3 1171 <![CDATA[Sharing Your Story]]> 30 3 4 7 914 <![CDATA[Digital IEEE Software Advertisement]]> 30 3 8 8 739 <![CDATA[Storytelling for Software Professionals]]> 30 3 9 12 3230 <![CDATA[Are Requirements Alive and Kicking?]]> 30 3 13 15 653 <![CDATA[In Defense of Boring]]> 30 3 16 17 490 <![CDATA[Systems Software]]> 30 3 18 19 492 <![CDATA[Software Agents in Industrial Automation Systems]]> 30 3 20 24 880 <![CDATA[Safety-Critical Software [Guest editors' introduction]]]> 30 3 25 27 673 <![CDATA[Model-Based Development and Formal Methods in the Railway Industry]]> 30 3 28 34 774 <![CDATA[Validating Software Reliability Early through Statistical Model Checking]]> 30 3 35 41 1617 <![CDATA[Engineering Air Traffic Control Systems with a Model-Driven Approach]]> 30 3 42 48 1200 <![CDATA[IEEE Computer Society Jobs Board Advertisement]]> 30 3 49 49 10555 <![CDATA[Testing or Formal Verification: DO-178C Alternatives and Industrial Experience]]> 30 3 50 57 1570 <![CDATA[Strategic Traceability for Safety-Critical Projects]]> 30 3 58 66 1800 <![CDATA[Flight Control Software: Mistakes Made and Lessons Learned]]> 30 3 67 72 1182 <![CDATA[SCEPYLT: An Information System for Fighting Terrorism]]> 30 3 73 79 663 <![CDATA[Software Sketchifying: Bringing Innovation into Software Development]]> 30 3 80 86 1192 <![CDATA[The Generational Impact of Software]]> 30 3 87 89 844 <![CDATA[Beyond Data Mining]]> 30 3 92 92 839