Topic D.2.2 - Design Tools and Techniques

	T. Aaltonen, M. Katara, R. Pitkänen: DisCo Toolset - The New Generation /jucs_7_1/disco_toolset_the_new	page 3 - 18 Vol.7 / Issue 1
	A. Adamkó: UML-Based Modeling of Data-oriented WEB Applications /jucs_12_9/uml_based_modeling_of	page 1104 - 1117 Vol.12 / Issue 9
	L. Allain, P. Yim: Modeling Information System Behavior with Dynamic Relations Nets /jucs_6_11/modeling_information_system_behavior	page 1109 - 1130 Vol.6 / Issue 11
	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
	A. Bergel, S. Ducasse, O. Nierstrasz: Analyzing Module Diversity /jucs_11_10/analyzing_module_diversity	page 1613 - 1644 Vol.11 / Issue 10
	R. Berghammer, T. Hoffmann: Modeling Sequences within the RelView System /jucs_7_2/modeling_sequences_within_the	page 107 - 123 Vol.7 / Issue 2
	E. Börger, D. Sona: A Neural Abstract Machine /jucs_7_11/a_neural_abstract_machine	page 1006 - 1023 Vol.7 / Issue 11
	D. Cansell, D. Mery, S. Merz: Diagram Refinements for the Design of Reactive Systems /jucs_7_2/diagram_refinements_for_the	page 159 - 174 Vol.7 / Issue 2
	L. Capra, W. Cazzola: Self-Evolving Petri Nets /jucs_13_13/self_evolving_petri_nets	page 2002 - 2034 Vol.13 / Issue 13
	C. Choppy, P. Poizat, J.-C. Royer: The Korrigan Environment /jucs_7_1/the_korrigan_environment	page 19 - 36 Vol.7 / Issue 1
	F. Ciriaco, T. Abrão, P.J.E. Jeszensky: DS/CDMA Multiuser Detection with Evolutionary Algorithms /jucs_12_4/ds_cdma_multiuser_detection	page 450 - 480 Vol.12 / Issue 4
	A.M. Cruz, L.S. Barbosa, J.N. Oliveira: From Algebras to Objects: Generation and Composition /jucs_11_10/from_algebras_to_objects	page 1580 - 1612 Vol.11 / Issue 10
	M. Denford, A. Solomon, J. Leaney, T. O'Neill: Architectural Abstraction as Transformation of Poset Labelled Graphs /jucs_10_10/architectural_abstraction_as_transformation	page 1408 - 1428 Vol.10 / Issue 10
	J.M. Dodero, S. Sánchez-Alonso, D. Frosch-Wilke: Generative Instructional Engineering of Competence Development Programmes /jucs_13_9/generative_instructional_engineering_of	page 1213 - 1233 Vol.13 / Issue 9
	O. Díaz, J. J. Rodríguez: Portlets as Web Components: an Introduction /jucs_10_4/portlets_as_web_components	page 454 - 472 Vol.10 / Issue 4
	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
	M. J. Emerson, J. Sztipanovits, T. Bapty: A MOF-Based Metamodeling Environment /jucs_10_10/a_mof_based_metamodeling	page 1357 - 1382 Vol.10 / Issue 10
	R. L. Feldmann, R. Carbon: Experience Base Schema Building Blocks of the PLEASERS Library /jucs_9_7/experience_base_schema_building	page 659 - 669 Vol.9 / Issue 7
	G. Franck-Oberaspach, D. B. Schweiger, K. Svozil: A Packing Problem, Solved by Genetic Algorithms /jucs_5_8/a_packing_problem_solved	page 464 - 470 Vol.5 / Issue 8
	L. Fuentes, D. Jiménez, M. Pinto: Development of Ambient Intelligence Applications using Components and Aspects /jucs_12_3/development_of_ambient_intelligence	page 236 - 251 Vol.12 / Issue 3
	A. Gargantini, E. Riccobene: ASM-Based Testing: Coverage Criteria and Automatic Test Sequence /jucs_7_11/asm_based_testing_coverage	page 1050 - 1067 Vol.7 / Issue 11
	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	page 173 - 188 Vol.9 / Issue 2
	W. Kahl, F. Derichsweiler: Declarative Term Graph Attribution for Program Generation /jucs_7_1/declarative_term_graph_attribution	page 54 - 70 Vol.7 / Issue 1
	G. Karsai, G. Nordstrom, A. Ledeczi, J. Sztipanovits: Towards Two-Level Formal Modeling of Computer-Based Systems /jucs_6_11/towards_two_level_formal	page 1131 - 1144 Vol.6 / Issue 11
	G. Karsai, A. Agrawal, F. Shi, J. Sprinkle: On the Use of Graph Transformation in the Formal Specification of Model Interpreters /jucs_9_11/on_the_use_of	page 1296 - 1321 Vol.9 / Issue 11
	A. Komlodi: The Role of Interaction Histories in Mental Model Building and Knowledge Sharing in the Legal Domain /jucs_8_5/the_role_of_interaction	page 557 - 566 Vol.8 / Issue 5
	M. Kronenburg, C. Peper: Application of the FOREST Approach to the Light Control Case Study /jucs_6_7/application_of_the_forest	page 679 - 703 Vol.6 / Issue 7
	D. López de Ipiña, J.I. Vázquez, D. García, J. Fernández, I. García, D. Sainz, A. Almeida: EMI²lets: A Reflective Framework for Enabling AmI /jucs_12_3/emi2lets_a_reflective_framework	page 297 - 314 Vol.12 / Issue 3
	R. Malik, R. Mühlfeld: A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol /jucs_9_2/a_case_study_in	page 138 - 151 Vol.9 / Issue 2
	V. Mattick: Design for All as a Challenge for Hypermedia Engineering /jucs_8_10/design_for_all_as	page 881 - 891 Vol.8 / Issue 10
	E.-R. Olderog, H. Dierks: Moby/RT: A Tool for Specification and Verification of Real-Time Systems /jucs_9_2/mobyrt_a_tool_for	page 88 - 105 Vol.9 / Issue 2
	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
	B. Rinner, M. Schmid, R. Weiss: A Rapid Prototyping Environment for Multi-DSP Systems based on Accurate Performance Prediction /jucs_10_2/a_rapid_prototyping_environment	page 120 - 144 Vol.10 / Issue 2
	S. Sasaki, T. Nishihara, D. Ando, M. Fujita: Hardware/Software Co-design and Verification Methodology from System Level Based on System Dependence Graph /jucs_13_13/hardware_software_codesign_and	page 1972 - 2001 Vol.13 / Issue 13
	M. Sirjani, A. Movaghar, A. Shali, F. S. de Boer: Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models /jucs_11_6/model_checking_automated_abstraction	page 1054 - 1082 Vol.11 / Issue 6
	D. B. Skillicorn: Structured Parallel Computation in Structured Documents /jucs_3_1/structured_parallel	page 42 - 68 Vol.3 / Issue 1
	T. Szemethy, G. Karsai: Platform Modeling and Model Transformations for Analysis /jucs_10_10/platform_modeling_and_model	page 1383 - 1407 Vol.10 / Issue 10
	I. Tabakow: Using Place Invariants and Test Point Placement to Isolate Faults in Discrete Event Systems /jucs_13_2/using_place_invariants_and	page 224 - 243 Vol.13 / Issue 2
	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
	W. L. Yeung: Checking Consistency between UML Class and State Models Based on CSP and B /jucs_10_11/checking_consistency_between_uml	page 1540 - 1559 Vol.10 / Issue 11
	F. Heron de Carvalho Junior, R. Dueire Lins: Haskell#: Parallel Programming Made Simple and Efficient /jucs_9_8/haskell_parallel_programming_made	page 776 - 794 Vol.9 / Issue 8