|
|
Conferences in DBLP
(sew)
2006 (conf/sew/2006)
- Victor R. Basili
The Role of Empirical Study in Software Engineering. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:3-6 [Conf]
- Robert W. Ferguson, Giuseppe Lami
An Empirical Study on the Relationship between Defective Requirements and Test Failures. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:7-10 [Conf]
- Tim Menzies, Julian Richardson
Qualitative Modeling for Requirements Engineering. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:11-20 [Conf]
- Angelina Espinoza, Pedro Pablo Alarcón, Juan Garbajosa
Analyzing and Systematizing Current Traceability Schemas. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:21-32 [Conf]
- Tiziana Margaria, Bernhard Steffen
Service Engineering: Linking Business and IT. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:33-36 [Conf]
- Benjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan
A Comparative Study of Monitoring Tools for Pattern-Centric Behavior. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:37-46 [Conf]
- Melissa M. Simmons, Pam Vercellone-Smith, Phillip A. Laplante
Understanding Open Source Software through Software Archaeology: The Case of Nethack. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:47-58 [Conf]
- Ingo Schnabel, Markus Pizka
Goal-Driven Software Development. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:59-65 [Conf]
- Christopher Ackermann, Mikael Lindvall
Understanding Change Requests to Predict Software Impact. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:66-75 [Conf]
- Norita Ahmad, Phillip A. Laplante
Software Project Management Tools: Making a Practical Decision Using AHP. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:76-84 [Conf]
- Manfred Broy
The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:85-88 [Conf]
- Stephane Mercier, Michel Lavoie, Roger Champagne
Unified Software Method: An Engineering Approach to Software Engineering. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:89-96 [Conf]
- Akram Idani, Yves Ledru, Didier Bert
A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:97-106 [Conf]
- Karin Becker, Duncan Dubugras A. Ruiz, Virginia S. Cunha, Taisa C. Novello, Franco Vieira e Souza
SPDW: A Software Development Process Performance Data Warehousing Environment. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:107-118 [Conf]
- Judith Bishop, R. Nigel Horspool
Cross-Platform Development: Software that Lasts. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:119-122 [Conf]
- Zoë R. Stephenson, John A. McDermid, Jason Choy
Using Simulation to Validate Style-Specific Architectural Refactoring Patterns. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:123-132 [Conf]
- Pavel Parizek, Frantisek Plasil, Jan Kofron
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:133-141 [Conf]
- Francesca Arcelli Fontana, Claudia Raibulet, Ivano Rigo, Luigi Ubezio
An Eclipse Plug-in for the Java PathFinder Runtime Verification System. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:142-152 [Conf]
- D. Richard Kuhn, Vadim Okun
Pseudo-Exhaustive Testing for Software. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:153-158 [Conf]
- Aijun Chen, Liping Di, Yaxing Wei, Yuqi Bai, Yang Liu
An Optimized Grid-Based, OGC Standards-Compliant Collaborative Software System for Serving NASA Geospatial Data. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:159-166 [Conf]
- Roy Sterritt, Edward Hanna, Patricia O'Hagan, Grainne Garrity
Targeting Prediction: Engineering a Distributed Event Processor for an Autonomic Biometric System. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:167-174 [Conf]
- David Gries
What Have We Not Learned about Teaching Programming? [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:175-178 [Conf]
- Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen
Integrating Probability with Time and Shared-Variable Concurrency. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:179-189 [Conf]
- Xiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin
An Operational Semantics of an Event-Driven System-Level Simulator. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:190-202 [Conf]
- Jim Woodcock
First Steps in the Verified Software Grand Challenge. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:203-206 [Conf]
- Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knablein, Reynaldo Zavala
Formal Verification of Abstract System and Protocol Specifications. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:207-211 [Conf]
- Jianli Xu
Evaluating and Balancing Reliability and Performance Properties of Software Architecture Using Formal Modeling Techniques. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:212-222 [Conf]
- Peter T. Breuer, Simon Pickin, María M. Larrondo-Petrie
Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:223-233 [Conf]
- Richard Banach, Michael Poppleton, Susan Stepney
Retrenching the Purse: Finite Exception Logs, and Validating the Small. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:234-248 [Conf]
- Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi
Towards Open-World Software: Issue and Challenges. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:249-252 [Conf]
- Yves Ledru
Using Jaza to Animate RoZ Specifications of UML Class Diagrams. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:253-262 [Conf]
- R. D. Arthan
A Verified Formal Model of a VC Generator. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:263-271 [Conf]
- R. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behrends
Using Views to Specify a Synchronization Aspect for Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:272-281 [Conf]
- Ali E. Abdallah, Etienne J. Khayat
Formal Z Specifications of Several Flat Role-Based Access Control Models. [Citation Graph (0, 0)][DBLP]
SEW, 2006, pp:282-292 [Conf]
|
