Works matching IS 07407459 AND DT 2013 AND VI 30 AND IP 3

Results: 17

Beyond Data Mining.

Published in:

IEEE Software, 2013, v. 30, n. 3, p. 92

By:

Kruchten, Philippe;
Menzies, Tim

Publication type:

Article

The Generational Impact of Software.

Published in:

IEEE Software, 2013, v. 30, n. 3, p. 87

By:

Genuchten, Michiel van;
Anne-Francoise;
Rutkowski;
Saunders, Carol;
Hatton, Les

Publication type:

Article

Software Sketchifying: Bringing Innovation into Software Development.

Published in:

IEEE Software, 2013, v. 30, n. 3, p. 80, doi. 10.1109/MS.2012.71

By:

Obrenovic, Zeljko

Publication type:

Article

Validating Software Reliability Early through Statistical Model Checking.

Published in:

IEEE Software, 2013, v. 30, n. 3, p. 35, doi. 10.1109/MS.2013.24

By:

Youngjoo Kim;
Okjoo Choi;
Moonzoo Kim;
Jongmoon Baik;
Tai-Hyo Kim

Publication type:

Article

Safety-Critical Software.

Published in:

IEEE Software, 2013, v. 30, n. 3, p. 25, doi. 10.1109/MS.2013.55

By:

Larrucea, Xabier;
Combelles, Annie;
Favaro, John

Publication type:

Article

Flight Control Software: Mistakes Made and Lessons Learned.

Published in:

IEEE Software, 2013, v. 30, n. 3, p. 67, doi. 10.1109/MS.2013.42

By:

Jeppu, Yogananda

Publication type:

Article

Testing or Formal Verification: DO-178C Alternatives and Industrial Experience.

Published in:

IEEE Software, 2013, v. 30, n. 3, p. 50, doi. 10.1109/MS.2013.43

By:

Moy, Yannick;
Ledinot, Emmanuel;
Delseny, Hervé;
Wiels, Virginie;
Monate, Benjamin

Publication type:

Article

Engineering Air Traffic Control Systems with a Model-Driven Approach.

Published in:

IEEE Software, 2013, v. 30, n. 3, p. 42, doi. 10.1109/MS.2013.20

By:

Carrozza, Gabriella;
Faella, Mauro;
Fucci, Francesco;
Pietrantuono, Roberto;
Russo, Stefano

Publication type:

Article

SCEPYLT: An Information System for Fighting Terrorism.

Published in:

IEEE Software, 2013, v. 30, n. 3, p. 73, doi. 10.1109/MS.2013.23

By:

Cano, Jesús;
Hernández, Roberto

Publication type:

Article

Model-Based Development and Formal Methods in the Railway Industry.

Published in:

IEEE Software, 2013, v. 30, n. 3, p. 28, doi. 10.1109/MS.2013.44

By:

Ferrari, Alessio;
Fantechi, Alessandro;
Gnesi, Stefania;
Magnani, Gianluca

Publication type:

Article

Strategic Traceability for Safety-Critical Projects.

Published in:

IEEE Software, 2013, v. 30, n. 3, p. 58, doi. 10.1109/MS.2013.60

By:

Mäder, Patrick;
Jones, Paul L.;
Yi Zhang;
Cleland-Huang, Jane

Publication type:

Article

Software Agents in Industrial Automation Systems.

Published in:

IEEE Software, 2013, v. 30, n. 3, p. 20

By:

Ebert, Christof;
Pech, Stephan

Publication type:

Article

Systems Software.

Published in:

IEEE Software, 2013, v. 30, n. 3, p. 18, doi. 10.1109/MS.2013.61

By:

Spinellis, Diomidis

Publication type:

Article

In Defense of Boring.

Published in:

IEEE Software, 2013, v. 30, n. 3, p. 16, doi. 10.1109/MS.2013.54

By:

Booch, Grady

Publication type:

Article

Storytelling for Software Professionals.

Published in:

IEEE Software, 2013, v. 30, n. 3, p. 9, doi. 10.1109/MS.2013.59

By:

Uittenbogaard, Arjen

Publication type:

Article

Sharing Your Story.

Published in:

IEEE Software, 2013, v. 30, n. 3, p. 4, doi. 10.1109/MS.2013.56

By:

Shull, Forrest

Publication type:

Article

Are Requirements Alive and Kicking?

Published in:

IEEE Software, 2013, v. 30, n. 3, p. 13, doi. 10.1109/MS.2013.47

By:

Cleland-Huang, Jane

Publication type:

Article