Loading…
Loading…
Loading…
CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification
Rebai, Sirine, Hadj Kacem, Hatem, Karaa, Mohamed, Pomares, Saul E., Hadj Kacem, Ahmed
Published in Proceedings - IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (01.06.2015)
Published in Proceedings - IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (01.06.2015)
Get full text
Conference Proceeding
Loading…
Loading…
Loading…
Evolutionary Improvement of Programs
White, D. R., Arcuri, A., Clark, J. A.
Published in IEEE transactions on evolutionary computation (01.08.2011)
Published in IEEE transactions on evolutionary computation (01.08.2011)
Get full text
Journal Article
Loading…
Automated fault tolerance augmentation in model-driven engineering for CPS
Hu, Tingting, Cibrario Bertolotti, Ivan, Navet, Nicolas, Havet, Lionel
Published in Computer standards and interfaces (01.06.2020)
Published in Computer standards and interfaces (01.06.2020)
Get full text
Journal Article
Loading…
Speeding Up Genetic Improvement via Regression Test Selection
Guizzo, Giovani, Williams, David, Harman, Mark, Petke, Justyna, Sarro, Federica
Published in ACM transactions on software engineering and methodology (19.11.2024)
Published in ACM transactions on software engineering and methodology (19.11.2024)
Get full text
Journal Article
Loading…
Software architecture: foundations, theory, and practice
Medvidovic, Nenad, Taylor, Richard N.
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)
Get full text
Conference Proceeding
Loading…
Loading…
Loading…
Loading…
UML Profile for Decision-Making Systems Development with the Logic Scoring of Preference Method
Kudermetov, Ravil, Polska, Olga, Shcherbak, Natalia
Published in Proceedings of the ... IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems (Online) (07.09.2023)
Published in Proceedings of the ... IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems (Online) (07.09.2023)
Get full text
Conference Proceeding
Loading…
Loading…
Loading…
Loading…
A Library of Modeling Components for Adaptive Queuing Networks
Arcelli, Davide, Cortellessa, Vittorio, Leva, Alberto
Published in Computer Performance Engineering (2016)
Published in Computer Performance Engineering (2016)
Get full text
Book Chapter
Loading…
Quality of service engineering with UML, .NET, and CORBA
Weis, T., Ulbrich, A., Geihs, K.
Published in 25th International Conference on Software Engineering, 2003. Proceedings (2003)
Published in 25th International Conference on Software Engineering, 2003. Proceedings (2003)
Get full text
Conference Proceeding
Loading…