Information and software technology

• 

  Año 2009, Vol. 51, Número 2

  • A roadmap to electronic payment transaction guarantees and a Colored Petri Net model checking approach

    Panagiotis Katsaros

    • Resumen

    págs. 235-257

    

  • VxBPEL: supporting variability for Web services in BPEL

    Michiel Koning, Chang-ai Sun, Marco Sinnema, Paris Avgeriou

    • Resumen

    págs. 258-269

    

  • Using acceptance tests as a support for clarifying requirements: a series of experiments

    Filippo Ricca, Marco Torchiano, Massimiliano Di Penta, Mariano Ceccato, Paolo Tonella

    • Resumen

    págs. 270-283

    

  • Analysis of workflow dynamic changes based on Petri net

    Ping Sun, Changjun Jiang

    • Resumen

    págs. 284-292

    

  • The effect of task order on the maintainability of object-oriented software

    Alf Inge Wang, Erik Arisholm

    • Resumen

    págs. 293-305

    

  • An ADL dealing with aspects at software architecture stage

    María Amparo Navasa Martínez, Miguel Angel Pérez Toledano, Juan M. Murillo

    • Resumen

    págs. 306-324

    

  • A heuristics-based approach to reverse engineering of electronic services

    C. Vassilakis, G. Lepouras, A. Katifori

    • Resumen

    págs. 325-336

    

  • Towards the development of privacy-aware systems

    Paolo Guarda, Nicola Zannone

    • Resumen

    págs. 337-350

    

  • Evaluating the relationship between process improvement and schedule deviation in software maintenance

    Ho-Won Jung, Dennis R. Goldenson

    • Resumen

    págs. 351-361

    

  • Efficient traces' collection mechanisms for passive testing of Web Services

    Abdelghani Benharref, Rachida Dssouli, Mohamed Adel Serhani, Roch Glitho

    • Resumen

    págs. 362-374

    

  • Integrating in-process software defect prediction with association mining to discover defect pattern

    Ching-Pao Chang, Chih-Ping Chu, Yu-Fang Yeh

    • Resumen

    págs. 375-384

    

  • Algorithms and tool support for dynamic information flow analysis

    Wes Masri, Andy Podgurski

    • Resumen

    págs. 385-404

    

  • Revising cohesion measures by considering the impact of write interactions between class members

    Gyun Woo, Heung Seok Chae, Jian Feng Cui, Jeong-Hoon Ji

    • Resumen

    págs. 405-417

    

  • Automatic generation of test specifications for coverage of system state transitions

    M. Sarma, R. Mall

    • Resumen

    págs. 418-432

    

  • Evaluating legacy system migration technologies through empirical studies

    Massimo Colosimo, Andrea De Lucia, Giuseppe Scanniello, Genoveffa Tortora

    • Resumen

    págs. 433-447

    

  • CompAS: A new approach to commonality and variability analysis with applications in computer assisted orthopaedic surgery

    Gisèle Douta, Haydar Talib, Oscar Nierstrasz, Frank Langlotz

    • Resumen

    págs. 448-459

    

  • Building test cases and oracles to automate the testing of web database applications

    Lihua Ran, Curtis Dyreson, Anneliese Andrews, Renée Bryce, Christopher Mallery

    • Resumen

    págs. 460-477

    

  • Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models

    Aneesh Krishna, Sergiy A. Vilkomir, Aditya K. Ghose

    • Resumen

    págs. 478-496

    

  • Uncertainty explicit assessment of off-the-shelf software: A Bayesian approach

    Ilir Gashi, Peter Popov, Vladimir Stankovic

    • Resumen

    págs. 497-511

    

  • Automated traceability analysis for UML model refinements

    Lionel C. Briand, Yvan Labiche, Tao Yue

    • Resumen

    págs. 512-527

    

  • An approach for concurrent evaluation of technical and social aspects of software development methodologies

    Damjan Vavpotic, Marko Bajec

    • Resumen

    págs. 528-545

    

  • Covering code behavior on input validation in functional testing

    Hui Liu, Hee Beng Kuan Tan

    • Resumen

    págs. 546-553