Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInnovations 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, Jannik Laval, Chantal Bonner Cherifi, Néjib Moalla:
Requirements engineering and enterprise architecture-based software discovery and reuse. 39-60 - Jamila Oukharijane, Mohamed Amine Chaâbane, Imen Ben Said, Eric Andonoff, Rafik Bouaziz:
Self-adaptive business processes: a hybrid approach for the resolution of adaptation needs. 61-83 - Aida Lahouij, Lazhar Hamel, Mohamed Graiet:
An Event-B model for dynamically managing cloud resources. 85-104 - Eman Abdullah AlOmar, Tianjia Wang, Vaibhavi Raut, Mohamed Wiem Mkaouer, Christian D. Newman, Ali Ouni:
Refactoring for reuse: an empirical study. 105-135 - Zaineb Sakhrawi, Asma Sellami, Nadia Bouassida:
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, Hafedh Mili, Renata Medeiros de Carvalho, Abderrahmane Leshob:
Domain engineering for customer experience management. 171-191 - Mohamed Salah Hamdi, Adnane Ghannem, Marouane Kessentini:
Requirements traceability recovery for the purpose of software reuse: an interactive genetic algorithm approach. 193-213 - Taher Labidi, Zaineb Sakhrawi, Asma Sellami, Achraf Mtibaa, Nadia Bouassida:
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, Gurinder Singh, Mike Hinchey, Gurmeet Singh, Vishal Jain:
Applications of computational intelligence techniques to software engineering problems. 231-232 - Licelot Marmolejos, Eman Abdullah AlOmar, Mohamed Wiem Mkaouer, Christian D. Newman, Ali Ouni:
On the use of textual feature extraction techniques to support the automated detection of refactoring documentation. 233-249 - Sahana P. Shankar, Naresh E., Harshit Agrawal:
Optimization of association rules using hybrid data mining technique. 251-261 - Yogita Khatri, Sandeep Kumar Singh:
Cross project defect prediction: a comprehensive survey with its SWOT analysis. 263-281 - P. Suresh Kumar, Himansu Sekhar Behera, Janmenjoy Nayak, Bighnaraj Naik:
A pragmatic ensemble learning approach for effective software effort estimation. 283-299 - Monika Mangla, Nonita Sharma, Sachi Nandan Mohanty:
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, Sipra Sahoo, Achyuth Sarkar:
Model driven test case generation and optimization using adaptive cuckoo search algorithm. 321-331
Volume 18, Number 3, September 2022
- Zhé Hóu, Vijay Ganesh, Jing Sun:
Editorial. 333-334 - Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel:
Verifying verified code. 335-346 - Robin Ziemek, Jakob Piribauer, Florian Funke, Simon Jantsch, Christel Baier:
Probabilistic causes in Markov chains. 347-367 - Zixin Huang, Saikat Dutta, Sasa Misailovic:
Automated quantized inference for probabilistic programs with AQUA. 369-384 - Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz:
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata. 385-403 - Orna Kupferman, Nir Lavee, Salomon Sickert:
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, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu:
MaxSAT-based temporal logic inference from noisy data. 427-442 - Bernd Finkbeiner, Felix Klein, Niklas Metzger:
Live synthesis. 443-454 - Bernd Finkbeiner, Noemi Passing:
Compositional synthesis of modular systems. 455-469 - Vedad Hadzic, Robert Primas, Roderick Bloem:
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, Riadh Ben Halima, Ahmed Hadj Kacem:
Modeling and specifying formally compound MAPE pattern for self-adaptive IoT systems. 505-521 - Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler:
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, Matthew Cauwels, Benjamin Hertz, Phillip H. Jones, Kristin Y. Rozier:
Integrating runtime verification into an automated UAS traffic management system. 567-580
a service of 
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-06-10 21:31 CEST 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:
