The Community for Technology Leaders
Green Image
Issue No. 01 - January (vol. 39)
ISSN: 0018-9162

[Front cover] (PDF)

pp. c1

Masthead (PDF)

pp. 1

Table of contents (PDF)

pp. 2-3

Article Summaries (HTML)

pp. 4

Letters (Abstract)

pp. 6-7
Membership News

Celebrating the Past, Looking to the Future (Abstract)

Doris L. Carver , Louisiana State University
pp. 8-10
In Our Time

George Stibitz's Values and R.C. Archibald's Slide Rule (Abstract)

David Alan Grier , The George Washington University
pp. 11-13
32 & 16 Years Ago

32 & 16 Years Ago (HTML)

pp. 14-15
Industry Trends
Technology News
Cover Features

Ten Commandments of Formal Methods ...Ten Years Later (Abstract)

Jonathan P. Bowen , London South Bank University
Michael G. Hinchey , NASA Software Engineering Laboratory
pp. 40-48

Successfully Outsourcing Embedded Software Development (Abstract)

Joseph W. Rottman , University of Missouri, St. Louis
pp. 55-61

NASA's Exploration Agenda and Capability Engineering (Abstract)

Daniel E. Cooke , Texas Tech University
Matt Barry , Jet Propulsion Laboratory
Michael Lowry , NASA Ames Research Center
Cordell Green , Kestrel Institute
pp. 63-73

A Layered Software Architecture for Quantum Computing Design Tools (Abstract)

Krysta M. Svore , Columbia University
Alfred V. Aho , Columbia University
Andrew W. Cross , Massachusetts Institute of Technology
Isaac Chuang , Massachusetts Institute of Technology
Igor L. Markov , University of Michigan
pp. 74-83
Membership News

Call and Calendar (HTML)

pp. 92-95

Bookshelf (HTML)

pp. 96

Products (HTML)

pp. 97

Career Opportunities (PDF)

pp. 98-108

[Back inside cover] (PDF)

pp. c3
IT Systems Perspectives

A Developmental View of System Security (Abstract)

Christopher L. Huntley , Fairfield University
pp. 113-114

Enabling Simulation Interoperability (Abstract)

Katherine L. Morse , Science Applications International Corp.
Mike Lightner , AEgis Technologies
Reed Little , Software Engineering Institute
Bob Lutz , Johns Hopkins University
Roy Scrudder , US Defense Modeling and Simulation Office
pp. 115-117
Embedded Computing

Reliability Concerns in Embedded System Designs (Abstract)

Vijaykrishnan Narayanan , The Pennsylvania State University
Yuan Xie , The Pennsylvania State University
pp. 118-120
The Profession
87 ms
(Ver 3.3 (11022016))