The Community for Technology Leaders
Green Image
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

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)

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

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

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

A More Agile Approach to Embedded System Development (Abstract)

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

Point/Counterpoint (Abstract)

Les Hatton , Oakwood Computing Associates and Kingston University, London
Michiel van Genuchten , Eindhoven University of Technology
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

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)

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

Is Linux Better than Windows Software? (Abstract)

Adenekan (Nick) Dedeke , Northeastern University
pp. 104, 103
82 ms
(Ver 3.3 (11022016))