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

News Briefs (PDF)

pp. 24,25,26

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
Cordell Green , Kestrel Institute
Michael Lowry , NASA Ames Research Center
pp. 63-73

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

Krysta M. Svore , Columbia University
Igor L. Markov , University of Michigan
Isaac Chuang , Massachusetts Institute of Technology
Andrew W. Cross , Massachusetts Institute of Technology
Alfred V. Aho , Columbia University
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
Web Technologies

Petascale Computational Systems (Abstract)

Jim Gray , Microsoft Research
Gordon Bell , Microsoft Research
Alex Szalay , The Johns Hopkins University
pp. 110-112
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.
Bob Lutz , Johns Hopkins University
Reed Little , Software Engineering Institute
Roy Scrudder , US Defense Modeling and Simulation Office
Mike Lightner , AEgis Technologies
pp. 115-117
Embedded Computing

Reliability Concerns in Embedded System Designs (Abstract)

Yuan Xie , The Pennsylvania State University
Vijaykrishnan Narayanan , The Pennsylvania State University
pp. 118-120
The Profession
105 ms
(Ver 3.1 (10032016))