Searching...
Advanced Search
S
SEW
2007
31st IEEE Software Engineering Workshop (SEW 2007)
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
Bibliographic References
ASCII Text
BibTex
Refworks Procite/RefMan
31st IEEE Software Engineering Workshop (SEW 2007)
Columbia, MD, USA
March 06-March 08
ISBN: 0-7695-2862-7
Table of Contents
Introduction
Message from the Chair
(PDF)
pp. viii
ABSTRACT
PDF
Program Committee
(PDF)
pp. ix
ABSTRACT
PDF
Development Methods, Issues and Patterns
Determining the Applicability of Agile Practices to Mission and Life-Critical Systems
(Abstract)
Ahmed Sidky
James Arthur
pp. 3-12
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Mapping CMMI Project Management Process Areas to SCRUM Practices
(Abstract)
Ana Sofia C. Marcal
Felipe S. Furtado Soares
Arnaldo D. Belchior
pp. 13-22
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Framework for Flexible and Executable Usability Patterns Standards
(Abstract)
Scott Henninger
pp. 23-34
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Requirements
Aspect-Oriented Requirements Modeling
(Abstract)
Jingjun Zhang
Furong Li
Yang Zhang
pp. 35-40
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming
(Abstract)
J. Carter
W. B. Gardner
pp. 41-52
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Architectural Issues
Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns
(Abstract)
Zo? Stephenson
John McDermid
pp. 53-62
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Research on Aspect Connectors for Software Architecture Adaptation
(Abstract)
Jingjun Zhang
Hui Li
Furong Li
pp. 63-66
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Transformational Approaches to Model Driven Architecture - A Review
(Abstract)
Chunying Zhao
Kang Zhang
pp. 67-74
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
An Inconsistency Free Formalization of B/S Architecture
(Abstract)
Qin Li
Huibiao Zhu
Jifeng He
pp. 75-88
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Testing and Estimation
An Alternative Method Employing Uses Cases for Early Effort Estimation
(Abstract)
Gabriela Robiolo
Ricardo Orosco
pp. 89-98
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
The EMISQ Method - Expert Based Evaluation of Internal Software Quality
(Abstract)
R. Pl?sch
H. Gruber
A. Hentschel
Ch. K?rner
G. Pomberger
S. Schiffer
S. Schiffer
M. Saft
S. Storck
pp. 99-108
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Testing Patterns
(Abstract)
Neelam Soundarajan
Jason O. Hallstrom
Adem Delibas
Guoqiang Shu
pp. 109-120
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Formal Aspects
A Reference Net Based Formalization of Concurrent Cognitive Decision Making
(Abstract)
Johann Duscher
Amine El Malki
pp. 121-131
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability
(Abstract)
Huibiao Zhu
Jifeng He
Jonathan P. Bowen
pp. 131-143
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Refinement Based Framework for Computing Loop Behavior
(Abstract)
Ali Mili
pp. 144-153
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Looking into Compensable Transactions
(Abstract)
Jing Li
Huibiao Zhu
Geguang Pu
Jifeng He
pp. 154-166
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Software Safety, Quality, and Reliability
A New Way to Predict Software Reliability with Parameter Evaluation: Shuttle Applications
(Abstract)
Norman F. Schneidewind
pp. 167-178
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Software Safety Risk Taxonomy for Use in Retrospective Safety Cases
(Abstract)
Janice Hill
pp. 179-186
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Tools
The SAVE Tool and Process Applied to Ground Software Development at JHU/APL: An Experience Report on Technology Infusion
(Abstract)
William C. Stratton
Deane E. Sibol
Mikael Lindvall
Patricia Costa
pp. 187-193
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Formal Model for the Building of State Machines: A Lightweight Approach
(Abstract)
Fernando Valles Barajas
pp. 194-203
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Abstracting Pointers for a Verifying Compiler
(Abstract)
Gregory Kulczycki
Heather Keown
Murali Sitaraman
Bruce W. Weide
pp. 204-213
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI
(Abstract)
Tiziana Margaria
Bernhard Steffen
pp. 214-226
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Modeling and Verification Issues
An AOP-based Performance Evaluation Framework for UML Models
(Abstract)
Dong Kwan Kim
Shawn Bohner
pp. 227-235
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
An Operational Approach to BPEL-like Programming
(Abstract)
Huibiao Zhu
Jifeng He
Geguang Pu
Jing Li
pp. 236-245
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects
(Abstract)
Peter T. Breuer
Simon Pickin
pp. 246-255
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Modeling and Verifying Web Services Choreography Using Process Algebra
(Abstract)
Jing Li
Jifeng He
Huibiao Zhu
Geguang Pu
pp. 256-268
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Distributed, Grid and Real-Time Systems
A Generative Approach to Building a Framework for Hard Real-Time Applications
(Abstract)
Irfan Hamid
Bechir Zalila
Elie Najm
J Hugues
pp. 269-278
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Layered Java Application Framework for Supplying Mathematical Computing Power to the Distributed Environment
(Abstract)
Weidong Liao
Benjamin J. Koonse
pp. 279-283
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Virtualization the Enabler for the Autonomic Business Grid
(Abstract)
Shukri Wakid
Roy ?Sterritt
pp. 284-289
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Architecting Network-Centric Software Systems: A Style-Based Beginning
(Abstract)
Amine Chigani
Jamed D. Arthur
Shawn Bohner
pp. 290-299
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
ASSL - Autonomic System Specification Language
(Abstract)
Emil Vassev
Joey Paquet
pp. 300-309
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Author Index
Author Index
(PDF)
pp. 310
ABSTRACT
PDF
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
