The Community for Technology Leaders
2012 35th Annual IEEE Software Engineering Workshop (2005)
Greenbelt, Maryland
Apr. 6, 2005 to Apr. 7, 2005
ISBN: 0-7695-2306-4
TABLE OF CONTENTS

Foreword (PDF)

pp. viii
Cover
Introduction
Session 2: Software Release

Is My Software "Good Enough" to Release? - A Probabilistic Assessment (Abstract)

Charles L. Brown , Department of Electrical and Computer Engineering,University of Virginia
Joanne Bechta Dugan , Department of Electrical and Computer Engineering,University of Virginia
Susan K. Donohue , Department of Systems and Information Engineering, University of Virginia
pp. 5-13

Supporting Software Release Planning Decisions for Evolving Systems (Abstract)

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

Software Engineering Sub-Ontology for Specific Software Development (Abstract)

P Wongthongtham , 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
P Chang E , School of Information Systems, Curtin University of Technology, Australia
pp. 27-33

Bridging the Gap between Systems Design (Abstract)

Nicholas D. Sherman , School of Computer Science Carnegie Mellon University Pittsburgh, PA, USA
David Garlan , School of Computer Science Carnegie Mellon University Pittsburgh, PA, USA
Bradley Schmerl , School of Computer Science Carnegie Mellon University Pittsburgh, PA, USA
William K. Reinholtz , Jet Propulsion Laboratory California Institute of Technology, Pasadena, CA., USA
Tony Tseng , School of Computer Science Carnegie Mellon University Pittsburgh, PA, USA
pp. 34-46
Session 4: Analysis and Evaluation

System Availability Analysis Considering Hardware/Software Failure Severities (Abstract)

Swapna S. Gokhale , Dept. of CSE Advanced Univ. of Connecticut Storrs, CT
Dolores R. Wallace , SRS Technologies NASA GSFC Greenbelt, MD
John R. Crigler , Advanced Computation Tech. Div. NSWC, Dahlgren Division Dahlgren, VA.
William H. Farr , Advanced Computation Tech. Div. NSWC, Dahlgren Division Dahlgren, VA.
pp. 47-56

Global Software Processes Definition in a Distributed Environment (Abstract)

Dante Antunes , Pontif?cia Universidade Cat?lica do Rio Grande do Sul - PUCRS
Rafael Prikladnicki , 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
Ilmari Ceccato , Pontif?cia Universidade Cat?lica do Rio Grande do Sul - PUCRS
Mari?ngela Vanzin , Pontif?cia Universidade Cat?lica do Rio Grande do Sul - PUCRS
pp. 57-65

A Qualitative Evaluation of a Software Development and Re-Engineering Project (Abstract)

Jonas Lundberg , Software Technology Group MSI, University of Vaxjo, Sweden
Thomas Panas , Software Technology Group MSI, University of Vaxjo, Sweden
Welf Lowe , Software Technology Group MSI, University of Vaxjo, Sweden
R?udiger Lincke , Software Technology Group MSI, University of Vaxjo, Sweden
pp. 66-75

Modeling and Analysis of Space Based Transceivers (Abstract)

Richard Reinhart , NASA Glenn Research Center
John Liebetreu , General Dynamics
Thomas Kacpura , ZIN Technologies
Jeremy C. Price , Southwest Research Institute
Ben Abbott , Southwest Research Institute
Michael S. Moore , Southwest Research Institute
pp. 76-88
Session 5: Code and Programming

Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic Analysis (Abstract)

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

Requirements Capture for Cougaar Model-Driven Architecture System (Abstract)

Denis Gracanin , 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
Boby George , 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
pp. 109-117
Session 7A: Risk and Safety

Predicting Risk as a Function of Risk Factors (Abstract)

Norman F. Schneidewind , Naval Postgraduate School
pp. 131-141

A Risk Assessment Model of Embedded Software Systems (Abstract)

Remzi Seker , Computer Science Department, Texas Tech University
Rattikorn Hewett , Computer Science Department, Texas Tech University
pp. 142-149

The Quantitative Safety Assessment for Safety-Critical Software (Abstract)

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

ADLARS: An Architecture Description Language for Software Product Lines (Abstract)

P. Kilpatrick , 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
T.J. Brown , Queens University Belfast,School of Computer Science,18 Malone Road, Belfast, UK
R. Bashroush , Queens University Belfast,School of Computer Science,18 Malone Road, Belfast, UK
pp. 163-173

A Generative Style-driven Framework for Software Architecture Design (Abstract)

Jing DONG , The University of Texas at Dallas, Richardson TX
Guanglei SONG , The University of Texas at Dallas, Richardson TX
Jun KONG , The University of Texas at Dallas, Richardson TX
Kang ZHANG , The University of Texas at Dallas, Richardson TX
pp. 173-182

Indicators of Structural Stability of Object-Oriented Designs: A Case Study (Abstract)

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

Process-Based Experiment for Design Tool Assessment in Real-Time Safety-Critical Software Development (Abstract)

Janusz Zalewski , Computer Science Department Florida Gulf Coast University Fort Myers, FL, USA
Andrew J. Kornecki , Dept. of Computer and Software Engineering Embry-Riddle Aeronautical University Daytona Beach, FL, USA
pp. 193-200

Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems (Abstract)

Reimer Behrends , Department of Computer Science and Engineering Michigan State University East Lansing, MI
R. E. K. Stirewalt , 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

Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets (Abstract)

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

Second-Order Semantic Web (Abstract)

Bernhard Steffen , Chair of Programming Systems University of Dortmund, Germany
Tiziana Margaria , Universit at Gottingen lotzestr. Gottingen, Germany
pp. 219-227

Uncertainty: A Meta-Property of Software (Abstract)

Colin J. Neill , Engineering Division,Great Valley Graduate Center Pennsylvania State University
Phillip A. Laplante , Engineering Division,Great Valley Graduate Center Pennsylvania State University
pp. 228-233

Information Fusion from Databases, Sensors and Simulations: A Collaborative Research Program (Abstract)

Tomas Planstedt , Ericsson Microwave Systems AB, Sk?vde, Sweden
Lars Niklasson , University of Sk?vde, Sk?vde, Sweden
Sten F. Andler , University of Sk?vde, Sk?vde, Sweden
Anne Persson , University of Sk?vde, Sk?vde, Sweden
Tom Ziemke , University of Sk?vde, Sk?vde, Sweden
Leo J. de Vin , University of Sk?vde, Sk?vde, Sweden
Bj?rn Olsson , University of Sk?vde, Sk?vde, Sweden
Benkt Wangler , University of Sk?vde, Sk?vde, Sweden
pp. 234-244
Session 9A: Formal Approaches

A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing (Abstract)

Jonathan P. Bowen , London South Bank University Centre for Applied Formal Methods, Institute for Computing Research, UK
Phan C. Vinh , London South Bank University Centre for Applied Formal Methods, Institute for Computing Research, UK
pp. 245-252

Towards a Hybrid Formal Method for Swarm-Based Exploration Missions (Abstract)

Michael G. Hinchey , NASA Goddard Space Flight Center Information Systems Division Greenbelt, Maryland, USA
Christopher A. Rouff , SAIC Advanced Concepts Business Unit McLean, VA
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

Towards Software Quality Economics for Defect-Detection Techniques (Abstract)

Stefan Wagner , Institut fur Informatik Technische Universit at Munchen Boltzmannstr. Garching, Germany
pp. 265-274

Experimenting with Software Architecture Flexibility Using an Implementation of the Tactical Separation Assisted Flight Environment (Abstract)

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

Design for Verification with Dynamic Assertions (Abstract)

Peter C. Mehlitz , Computer Sciences Corporation, NASA Ames Research Center
John Penix , Computer Sciences Corporation, NASA Ames Research Center
pp. 285-292

Bayesian Networks applied to Software IV&V (Abstract)

Khalid Lateef , TITAN Corporation, Greenbelt, Maryland, USA
Joanne Bechta-Dugan , University of Virginia, Department of ECE, Charlottesville, Virginia, USA
Ganesh Pai , University of Virginia, Department of ECE, Charlottesville, Virginia, USA
pp. 293-304
Session 11: Testing and Validation

On the Use of Specification-Based Assertions as Test Oracles (Abstract)

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

Using Visualization to Understand Dependability: A Tool Support for Requirements Analysis (Abstract)

Victor Basili , Computer Science Department - University of Maryland
Paolo Donzelli , Computer Science Department - University of Maryland
Daniel Hirschbach , Computer Science Department - University of Maryland
pp. 315-324

Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing (Abstract)

Robert D. Busser , Software Productivity Consortium/T-VEC
Mark R. Blackburn , Software Productivity Consortium/T-VEC
Aaron M. Nauman , Software Productivity Consortium/T-VEC
Lisa M. Boden , Lockheed Martin Space Systems Company
pp. 325-332
Author Index

Author Index (PDF)

pp. 333
97 ms
(Ver )