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. Armando, S. Ranise: A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic /jucs_7_2/a_practical_extension_mechanism
T. Balanescu, A. J. Cowling, H. Georgescu, M. Gheorghe, M. Holcombe, C. Vertan: Communicating Stream X-Machines Systems are no more than X-Machines /jucs_5_9/communicating_stream_x_machines
M. Bravetti, A. Casalboni, M. Núñez, I. Rodriguez: From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices /jucs_13_13/from_theoretical_ebarter_models
A. Gargantini, E. Riccobene, P. Scandurra: A Metamodel-based Language and a Simulation Engine for Abstract State Machines /jucs_14_12/a_metamodel_based_language
W. Guttmann, H. Partsch, W. Schulte, T. Vullinghs: Tool Support for the Interactive Derivation of Formally Correct Functional Programs /jucs_9_2/tool_support_for_the
F. C. Gärtner: Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems: Formal Background and Classification /jucs_5_10/transformational_approaches_to_the
K. Książek, K. Kęsik, Z. Marszałek: How to Extract Interesting Information for Identity Verification Process from Spectrograms? /jucs_24_4/how_to_extract_interesting
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
L. J. Steggles: Specifying and Verifying Real-Time Systems using Second-Order Algebraic Methods: A Case Study of the Railroad Crossing Controller /jucs_6_4/specifying_and_verifying_real