A framework for modelling variable microservices as software product lines MA Naily, MRA Setyautami, R Muschevici, A Azurat Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops …, 2018 | 25 | 2018 |
Self-organizing urban traffic control architecture with swarm-self organizing map in Jakarta: Signal control system and simulator W Jatmiko, A Azurat, A Wibowo, H Marihot, M Wicaksana, I Takagawa, ... International Journal on Smart Sensing and Intelligent Systems 3 (3), 443-465, 2010 | 21 | 2010 |
A survey on embedding programming logics in a theorem prover A Azurat, I Prasetya | 20 | 2002 |
A UML profile for delta-oriented programming to support software product line engineering MRA Setyautami, R Hähnle, R Muschevici, A Azurat Proceedings of the 20th International Systems and Software Product Line …, 2016 | 12 | 2016 |
Model-driven engineering for delta-oriented software product lines MRA Setyautami, RR Rubiantoro, A Azurat 2019 26th Asia-Pacific Software Engineering Conference (APSEC), 371-377, 2019 | 8 | 2019 |
A platform for charities system generation with SPL approach R Mauliadi, MRA Setyautami, I Afriyanti, A Azurat 2017 International Conference on Information Technology Systems and …, 2017 | 8 | 2017 |
A unity-based framework towards component based systems I Prasetya, TEJ Vos, A Azurat, SD Swierstra Principles of Distributed Systems: 8th International Conference, OPODIS 2004 …, 2005 | 7 | 2005 |
Modeling multi software product lines using UML MRA Setyautami, D Adianto, A Azurat Proceedings of the 22nd International Systems and Software Product Line …, 2018 | 6 | 2018 |
Content-based information retrieval system for batik application E Margaretha, A Azurat, R Manurung, A Murni University of Indonesia, 2009 | 6 | 2009 |
Variability management: re-engineering microservices with delta-oriented software product lines MRA Setyautami, HS Fadhlillah, D Adianto, I Affan, A Azurat Proceedings of the 24th ACM Conference on Systems and Software Product Line …, 2020 | 5 | 2020 |
Modeling requirements of multiple single products to feature model O Komarudin, D Adianto, A Azurat Procedia Computer Science 161, 107-114, 2019 | 4 | 2019 |
ABS microservices and ontology-zotonic integration for SPL implementation in information system A Kurniawan, I Afriyanti, A Azurat 2017 International Conference on Advanced Computer Science and Information …, 2017 | 4 | 2017 |
Feature model-to-ontology for spl application realisation I Afriyanti, FM Falakh, A Azurat, B Takwa arXiv preprint arXiv:1707.02511, 2017 | 4 | 2017 |
Theorem prover supported logics for small imperative languages I Prasetya, A Azurat, TEJ Vos, AJ van Leeuwen, H Suhartanto UU WINFI Informatica en Informatiekunde, 2005 | 4 | 2005 |
Generating adaptable user interface in SPLE: using delta-oriented programming and interaction flow modeling language HS Fadhlillah, D Adianto, A Azurat, SI Sakinah Proceedings of the 22nd International Systems and Software Product Line …, 2018 | 3 | 2018 |
Self-organizing Control of Urban Traffic Signal Based on Multiway Intersection Offset-setting Model W Jatmiko, ASK Adi Wibowo, AAK HERRY, ADE AZURAT, T Fukuda, ... WSEAS Transaction on System and Control (in revision), 2012 | 3 | 2012 |
Mechanization of invasive software composition in F-logic A Azurat Proceedings of the 2007 annual Conference on International Conference on …, 2007 | 3 | 2007 |
Towards Automated Verification of Database Scripts A Azurat, I Prasetya, TEJ Vos, H Suhartanto, B Widjaja, LY Stefanus, ... THEOREM PROVING IN HIGHER ORDER LOGICS: EMERGING TRENDS PROCEEDINGS, 1, 2005 | 3 | 2005 |
A preliminary report on xmech A Azurat, I Prasetya | 3 | 2002 |
Domain Analysis of Payment Gateway Product Line ES Koesnadi, MRA Setyautami, A Azurat 2022 International Conference on Information Technology Systems and …, 2022 | 2 | 2022 |