default search action
Innovations in Systems and Software Engineering, Volume 18
Volume 18, Number 1, March 2022
- Lamia Labed Jilani, Sihem Ben Sassi:
Innovations in systems and software engineering guest editorial: special issue on software and systems reuse. 1-3 - Hyacinth Ali
, Gunter Mussbacher, Jörg Kienzle:
Perspectives to promote modularity, reusability, and consistency in multi-language systems. 5-37 - Abdelhadi Belfadel
Requirements engineering and enterprise architecture-based software discovery and reuse. 39-60 - Jamila Oukharijane
Self-adaptive business processes: a hybrid approach for the resolution of adaptation needs. 61-83 - Aida Lahouij
An Event-B model for dynamically managing cloud resources. 85-104 - Eman Abdullah AlOmar
Refactoring for reuse: an empirical study. 105-135 - Zaineb Sakhrawi
Support vector regression for enhancement effort prediction of Scrum projects from COSMIC functional size. 137-153 - Pierre Laborde, Steven Costiou, Éric Le Pors, Alain Plantec:
Reuse in component-based prototyping: an industrial experience report from 15 years of reuse. 155-169 - Imen Benzarti
Domain engineering for customer experience management. 171-191 - Mohamed Salah Hamdi
Requirements traceability recovery for the purpose of software reuse: an interactive genetic algorithm approach. 193-213 - Taher Labidi
On the use of OLS regression algorithm and Pearson correlation algorithm for improving the SLA establishment process in cloud computing. 215-229
Volume 18, Number 2, June 2022
- Loveleen Gaur
Applications of computational intelligence techniques to software engineering problems. 231-232 - Licelot Marmolejos, Eman Abdullah AlOmar, Mohamed Wiem Mkaouer
On the use of textual feature extraction techniques to support the automated detection of refactoring documentation. 233-249 - Sahana P. Shankar
Optimization of association rules using hybrid data mining technique. 251-261 - Yogita Khatri
Cross project defect prediction: a comprehensive survey with its SWOT analysis. 263-281 - P. Suresh Kumar
A pragmatic ensemble learning approach for effective software effort estimation. 283-299 - Monika Mangla
A sequential ensemble model for software fault prediction. 301-308 - Wasiur Rhmann, Babita Pandey, Gufran Ahmad Ansari:
Software effort estimation using ensemble of hybrid search-based algorithms based on metaheuristic algorithms. 309-319 - Rajesh Kumar Sahoo, Suneeta Satpathy
Model driven test case generation and optimization using adaptive cuckoo search algorithm. 321-331
Volume 18, Number 3, September 2022
- Zhé Hóu
Editorial. 333-334 - Siddharth Priya
Verifying verified code. 335-346 - Robin Ziemek
Probabilistic causes in Markov chains. 347-367 - Zixin Huang
Automated quantized inference for probabilistic programs with AQUA. 369-384 - Tobias John
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata. 385-403 - Orna Kupferman
Certifying DFA Bounds for Recognition and Separation. 405-416 - Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler
AALpy: an active automata learning library. 417-426 - Jean-Raphaël Gaglione
MaxSAT-based temporal logic inference from noisy data. 427-442 - Bernd Finkbeiner, Felix Klein, Niklas Metzger:
Live synthesis. 443-454 - Bernd Finkbeiner
Compositional synthesis of modular systems. 455-469 - Vedad Hadzic
Proving SIFA protection of masked redundant circuits. 471-481
Volume 18, Number 4, December 2022
- Abderrahim Ait Wakrime, Yassine Ouhammou:
Advances in modeling, verification and testing of safety-critical software architectures. 483-484 - Hariharan Thiagarajan, John Hatcliff, Robby:
Awas: AADL information flow and error propagation analysis framework. 485-504 - Marwa Hachicha
Modeling and specifying formally compound MAPE pattern for self-adaptive IoT systems. 505-521 - Karla Morris
Formal verification and validation of run-to-completion style state charts using Event-B. 523-541 - Akram Idani
Formal model-driven executable DSLs. 543-566 - Abigail Hammer
Integrating runtime verification into an automated UAS traffic management system. 567-580
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-19 22:03 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: