Articles matching “Suri”

  1. Faima Abbasi, Jean-Sébastien Sottet, Cedric Pruski, Semantic Drift Management in Digital Twins, pp. 3:85-98, PDF, DOI. Volume 25, no. 3 ( 2026)
  2. Tannaz Zameni, Petra van den Bos, Arend Rensink, Disjunction Composition of BDD Transition Systems for Model-Based Testing, pp. 3:337-350, PDF, DOI. Volume 25, no. 3 ( 2026)
  3. James Pontes Miranda, Ansgar Radermacher, Fabien Baligand, Julie Bonnail, Kunal Suri, Pascal Bannerot, Marcos Didonet Del Fabro, LLM-Powered Multi-Agent Systems: Exploring Documentation-Driven Metamodeling, pp. 3:379-392, PDF, DOI. Volume 25, no. 3 ( 2026)
  4. Khaoula Bouba, Abderrahim Ait Wakrime, Yassine Ouhammou, Redouane Benaini, Modelling and Formal Verification of Safety-Critical Interactive System Using Capella and Event-B, pp. 2:7-36, PDF, DOI. Volume 25, no. 2 ( 2026)
  5. Jonathan Aldrich, Gradual Verification: Assuring Software Incrementally, pp. 1:1-1, PDF, DOI. Volume 25, no. 1 ( 2026)
  6. Robert Clarisó, Carlos A. González, Jordi Cabot, Incremental Verification of UML/OCL Models, pp. 3:1-16, PDF, DOI. Volume 19, no. 3 (October 2020)
  7. Stefan Tomaszek, Lars Fritsche, Andy Schürr, Dynamic Virtual Network Embedding: Using Incremental Model Transformation and Integer Linear Programming Techniques, pp. 9:1-21, PDF, DOI. Volume 19, no. 2 (July 2020)
  8. Kamil Jezek, Jens Dietrich, API Evolution and Compatibility: A Data Corpus and Tool Evaluation, pp. 2:1-23, PDF, DOI. Volume 16, no. 4 (August 2017)
  9. Reinhold Plösch, Johannes Bräuer, Christian Körner, Matthias Saft, MUSE: A Framework for Measuring Object-Oriented Design Quality, pp. 2:1-29, PDF, DOI. Volume 15, no. 4 (August 2016)
  10. Steve Counsell, Stephen Swift, RefTest 2011 Special Section, HTML, DOI. Volume 11, no. 2 (August 2012)
  11. Florian Heidenreich, Jan Kopcsek, Uwe Aßmann, Safe Composition of Transformations, pp. 7:1-20, PDF, DOI. Volume 10, (2011)
  12. Rajiv Ranjan Suman, Rajib Mall, Srihari Sukumaran, Manoranjan Satpathy, Extracting State Models for Black-Box Software Components, pp. 79-103, PDF, HTML, DOI. Volume 9, no. 3 (May 2010)
  13. K.K. Aggarwal, Yogesh Singh, Arvinder Kaur, Ruchika Malhotra, Investigating effect of Design Metrics on Fault Proneness in Object-Oriented Systems, pp. 127-141, PDF, HTML, DOI. Volume 6, no. 10 (November 2007)
  14. Susan Eisenbach, Chris Sadler, Reuse and Abuse, pp. 139-167, PDF, HTML, DOI. Volume 6, no. 1 (January 2007)
  15. Won Kim, On Assuring Software Quality and Curbing Software Development Cost, pp. 35-42, PDF, HTML, DOI. Volume 5, no. 6 (July 2006)
  16. Mahesh H. Dodani, Who Took the Cookie from the Cookie Jar?, pp. 23-28, PDF, HTML, DOI. Volume 5, no. 4 (May 2006)
  17. David R. Cok, Reasoning with specifications containing method calls and model fields, pp. 77-103, PDF, HTML, DOI. Volume 4, no. 8 (October 2005)
  18. John D. McGregor, Software Architecture, pp. 65-77, PDF, HTML, DOI. Volume 3, no. 5 (May 2004)
  19. Won Kim, Byoungju Choi, Towards Quantifying Data Quality Costs, pp. 69-76, PDF, HTML, DOI. Volume 2, no. 4 (July 2003)