The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 03 - May/June (vol. 26)
ISSN: 0740-7459

Formal Modeling and Verification of Safety-Critical Software (Abstract)

Junbeom Yoo , Konkuk Univ., Seoul
Eunkyoung Jee , Korea Adv. Inst. of Sci. & Technol., Seoul
Sungdeok Cha , Korea Univ., Seoul
pp. 42-49
From the Editor

Diversity and Software Development (HTML)

Hakan Erdogmus , National Research Council Canada
pp. 2-4
Design

Creating Sustainable Designs (Abstract)

Rebecca J. Wirfs-Brock , Wirfs-Brock Associates
pp. 5-7
Career Development

Not on the Shelves (Abstract)

Greg Wilson , University of Toronto
pp. 8-9
On Architecture

Like a River (Abstract)

pp. 10-11
Tools of the Trade

Drawing Tools (Abstract)

Diomidis Spinellis , Athens University of Economics and Business
pp. 12-13
FOCUS 1: Embedded Software

Trends in Embedded Software Engineering (Abstract)

Peter Liggesmeyer , University of Kaiserslautern
Mario Trapp , Fraunhofer Institute for Experimental Software Engineering
pp. 19-25

UML-Based Model-Driven Development for HSDPA Design (Abstract)

Pedro Merino , University of Málaga
Alberto Salmerón , University of Málaga
Francisco Malpartida , AT4 wireless
Jesús Martínez , University of Málaga
pp. 26-33

Formal Modeling and Verification of Safety-Critical Software (Abstract)

Eunkyoung Jee , Korea Advanced Institute of Science and Technology
Junbeom Yoo , Konkuk University
Sungdeok (Steve) Cha , Korea University
pp. 42-49

A More Agile Approach to Embedded System Development (Abstract)

Michael Smith , University of Calgary
Lily Huang , NovATel
James Miller , University of Alberta
Albert Tran , DirectVoxx
pp. 50-57
Point/Counterpoint

Point/Counterpoint (Abstract)

Michiel van Genuchten , Eindhoven University of Technology
Les Hatton , Oakwood Computing Associates and Kingston University, London
pp. 66-69
FOCUS 2: Software Estimation

Conceptual Association of Functional Size Measurement Methods (Abstract)

Onur Demirors , Middle East Technical University
Cigdem Gencel , Blekinge Institute of Technology
pp. 71-78
Requirements

Card Sorts to Acquire Requirements (Abstract)

Neil Maiden , City University London
pp. 85-86
FEATURE: Education

On Teaching Visual Formalisms (Abstract)

David Harel , Weizmann Institute of Science
Michal Gordon-Kiwkowitz , Weizmann Institute of Science
pp. 87-95
Software Technology
Voice of Evidence

What Do We Know about Knowledge Management? Practical Implications for Software Engineering (Abstract)

Forrest Shull , Fraunhofer Center for Experimental Software Engineering
Torgeir Dingsøyr , SINTEF Information and Communication Technology
Finn Olav Bjørnson , SINTEF Fisheries and Aquaculture
pp. 100-103
Loyal Opposition

Is Linux Better than Windows Software? (Abstract)

Adenekan (Nick) Dedeke , Northeastern University
pp. 104, 103
105 ms
(Ver 3.1 (10032016))