By Topic

IEEE Software

Issue 3 • Date May-June 2013

Filter Results

Displaying Results 1 - 22 of 22
  • Front Cover

    Publication Year: 2013, Page(s): c1
    Request permission for commercial reuse | PDF file iconPDF (746 KB)
    Freely Available from IEEE
  • IEEE Computer Society Membership Advertisement

    Publication Year: 2013, Page(s): 1
    Request permission for commercial reuse | PDF file iconPDF (1496 KB)
    Freely Available from IEEE
  • Table of Contents

    Publication Year: 2013, Page(s):2 - 3
    Request permission for commercial reuse | PDF file iconPDF (1171 KB)
    Freely Available from IEEE
  • Sharing Your Story

    Publication Year: 2013, Page(s):4 - 7
    Request permission for commercial reuse | PDF file iconPDF (914 KB) | HTML iconHTML
    Freely Available from IEEE
  • Digital IEEE Software Advertisement

    Publication Year: 2013, Page(s): 8
    Request permission for commercial reuse | PDF file iconPDF (739 KB)
    Freely Available from IEEE
  • Storytelling for Software Professionals

    Publication Year: 2013, Page(s):9 - 12
    Request permission for commercial reuse | PDF file iconPDF (3230 KB) | HTML iconHTML
    Freely Available from IEEE
  • Are Requirements Alive and Kicking?

    Publication Year: 2013, Page(s):13 - 15
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (653 KB) | HTML iconHTML

    The importance of discovering and understanding stakeholders' needs and delivering quality products that meet those needs is timeless. Nevertheless, dramatic changes in the IT environment over the past decade have introduced challenges that demand new and innovative approaches impacting almost every aspect of the requirements process. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • In Defense of Boring

    Publication Year: 2013, Page(s):16 - 17
    Request permission for commercial reuse | PDF file iconPDF (490 KB) | HTML iconHTML
    Freely Available from IEEE
  • Systems Software

    Publication Year: 2013, Page(s):18 - 19
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (492 KB) | HTML iconHTML

    Systems software is the low-level infrastructure that applications run on. As an applications programmer, first try to find existing systems software rather than writing it from scratch. Once you start writing systems software, use the most efficient algorithms and data structures that gracefully accommodate the workload. Have your code check for all error returns, block when it has nothing to do,... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software Agents in Industrial Automation Systems

    Publication Year: 2013, Page(s):20 - 24
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (880 KB) | HTML iconHTML

    Agent orientation is moving from its origins in computer science into applied automation systems engineering. The main benefit of using software agents in industrial automation is the combined application of agent-oriented software engineering with growing fields such as semantic technologies. Software agents also provide flexibility, which is often the key requirement for creating software system... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Safety-Critical Software [Guest editors' introduction]

    Publication Year: 2013, Page(s):25 - 27
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (673 KB) | HTML iconHTML

    We live in a world in which our safety depends on software-intensive systems. This is the case for the aeronautic, automotive, medical, nuclear, and railway sectors as well as many more. Organizations everywhere are struggling to find cost-effective methods to deal with the enormous increase in size and complexity of these systems, while simultaneously respecting the need to ensure their safety. C... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model-Based Development and Formal Methods in the Railway Industry

    Publication Year: 2013, Page(s):28 - 34
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (774 KB) | HTML iconHTML

    The transition from a code-based process to a model-based process isn't easy. This is particularly true for a company that operates in a safety-critical sector, where the products must be developed according to international standards, with certified tools and controlled processes. The authors summarize the experience of a railway signaling manufacturer that decided to adopt general-purpose, model... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Validating Software Reliability Early through Statistical Model Checking

    Publication Year: 2013, Page(s):35 - 41
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1617 KB) | HTML iconHTML

    Conventional software reliability assessment validates a system's reliability only at the end of development, resulting in costly defect correction. A proposed framework employs statistical model checking (SMC) to validate reliability at an early stage. SMC computes the probability that a target system will satisfy functional-safety requirements. The framework compares the allocated reliability go... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Engineering Air Traffic Control Systems with a Model-Driven Approach

    Publication Year: 2013, Page(s):42 - 48
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1200 KB) | HTML iconHTML

    Testing software in air traffic control systems costs much more than building them. This is basically true in every domain producing software-intensive critical systems. Software engineers strive to find methodological and process-level solutions to balance these costs and to better distribute verification efforts among all development phases. There's considerable interest in applying model-driven... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • IEEE Computer Society Jobs Board Advertisement

    Publication Year: 2013, Page(s): 49
    Request permission for commercial reuse | PDF file iconPDF (10555 KB)
    Freely Available from IEEE
  • Testing or Formal Verification: DO-178C Alternatives and Industrial Experience

    Publication Year: 2013, Page(s):50 - 57
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1570 KB) | HTML iconHTML

    Software for commercial aircraft is subject to the stringent certification processes described in the DO-178B standard, "Software Considerations in Airborne Systems and Equipment Certification." Issued in 1992, this document focuses strongly on the verification process, with a major emphasis on testing. In 2005, the avionics industry initiated an effort to update DO-178B, in large pa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Strategic Traceability for Safety-Critical Projects

    Publication Year: 2013, Page(s):58 - 66
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1800 KB) | HTML iconHTML

    To support any claim that a product is safe for its intended use, manufacturers must establish traceability within that product's development life cycle. Unfortunately, traceability information submitted to regulators and third parties is often weak, casting doubt rather than confidence in a product's integrity. This article evaluates traceability information for 10 submissions prepared by manufac... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Flight Control Software: Mistakes Made and Lessons Learned

    Publication Year: 2013, Page(s):67 - 72
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1182 KB) | HTML iconHTML

    Aerospace or flight control systems software development follows a rigorous process according to the RTCA DO-178B standard, yet software errors still occur. A review of the mistakes found during flight control test activities spanning 23 years reveals that the same mistakes tend to recur repeatedly. Moreover, we haven't yet learned everything about the mistakes that can be made in flight controls;... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • SCEPYLT: An Information System for Fighting Terrorism

    Publication Year: 2013, Page(s):73 - 79
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (663 KB) | HTML iconHTML

    A safety-critical software system called SCEPYLT provides an information solution for a field traditionally not computerized: explosives and their associated risks in handling, storage, transport, and use. SCEPYLT is a model for cooperative distributed systems engineering projects, synchronized over multiple databases. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software Sketchifying: Bringing Innovation into Software Development

    Publication Year: 2013, Page(s):80 - 86
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1192 KB) | HTML iconHTML

    Inspired by general ideas about how the automotive industry brings innovation into lean manufacturing, the author proposes introducing an activity called software sketchifying into software product development. Sketchifying aims to stimulate software stakeholders to spend more time generating and considering alternative ideas before making a decision to proceed with engineering. To support this ex... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Generational Impact of Software

    Publication Year: 2013, Page(s):87 - 89
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (844 KB) | HTML iconHTML

    Eighteen Impact columns to date have talked only about growing software. Les Hatton, Anne Rutkowski, and Carol Saunders indicate that there are also limits to growth in our field. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Beyond Data Mining

    Publication Year: 2013, Page(s): 92
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (839 KB) | HTML iconHTML

    Last century, it wasn't known if data miners could find structure within software projects. This century, we know better: data mining has been successfully applied to many different artifacts from software projects. So it's time to move on to "What's next?" In the author's view, "discussion mining" is the next great challenge for the predictive modeling community. These... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.

Aims & Scope

IEEE Software delivers reliable, useful, leading-edge software development information to keep engineers and managers abreast of rapid technology change.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Diomidis Spinellis
Athens University of Economics and Business
28is Oktovriou 76
Athina 104 33, Greece
dds@computer.org