Volume 4, Number 1, February 2010

• 
  M. Teresa Villalba, Luis Fernández Sanz, J. J. Martinez: Empirical support for the generation of domain-oriented quality models. 1-14
• 
  Marco Torchiano, Filippo Ricca, Paolo Tonella: Empirical comparison of graphical and annotation-based re-documentation approaches. 15-31
• 
  Lech Madeyski, N. Radyk: Judy - a mutation testing tool for Java. 32-42
• 
  Y. Chung, D. Lee: Mathematical basis for the chaining of lossy interface adapters. 43-54
• 
  Jaiprakash T. Lallchandani, Rajib Mall: Integrated state-based dynamic slicing technique for UML models. 55-78
• 
  Maria Ángeles Moraga, Coral Calero, Manuel F. Bertoa: Improving interpretation of component-based systems quality through visualisation techniques. 79-90

Volume 4, Number 2, April 2010

• 
  Raman Ramsin, Richard F. Paige: Iterative criteria-based approach to engineering the requirements of software development methodologies. 91-104
• 
  Hannu Jaakkola, Bernhard Thalheim: Framework for high-quality software design and development: a systematic approach. 105-118
• 
  Vincenzo De Florio, Chris Blondia: Design tool to express failure detection protocols. 119-133
• 
  Ugo Erra, Giuseppe Scanniello: Assessing communication media richness in requirements negotiation. 134-148
• 
  Riham Hassan, Mohamed Eltoweissy, Shawn A. Bohner, Sherif El-Kassas: Formal analysis and design for engineering security automated derivation of formal software security specifications from goal-oriented security requirements. 149-160
• 
  Abdelwahab Hamou-Lhadj, Timothy C. Lethbridge: Understanding the complexity embedded in large routine call traces with a focus on program comprehension tasks. 161-177

Volume 4, Number 3, June 2010

• 
  Dimitra Giannakopoulou, Corina S. Pasareanu: Editorial: automated compositional verification. 179-180
• 
  Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis: Compositional verification for component-based systems and application. 181-193
• 
  Oksana Tkachuk, Matthew B. Dwyer: Environment generation for validating event-driven software using model checking. 194-209
• 
  Pavel Parizek, Frantisek Plasil: Assume-guarantee verification of software components in SOFA 2 framework. 210-211
• 
  Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe: Synthesising certificates in networks of timed automata. 222-235

Volume 4, Number 4, August 2010

• 
  Ivan Garcia, Carla Pacheco, José Antonio Calvo-Manzano: Using a web-based tool to define and implement software process improvement initiatives in a small industrial setting. 237-251
• 
  Liguo Yu, Alok Mishra, Srini Ramaswamy: Component co-evolution and component dependency: speculations and verifications. 252-267
• 
  Francisco Ortin, Daniel Zapico Palacio, J. Baltasar García Perez-Schofield, Miguel García: Including both static and dynamic typing in the same programming language. 268-282
• 
  O. Deperlioglu, Y. Arslan: Design principles of web-based distance education system and sample application in Afyon Kocatepe University. 283-293
• 
  F.-C. Kuo, Z. Q. Zhou, J. Ma, G. Zhang: Metamorphic testing of decision support systems: a case study. 294-301

Volume 4, Number 5, October 2010

• 
  L. Zhang, Y. Lu, F. Xu: Unified modelling and analysis of collaboration business process based on Petri nets and Pi calculus. 303-317
• 
  Steve Counsell, George Loizou, Rajaa Najjar: Evaluation of the 'replace constructors with creation methods' refactoring in Java systems. 318-333
• 
  D. Jeya Mala, V. Mohan, M. Kamalapriya: Automated software test optimisation framework - an artificial bee colony optimisation-based approach. 334-348
• 
  Matthias Galster, Armin Eberlein, Mahmood Moussavi: Systematic selection of software architecture styles. 349-360
• 
  D. Gong, X. Yao: Automatic detection of infeasible paths in software testing. 361-370

last updated on Sat May 18 06:11:17 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page