• S
  • SEW
  • 2005
  • 29th Annual IEEE/NASA Software Engineering Workshop
Advanced Search 
29th Annual IEEE/NASA Software Engineering Workshop
Greenbelt, Maryland
April 06-April 07
ISBN: 0-7695-2306-4
Table of Contents
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
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
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
Usage of this product signifies your acceptance of the Terms of Use.