By Topic

Software, IEEE

Issue 3 • Date May-June 2009

Filter Results

Displaying Results 1 - 25 of 26
  • [Front cover]

    Publication Year: 2009, Page(s): c1
    Request permission for commercial reuse | PDF file iconPDF (764 KB)
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2009, Page(s):c2 - 1
    Request permission for commercial reuse | PDF file iconPDF (756 KB)
    Freely Available from IEEE
  • Diversity and Software Development

    Publication Year: 2009, Page(s):2 - 4
    Request permission for commercial reuse | PDF file iconPDF (217 KB) | HTML iconHTML
    Freely Available from IEEE
  • Creating Sustainable Designs

    Publication Year: 2009, Page(s):5 - 7
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (225 KB) | HTML iconHTML

    Christopher Alexander's concept of centers and properties of living structures can help developers create pleasing, sustainable software designs. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Not on the Shelves

    Publication Year: 2009, Page(s):8 - 9
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (191 KB) | HTML iconHTML

    Sometimes, the best way to figure out where you'd like to go is to imagine what you'll have when you get there… View full abstract»

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

    Publication Year: 2009, Page(s):10 - 11
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (164 KB) | HTML iconHTML

    The metaphor of software development as building construction is an old one. Here is a fresh perspective, considering the life cycle of a software-intensive system as a river. View full abstract»

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

    Publication Year: 2009, Page(s):12 - 13
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (680 KB) | HTML iconHTML

    A drawing is often the best way to describe a large, complex artifact. In software development, you can easily derive pictures from code through tools that automate diagram creation. With the Graphviz tools you can draw directed and undirected relations between elements using a simple declarative language. Pic features a procedural drawing language that lets you define your own domain-specific dra... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Guest Editors' Introduction: Embedded Software Technologies and Trends

    Publication Year: 2009, Page(s):14 - 18
    Cited by:  Papers (2)
    Request permission for commercial reuse | PDF file iconPDF (1674 KB) | HTML iconHTML
    Freely Available from IEEE
  • Trends in Embedded Software Engineering

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

    Software's importance in the development of embedded systems has been growing rapidly over the last 20 years. Because of current embedded systems' complexity, they require sophisticated engineering methods for systematically developing high-quality software. Embedded software development differs from IT system development in several ways. For example, IT systems developers can use standard hardwar... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • UML-Based Model-Driven Development for HSDPA Design

    Publication Year: 2009, Page(s):26 - 33
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (395 KB) | HTML iconHTML

    UML-based model- driven development can reduce the costs of developing, maintaining, and evolving complex software systems. Experiments with a High-Speed Downlink Packet Access design illustrate this approach's effectiveness. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Embedded Multiprocessor Systems-on-Chip Programming

    Publication Year: 2009, Page(s):34 - 41
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (333 KB) | HTML iconHTML

    We have demonstrated the toolflow developed at IMEC for the MPEG-4 encoder on different platforms. In the future, we want to integrate the different tools in the flow even more, because they are mainly used separately today. Furthermore, we are in the process of validating the flow on more applications, particularly in the wireless-communication domain. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal Modeling and Verification of Safety-Critical Software

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

    Rigorous quality demonstration is important when developing safety-critical software such as a reactor protection system (RPS) for a nuclear power plant. Although using formal methods such as formal modeling and verification is strongly recommended, domain experts often reject formal methods for four reasons: there are too many candidate techniques, the notations appear complex, the tools often wo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A More Agile Approach to Embedded System Development

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

    Given the plethora of advantages attributed to agile methodologies, why are there only infrequent reports of their application in the embedded systems world? We believe this has two principal causes. First, embedded applications go through a life cycle that differs from desktop life cycles, so that desktop application production processes must be significantly altered to meet the demands of this n... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Experiences in Improving Flight Software Development Processes

    Publication Year: 2009, Page(s):58 - 64
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (787 KB) | HTML iconHTML

    In 2001, the Jet Propulsion Laboratory (JPL) initiated a software process improvement effort. In 2004, JPL began the Multimission System Architecture Platform (MSAP) project and designated it as part of this effort. In 2007, JPL's Engineering and Science Directorate, which controls the MSAP project's technical development, achieved CMMI Staged Maturity Level 3.1 This article describes the impacts ... View full abstract»

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

    Publication Year: 2009, Page(s): 65
    Request permission for commercial reuse | PDF file iconPDF (233 KB)
    Freely Available from IEEE
  • Point/Counterpoint

    Publication Year: 2009, Page(s):66 - 69
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (330 KB) | HTML iconHTML

    Les Hatton ("Embedded versus Application—They're Much the Same") and Michiel van Genuchten ("Embedded Software Isn't Future Proof") discuss whether significant differences exist between embedded and application software. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Guest Editor's Introduction: Software Measurement

    Publication Year: 2009, Page(s): 70
    Request permission for commercial reuse | PDF file iconPDF (94 KB) | HTML iconHTML
    Freely Available from IEEE
  • Conceptual Association of Functional Size Measurement Methods

    Publication Year: 2009, Page(s):71 - 78
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (341 KB) | HTML iconHTML

    Functional size determines how much functionality software provides by measuring the aggregate amount of its cohesive execution sequences. Alan Albrecht first introduced the concept in 1979. Since he originally described the function point analysis (FPA) method, researchers and practitioners have developed variations of functional size metrics and methods. The authors discuss the conceptual simila... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • How to Avoid Selecting Bids Based on Overoptimistic Cost Estimates

    Publication Year: 2009, Page(s):79 - 84
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (361 KB) | HTML iconHTML

    This article documents important connections between cost overruns and bidding. It also recommends how clients should design their bidding process to avoid selecting bids based on overoptimistic cost estimates. The recommendations provided reduce the risk of initiating projects that have unrealistic plans, time overruns, low software quality, high maintenance costs, and inflexible providers. Altho... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Card Sorts to Acquire Requirements

    Publication Year: 2009, Page(s):85 - 86
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (221 KB) | HTML iconHTML

    This paper deals with a requirement acquisition techniques card sorts. One reason is that requirements projects are often constrained by software solutions such as components, off-the-shelf packages, and application features. More and more projects need to acquire requirements to select between available solutions. This is where card sorts come in. During a card sort, one or more stakeholders work... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On Teaching Visual Formalisms

    Publication Year: 2009, Page(s):87 - 95
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1033 KB) | HTML iconHTML Multimedia Media

    In the spring semester of the 2004-2005 academic year at the Weizmann Institute of Science, coauthor David Harel delivered the graduate course Executable Visual Languages for System Development. It is a course on visual formalisms for reactive systems emphasized using such languages for not only specification and requirements but also (and predominantly) actual execution. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Ensuring the Integrity of Embedded Software with Static Code Analysis

    Publication Year: 2009, Page(s):96 - 99
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (663 KB) | HTML iconHTML

    With embedded software becoming increasingly pervasive and critical to our society, developers must ensure that their software code performs as intended and doesn't fail. Static code analysis is key in controlling code quality even before unit testing. It doesn't replace other verification and validation steps but helps remove certain defect types that otherwise wouldn't be found. This article pro... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • What Do We Know about Knowledge Management? Practical Implications for Software Engineering

    Publication Year: 2009, Page(s):100 - 103
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (376 KB) | HTML iconHTML Multimedia Media

    There have been many claims about knowledge management's benefits in software engineering, such as decreased time and cost for development, increased quality, and better decision-making abilities. Although we can find some success stories illustrating these claims, particularly on aspects related to the systems and engineering schools, more research is necessary to explore the intersection between... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Is Linux Better than Windows Software?

    Publication Year: 2009, Page(s): 104
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (217 KB) | HTML iconHTML

    The evidence is not that clear-cut on whether Linux's performance and quality are higher than those of Windows. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Better Software 2009 [advertisement]

    Publication Year: 2009, Page(s): c3
    Request permission for commercial reuse | PDF file iconPDF (429 KB)
    Freely Available from IEEE

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