default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID31. SEW 2007: Loyola College, Columbia, MD, USA
- 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 6-8 March 2007, Loyola College, Columbia, MD, USA. IEEE Computer Society 2007, ISBN 0-7695-2862-7
Development Methods, Issues and Patterns
- Ahmed Samy Sidky, James D. Arthur:
Determining the Applicability of Agile Practices to Mission and Life-Critical Systems. 3-12 - Ana Sofia C. Marçal, Felipe Santana Furtado Soares, Arnaldo Dias Belchior:
Mapping CMMI Project Management Process Areas to SCRUM Practices. 13-22 - Scott Henninger:
A Framework for Flexible and Executable Usability Patterns Standards. 23-34
Requirements
- Jingjun Zhang, Furong Li
, Yang Zhang:
Aspect-Oriented Requirements Modeling. 35-40 - John D. Carter, William B. Gardner:
Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming. 41-52
Architectural Issues
- Zoë R. Stephenson, John A. McDermid:
Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns. 53-62 - Jingjun Zhang, Hui Li, Furong Li:
Research on Aspect Connectors for Software Architecture Adaptation. 63-66 - Chunying Zhao, Kang Zhang:
Transformational Approaches to Model Driven Architecture - A Review. 67-74 - Qin Li, Huibiao Zhu, Jifeng He:
An Inconsistency Free Formalization of B/S Architecture. 75-88
Testing and Estimation
- Gabriela Robiolo, Ricardo Orosco:
An Alternative Method Employing Uses Cases for Early Effort Estimation. 89-98 - Reinhold Plösch, Harald Gruber, Alexander Hentschel, Christian Körner, Gustav Pomberger, Stefan Schiffer, Matthias Saft, Stephan Storck:
The EMISQ Method - Expert Based Evaluation of Internal Software Quality. 99-108 - Neelam Soundarajan, Jason O. Hallstrom, Adem Delibas, Guoqiang Shu:
Testing Patterns. 109-120
Formal Aspects
- Johann Duscher, Amine El Malki:
A Reference Net Based Formalization of Concurrent Cognitive Decision Making. 121-131 - Huibiao Zhu, Jifeng He, Jonathan P. Bowen:
Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. 131-143 - Ali Mili:
A Refinement Based Framework for Computing Loop Behavior. 144-153 - Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He:
Looking into Compensable Transactions. 154-166
Software Safety, Quality, and Reliability
- Norman F. Schneidewind:
A New Way to Predict Software Reliability with Parameter Evaluation: Shuttle Applications. 167-178 - Janice Hill:
A Software Safety Risk Taxonomy for Use in Retrospective Safety Cases. 179-186
Tools
- William C. Stratton, Deane E. Sibol, Mikael Lindvall, Patricia Costa:
The SAVE Tool and Process Applied to Ground Software Development at JHU/APL: An Experience Report on Technology Infusion. 187-193 - Fernando Valles-Barajas:
A Formal Model for the Building of State Machines: A Lightweight Approach. 194-203 - Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide:
Abstracting Pointers for a Verifying Compiler. 204-213 - Tiziana Margaria, Bernhard Steffen:
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI. 214-226
Modeling and Verification Issues
- Dong Kwan Kim, Shawn A. Bohner:
An AOP-based Performance Evaluation Framework for UML Models. 227-235 - Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li:
An Operational Approach to BPEL-like Programming. 236-245 - Peter T. Breuer, Simon Pickin:
Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects. 246-255 - Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu:
Modeling and Verifying Web Services Choreography Using Process Algebra. 256-268
Distributed, Grid and Real-Time Systems
- Irfan Hamid, Elie Najm, Jérôme Hugues:
A Generative Approach to Building a Framework for Hard Real-Time Applications. 269-278 - Weidong Liao, Benjamin J. Koonse:
A Layered Java Application Framework for Supplying Mathematical Computing Power to the Distributed Environment. 279-283 - Shukri Wakid, Roy Sterritt:
Virtualization the Enabler for the Autonomic Business Grid. 284-289 - Amine Chigani, James D. Arthur, Shawn A. Bohner:
Architecting Network-Centric Software Systems: A Style-Based Beginning. 290-299 - Emil Vassev, Joey Paquet:
ASSL - Autonomic System Specification Language. 300-309
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-28 23:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
