Topic D.2.10 - Design

	A. Adamkó: UML-Based Modeling of Data-oriented WEB Applications /jucs_12_9/uml_based_modeling_of	page 1104 - 1117 Vol.12 / Issue 9
	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	page 640 - 665 Vol.20 / Issue 5
	D. Alulema, J. Criado, L. Iribarne: A Cross-Device Architecture for Modelling Authentication Features in IoT Applications /jucs_24_12/a_cross_device_architecture	page 1758 - 1775 Vol.24 / Issue 12
	M. Pitanga Alves, P.F. Pires, F.C. Delicato, M.L.M. Campos: CrossMDA: a Model-driven Approach for Aspect Management /jucs_14_8/crossmda_a_model_driven	page 1314 - 1343 Vol.14 / Issue 8
	L.F. Andrade, J.L. Fiadeiro: Composition Contracts for Service Interaction /jucs_10_4/composition_contracts_for_service	page 375 - 390 Vol.10 / Issue 4
	D. Batory, E. Börger: Modularizing Theorems for Software Product Lines: The Jbook Case Study /jucs_14_12/modularizing_theorems_for_software	page 2059 - 2082 Vol.14 / Issue 12
	A. Brogi, J. Cubo, L. González, E. Pimentel, R. Ruggia: Dynamic Verification of Mashups of Service-Oriented Things through a Mediation Platform /jucs_20_8/dynamic_verification_of_mashups	page 1049 - 1070 Vol.20 / Issue 8
	M.E. Cambronero, V. Valero, E. Martínez: Design and Generation of Web Services Choreographies with Time Constraints /jucs_17_13/design_and_generation_of	page 1800 - 1829 Vol.17 / Issue 13
	J. Cubo, C. Canal, E. Pimentel: Context-Aware Composition and Adaptation based on Model Transformation /jucs_17_5/context_aware_composition_and	page 777 - 806 Vol.17 / Issue 5
	J. Cámara, G. Salaün, C. Canal: Composition and Run-time Adaptation of Mismatching Behavioural Interfaces /jucs_14_13/composition_and_run_time	page 2182 - 2211 Vol.14 / Issue 13
	G. Edwards, C. Seo, N. Medvidovic: Model Interpreter Frameworks:A Foundation for the Analysis of Domain-Specific Software Architectures /jucs_14_8/model_interpreter_frameworks_a	page 1182 - 1206 Vol.14 / Issue 8
	H.M. Fardoun, A. Mashat, S.R. López: Applying Professional Solutions within the Educational Environments by Means of Cloud Computing: Coaching for Teachers /jucs_19_12/applying_professional_solutions_within	page 1703 - 1717 Vol.19 / Issue 12
	H.M. Fardoun, B. Zafar, A.H. Altalhi, A. Paules: Interactive Design System for Schools using Cloud Computing /jucs_19_7/interactive_design_system_for	page 950 - 964 Vol.19 / Issue 7
	A. Fronk: An Object-oriented Approach to Design, Specification, and Implementation of Hyperlink Structures Based on Usual Software Development /jucs_8_10/an_object_oriented_approach	page 892 - 912 Vol.8 / Issue 10
	L.A. Guerrero, H. Horta, S.F. Ochoa: Developing Augmented Objects: A Process Perspective /jucs_16_12/developing_augmented_objects_a	page 1612 - 1632 Vol.16 / Issue 12
	M. Hafner, M. Memon, R. Breu: SeAAS - A Reference Architecture for Security Services in SOA /jucs_15_15/seaas_a_reference_architecture	page 2916 - 2936 Vol.15 / Issue 15
	B. Henderson-Sellers, M. Serour, T. McBride, C. Gonzalez-Perez, L. Dagher: Process Construction and Customization /jucs_10_4/process_construction_and_customization	page 326 - 358 Vol.10 / Issue 4
	R. José, H. Rodrigues, N. Otero: Ambient Intelligence: Beyond the Inspiring Vision /jucs_16_12/ambient_intelligence_beyond_the	page 1480 - 1499 Vol.16 / Issue 12
	J. Kim, J.-Y. Choi, I. Kang, I. Lee: UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture /jucs_16_17/uml_behavior_models_of	page 2415 - 2434 Vol.16 / Issue 17
	S. Kroop: Evaluation on Students' and Teachers' Acceptance of Widget- and Cloud-based Personal Learning Environments /jucs_19_14/evaluation_on_students_and	page 2150 - 2171 Vol.19 / Issue 14
	H.-J. Lenz, B. Thalheim: A Formal Framework of Aggregation for the OLAP-OLTP Model /jucs_15_1/a_formal_framework_of	page 273 - 303 Vol.15 / Issue 1
	B. Losada, M. Urretavizcaya, J.-M. López-Gil, I. Fernández-Castro: Applying Usability Engineering in InterMod Agile Development Methodology. A Case Study in a Mobile Application /jucs_19_8/applying_usability_engineering_in	page 1046 - 1065 Vol.19 / Issue 8
	L. Lu, D.-K. Kim, Y. Zhu, S. Kim: Verification of Structural Pattern Conformance Using Logic Programming /jucs_16_17/verification_of_structural_pattern	page 2455 - 2474 Vol.16 / Issue 17
	H. Ma, K.-D. Schewe, B. Thalheim, Q. Wang: Cloud Warehousing /jucs_17_8/cloud_warehousing	page 1183 - 1201 Vol.17 / Issue 8
	J.A. Mateo, M. del Carmen Ruiz, H. Maciá, J.J. Pardo: Formal Study of Routing Protocols for Wireless Sensor Networks /jucs_20_9/formal_study_of_routing	page 1373 - 1401 Vol.20 / Issue 9
	P. Matsumoto, E. Guerra: An Approach for Mapping Domain-Specific AOM Applications to a General Model /jucs_20_4/an_approach_for_mapping	page 534 - 560 Vol.20 / Issue 4
	C. Nunes, U. Kulesza, C. Sant'Anna, I. Nunes, A. Garcia, C. Lucena: Assessment of the Design Modularity and Stability of Multi-Agent System Product Lines /jucs_15_11/assessment_of_the_design	page 2254 - 2283 Vol.15 / Issue 11
	E.A. Oliveira Junior, I.M.S. Gimenes, J.C. Maldonado: Systematic Management of Variability in UML-based Software Product Lines /jucs_16_17/systematic_management_of_variability	page 2374 - 2393 Vol.16 / Issue 17
	P. Poizat, J.-C. Royer: A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic /jucs_12_12/a_formal_architectural_description	page 1741 - 1782 Vol.12 / Issue 12
	L. Prechelt, C. Krämer: Functionality versus Practicality: Employing Existing Tools for Recovering Structural Design Patterns /jucs_4_12/functionality_versus_practicality_employing	page 866 - 882 Vol.4 / Issue 12
	J. Pérez, I. Ramos, J.A. Carsí, C. Costa-Soria: Model-Driven Development of Aspect-Oriented Software Architectures /jucs_19_10/model_driven_development_of	page 1433 - 1473 Vol.19 / Issue 10
	J. Roa, P. Villarreal, O. Chiotti: Behavior Alignment and Control Flow Verification of Process and Service Choreographies /jucs_18_17/behavior_alignment_and_control	page 2383 - 2406 Vol.18 / Issue 17
	E. Soler, J. Trujillo, C. Blanco, E. Fernández-Medina: Designing Secure Data Warehouses by Using MDA and QVT /jucs_15_8/designing_secure_data_warehouses	page 1607 - 1641 Vol.15 / Issue 8
	C. Taivan, R. José, B. Silva, I. Elhart, J. Cardoso: Design Considerations for Application Selection and Control in Multi-user Public Displays /jucs_19_17/design_considerations_for_application	page 2526 - 2542 Vol.19 / Issue 17
	V.V. Tan, D.-S. Yoo, J.-C. Shin, M.-J. Yi: A Multiagent System for Hierarchical Control and Monitoring /jucs_15_13/a_multiagent_system_for	page 2485 - 2505 Vol.15 / Issue 13
	M. Urbieta, G. Rossi, S.E. Gordillo, A. Rodrigues, J. Araujo, A. Moreira: An Aspect-Oriented Approach for Spatial Concerns in Web Applications /jucs_19_1/an_aspect_oriented_approach	page 110 - 131 Vol.19 / Issue 1
	M. Virvou, K. Kabassi: Experimental Studies within the Software Engineering Process for Intelligent Assistance in a GUI /jucs_9_1/experimental_studies_within_the	page 51 - 85 Vol.9 / Issue 1
	B.T. Westphal, F. C. Harris, Jr., S.M. Dascalu: Snippets: Support for Drag-and-Drop Programming in the Redwood Environment /jucs_10_7/snippets_support_for_drag	page 859 - 871 Vol.10 / Issue 7
	J. Zhao, K.-D. Schewe, H. Koehler: Dynamic Data Warehouse Design with Abstract State Machines /jucs_15_1/dynamic_data_warehouse_design	page 355 - 397 Vol.15 / Issue 1