The Community for Technology Leaders
RSS Icon
Subscribe
Proceedings. 29th Annual IEEE/NASA Software Engineering Workshop (2005)
Greenbelt, MD
April 6, 2005 to April 7, 2005
ISBN: 0-7695-2306-4
TABLE OF CONTENTS
Introduction
Foreword (PDF)
pp. viii
Foreword (PDF)
pp. viii
Cover
Introduction
Session 2: Software Release
Susan K. Donohue , Department of Systems and Information Engineering, University of Virginia
Joanne Bechta Dugan , Department of Electrical and Computer Engineering,University of Virginia
Charles L. Brown , Department of Electrical and Computer Engineering,University of Virginia
pp. 5-13
Omolade Saliu , Laboratory for Software Engineering Decision Support University of Calgary, 2500 University Drive NW, Calgary, AB, Canada
Guenther Ruhe , Laboratory for Software Engineering Decision Support University of Calgary, 2500 University Drive NW, Calgary, AB, Canada
pp. 14-26
Session 3: Development Issues
P Wongthongtham , School of Information Systems, Curtin University of Technology, Australia
P Chang E , School of Information Systems, Curtin University of Technology, Australia
C Cheah , School of Information Systems, Curtin University of Technology, Australia
Dillon, T.S. , Faculty of Information Technology, University of Technology Sydney, Australia
pp. 27-33
David Garlan , School of Computer Science Carnegie Mellon University Pittsburgh, PA, USA
William K. Reinholtz , Jet Propulsion Laboratory California Institute of Technology, Pasadena, CA., USA
Bradley Schmerl , School of Computer Science Carnegie Mellon University Pittsburgh, PA, USA
Nicholas D. Sherman , School of Computer Science Carnegie Mellon University Pittsburgh, PA, USA
Tony Tseng , School of Computer Science Carnegie Mellon University Pittsburgh, PA, USA
pp. 34-46
Session 4: Analysis and Evaluation
Swapna S. Gokhale , Dept. of CSE Advanced Univ. of Connecticut Storrs, CT
John R. Crigler , Advanced Computation Tech. Div. NSWC, Dahlgren Division Dahlgren, VA.
William H. Farr , Advanced Computation Tech. Div. NSWC, Dahlgren Division Dahlgren, VA.
Dolores R. Wallace , SRS Technologies NASA GSFC Greenbelt, MD
pp. 47-56
Mari?ngela Vanzin , Pontif?cia Universidade Cat?lica do Rio Grande do Sul - PUCRS
Marcelo Blois Ribeiro , Pontif?cia Universidade Cat?lica do Rio Grande do Sul - PUCRS
Rafael Prikladnicki , Pontif?cia Universidade Cat?lica do Rio Grande do Sul - PUCRS
Ilmari Ceccato , Pontif?cia Universidade Cat?lica do Rio Grande do Sul - PUCRS
Dante Antunes , Pontif?cia Universidade Cat?lica do Rio Grande do Sul - PUCRS
pp. 57-65
Thomas Panas , Software Technology Group MSI, University of Vaxjo, Sweden
R?udiger Lincke , Software Technology Group MSI, University of Vaxjo, Sweden
Jonas Lundberg , Software Technology Group MSI, University of Vaxjo, Sweden
Welf Lowe , Software Technology Group MSI, University of Vaxjo, Sweden
pp. 66-75
Michael S. Moore , Southwest Research Institute
Jeremy C. Price , Southwest Research Institute
Ben Abbott , Southwest Research Institute
John Liebetreu , General Dynamics
Richard Reinhart , NASA Glenn Research Center
Thomas Kacpura , ZIN Technologies
pp. 76-88
Session 5: Code and Programming
Mark E. M. Stewart , QSS Group Inc. at NASA Glenn Research Center Brook Park, Ohio, USA
pp. 89-96
Code Normal Forms (Abstract)
Markus Pizka , Institut fur Informatik Technische Universit at Munchen Germany, Munich
pp. 97-108
Session 6: Requirements Issues
Boby George , Department of Computer Science Virginia Polytechnic Institute and State University, Blacksburg, VA
H. Lally Singh , Department of Computer Science Virginia Polytechnic Institute and State University, Blacksburg, VA
Shawn A. Bohner , Department of Computer Science Virginia Polytechnic Institute and State University, Blacksburg, VA
Denis Gracanin , Department of Computer Science Virginia Polytechnic Institute and State University, Blacksburg, VA
pp. 109-117
Lester O. Lobo , Department of Computer Science, Virginia Tech, Blacksburg, Virginia, USA
James D. Arthur , Department of Computer Science, Virginia Tech, Blacksburg, Virginia, USA
pp. 118-130
Session 7A: Risk and Safety
Norman F. Schneidewind , Naval Postgraduate School
pp. 131-141
Rattikorn Hewett , Computer Science Department, Texas Tech University
Remzi Seker , Computer Science Department, Texas Tech University
pp. 142-149
Yangyang Yu , Department of Electrical and Computer Engineering, University of Virginia
Barry W. Johnson , Department of Electrical and Computer Engineering, University of Virginia
pp. 150-162
Session 7B: Architecture Issues
R. Bashroush , Queens University Belfast,School of Computer Science,18 Malone Road, Belfast, UK
T.J. Brown , Queens University Belfast,School of Computer Science,18 Malone Road, Belfast, UK
I. Spence , Queens University Belfast,School of Computer Science,18 Malone Road, Belfast, UK
P. Kilpatrick , Queens University Belfast,School of Computer Science,18 Malone Road, Belfast, UK
pp. 163-173
Jun KONG , The University of Texas at Dallas, Richardson TX
Kang ZHANG , The University of Texas at Dallas, Richardson TX
Jing DONG , The University of Texas at Dallas, Richardson TX
Guanglei SONG , The University of Texas at Dallas, Richardson TX
pp. 173-182
Mahmoud O. Elish , Department of Computer Science George Mason University Fairfax, VA, USA
David Rine , Department of Computer Science George Mason University Fairfax, VA, USA
pp. 183-192
Session 8A: Real Time and Concurrency Issues
Andrew J. Kornecki , Dept. of Computer and Software Engineering Embry-Riddle Aeronautical University Daytona Beach, FL, USA
Janusz Zalewski , Computer Science Department Florida Gulf Coast University Fort Myers, FL, USA
pp. 193-200
R. E. K. Stirewalt , Department of Computer Science and Engineering Michigan State University East Lansing, MI
Reimer Behrends , Department of Computer Science and Engineering Michigan State University East Lansing, MI
Laura K. Dillon , Department of Computer Science and Engineering Michigan State University East Lansing, MI
pp. 201-210
Ugo Buy , Dept. of Computer Science, University of Illinois at Chicago
Mihai Lehene , Dept. of Computer Science, University of Illinois at Chicago
Houshang Darabi , Dept. of Mechanical and Industrial Engineering, University of Illinois at Chicago
pp. 211-218
Session 8B: Information and Reasoning Issues
Tiziana Margaria , Universit at Gottingen lotzestr. Gottingen, Germany
Bernhard Steffen , Chair of Programming Systems University of Dortmund, Germany
pp. 219-227
Phillip A. Laplante , Engineering Division,Great Valley Graduate Center Pennsylvania State University
Colin J. Neill , Engineering Division,Great Valley Graduate Center Pennsylvania State University
pp. 228-233
Sten F. Andler , University of Sk?vde, Sk?vde, Sweden
Lars Niklasson , University of Sk?vde, Sk?vde, Sweden
Bj?rn Olsson , University of Sk?vde, Sk?vde, Sweden
Anne Persson , University of Sk?vde, Sk?vde, Sweden
Leo J. de Vin , University of Sk?vde, Sk?vde, Sweden
Benkt Wangler , University of Sk?vde, Sk?vde, Sweden
Tom Ziemke , University of Sk?vde, Sk?vde, Sweden
Tomas Planstedt , Ericsson Microwave Systems AB, Sk?vde, Sweden
pp. 234-244
Session 9A: Formal Approaches
Phan C. Vinh , London South Bank University Centre for Applied Formal Methods, Institute for Computing Research, UK
Jonathan P. Bowen , London South Bank University Centre for Applied Formal Methods, Institute for Computing Research, UK
pp. 245-252
Christopher A. Rouff , SAIC Advanced Concepts Business Unit McLean, VA
Michael G. Hinchey , NASA Goddard Space Flight Center Information Systems Division Greenbelt, Maryland, USA
James L. Rash , NASA Goddard Space Flight Center Information Systems Division Greenbelt, Maryland, USA
Walter F. Truszkowski , NASA Goddard Space Flight Center Information Systems Division Greenbelt, Maryland, USA
pp. 253-264
Session 9B: Defects and Analysis
Stefan Wagner , Institut fur Informatik Technische Universit at Munchen Boltzmannstr. Garching, Germany
pp. 265-274
Bettina Anders , Fraunhofer Center for Experimental Software Engineering Maryland
J?rg Fellmann , Fraunhofer Center for Experimental Software Engineering Maryland
Mikael Lindvall , Fraunhofer Center for Experimental Software Engineering Maryland
Ioana Rus , Fraunhofer Center for Experimental Software Engineering Maryland
pp. 275-284
Session 10: Verification Issues
Peter C. Mehlitz , Computer Sciences Corporation, NASA Ames Research Center
John Penix , Computer Sciences Corporation, NASA Ames Research Center
pp. 285-292
Ganesh Pai , University of Virginia, Department of ECE, Charlottesville, Virginia, USA
Joanne Bechta-Dugan , University of Virginia, Department of ECE, Charlottesville, Virginia, USA
Khalid Lateef , TITAN Corporation, Greenbelt, Maryland, USA
pp. 293-304
Session 11: Testing and Validation
David Coppit , Department of Computer Science The College of William and Mary Williamsburg, VA
Jennifer M. Haddox-Schatz , Daniel H. Wagner Associates, Inc.Hampton, VA
pp. 305-314
Paolo Donzelli , Computer Science Department - University of Maryland
Daniel Hirschbach , Computer Science Department - University of Maryland
Victor Basili , Computer Science Department - University of Maryland
pp. 315-324
Lisa M. Boden , Lockheed Martin Space Systems Company
Robert D. Busser , Software Productivity Consortium/T-VEC
Mark R. Blackburn , Software Productivity Consortium/T-VEC
Aaron M. Nauman , Software Productivity Consortium/T-VEC
pp. 325-332
Author Index
Author Index (PDF)
pp. 333
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool