M. Alférez, R.E. Lopez-Herrejón, A. Moreira, V. Amaral, A. Egyed: Consistency Checking in Early Software Product Line Specifications - The VCC Approach /jucs_20_5/consistency_checking_in_early
A. Botti Benevides, G. Guizzardi, B.F. Bastos Braga, J.P. Andrade Almeida: Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures /jucs_16_20/validating_modal_aspects_of
G. Cabodi, S. Nocco, S. Quer: Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals /jucs_10_12/improving_sat_based_bounded
J. Decraene, T. Hinze: A Multidisciplinary Survey of Computational Techniques for the Modelling, Simulation and Analysis of Biochemical Networks /jucs_16_/a_multidisciplinary_survey_of
H.-S. Min, S.-M. Chung, J.-Y. Choi: Deriving System Behavior from UML State Machine Diagram: Applied to Missile Project /jucs_19_1/deriving_system_behavior_from
M.A. Pérez-Toledano, A. Navasa, J.M. Murillo, C. Canal: A Safe Dynamic Adaptation Framework for Aspect-Oriented Software Development /jucs_14_13/a_safe_dynamic_adaptation
X. Tao, L. Liu, F. Zhao, Y. Huang, S. Zhu, Y. Liang: Ontology and Weighted D-S Evidence Theory-Based Vulnerability Data Fusion Method /jucs_25_3/ontology_and_weighted_ds