default search action
30. SEW 2006: Loyola College Graduate Center, Columbia, MD, USA
- 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, USA. IEEE Computer Society 2006, ISBN 0-7695-2624-1
Keynote Speaker
- Victor R. Basili:
The Role of Empirical Study in Software Engineering. 3-6
Requirements Issues
- Robert W. Ferguson, Giuseppe Lami
:
An Empirical Study on the Relationship between Defective Requirements and Test Failures. 7-10 - Tim Menzies, Julian Richardson:
Qualitative Modeling for Requirements Engineering. 11-20 - Angelina Espinoza
Analyzing and Systematizing Current Traceability Schemas. 21-32
Keynote Speaker
- Tiziana Margaria
Service Engineering: Linking Business and IT. 33-36
Pot Pourri
- Benjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan:
A Comparative Study of Monitoring Tools for Pattern-Centric Behavior. 37-46 - Melissa M. Simmons, Pamela Vercellone-Smith, Phillip A. Laplante:
Understanding Open Source Software through Software Archaeology: The Case of Nethack. 47-58
Project Management and Related Issues
- Ingo Schnabel, Markus Pizka:
Goal-Driven Software Development. 59-65 - Christopher Ackermann, Mikael Lindvall:
Understanding Change Requests to Predict Software Impact. 66-75 - Norita B. Ahmad
Software Project Management Tools: Making a Practical Decision Using AHP. 76-84
Keynote Speaker
- Manfred Broy:
The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems. 85-88
Modeling and Processes
- Stéphane Mercier, Michel Lavoie, Roger Champagne:
Unified Software Method: An Engineering Approach to Software Engineering. 89-96 - Akram Idani
A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. 97-106 - Karin Becker
SPDW: A Software Development Process Performance Data Warehousing Environment. 107-118
Keynote Speaker
- Judith Bishop, R. Nigel Horspool:
Cross-Platform Development: Software that Lasts. 119-122
Simulation and Model Checking
- Zoë R. Stephenson, John A. McDermid, Jason Choy:
Using Simulation to Validate Style-Specific Architectural Refactoring Patterns. 123-132 - Pavel Parízek
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. 133-141 - Francesca Arcelli Fontana, Claudia Raibulet
An Eclipse Plug-in for the Java PathFinder Runtime Verification System. 142-152
Applications
- D. Richard Kuhn, Vadim Okun:
Pseudo-Exhaustive Testing for Software. 153-158 - Aijun Chen, Liping Di, Yaxing Wei
An Optimized Grid-Based, OGC Standards-Compliant Collaborative Software System for Serving NASA Geospatial Data. 159-166 - Roy Sterritt
Targeting Prediction: Engineering a Distributed Event Processor for an Autonomic Biometric System. 167-174
Keynote Speaker
- David Gries:
What Have We Not Learned about Teaching Programming? 175-178
Concurrency and Real-Time Issues
- Huibiao Zhu, Shengchao Qin
Integrating Probability with Time and Shared-Variable Concurrency. 179-189 - Xiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin:
An Operational Semantics of an Event-Driven System-Level Simulator. 190-202
Keynote Speaker
- Jim Woodcock
First Steps in the Verified Software Grand Challenge. 203-206
Formal Issues
- Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala:
Formal Verification of Abstract System and Protocol Specifications. 207-211 - Jianli Xu:
Evaluating and Balancing Reliability and Performance Properties of Software Architecture Using Formal Modeling Techniques. 212-222 - Peter T. Breuer
Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source. 223-233 - Richard Banach, Michael Poppleton, Susan Stepney:
Retrenching the Purse: Finite Exception Logs, and Validating the Small. 234-248
Keynote Speaker
- Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi:
Towards Open-World Software: Issue and Challenges. 249-252
ZUM 2006 papers
- Yves Ledru:
Using Jaza to Animate RoZ Specifications of UML Class Diagrams. 253-262 - R. D. Arthan:
A Verified Formal Model of a VC Generator. 263-271 - R. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behrends:
Using Views to Specify a Synchronization Aspect for Object-Oriented Languages. 272-281 - Ali E. Abdallah, Etienne J. Khayat:
Formal Z Specifications of Several Flat Role-Based Access Control Models. 282-292
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 2024-12-13 18:59 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: