( en | de | ru )

 

Disambiguierung von "Cheng, Betty H. C."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
AMOEBA-RT: Run-Time Verification of Adaptive Software.

, , und . MoDELS (Workshops), Volume 5002 von Lecture Notes in Computer Science, Seite 212-224. Springer, (2007)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

I-Fen Cheng

Ying Min Cheng

Qing-Qi Cheng

Xuerong Cheng

Yao Cheng

 

Weitere Publikationen von Autoren mit dem selben Namen

Integrating object-oriented analysis and formal specifications.. ACM SIGSOFT Softw. Eng. Notes, 25 (1): 40-41 (2000)A Review of Dr. Robert France's Contributions and Impact on Model-Driven Engineering and Software Engineering: Robert B. France (1960-2015).. ACM SIGSOFT Softw. Eng. Notes, 40 (3): 23-31 (2015)Software engineering for adaptive and self-managing systems., , , , , , und . ICSE, Seite 1015-1016. ACM, (2006)Automatic detection of incomplete requirements via symbolic analysis., und . MoDELS, Seite 385-395. ACM, (2016)Composing Adaptive Software., , , und . Computer, 37 (7): 56-64 (2004)Path-Based Multicast Communication in Wormhole-Routed Unidirectional Torus Networks., , und . J. Parallel Distributed Comput., 45 (2): 104-121 (1997)MAPE-K/MAPE-SAC: An interaction framework for adaptive systems with security assurance cases., , , , , , und . Future Gener. Comput. Syst., (2020)Retrieval by Construction: a Traceability Technique to Support Verification and Validation of Uml Formalizations., , und . Int. J. Softw. Eng. Knowl. Eng., 15 (5): 837-872 (2005)An ecology-based evolutionary algorithm to evolve solutions to complex problems., , , und . ALIFE, MIT Press, (2012)Analysis and Monitoring of Cyber-Physical Systems via Environmental Domain Knowledge & Modeling., , und . SEAMS@ICSE, Seite 11-17. IEEE, (2021)