Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Articles by Topics
Topic D. - Software
Topic D.2 - SOFTWARE ENGINEERING
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
J.A. Aguilar, I. Garrigós, J.-N. Mazón, J. Trujillo:
An MDA Approach for Goal-oriented Requirement Analysis in Web Engineering
/jucs_16_17/an_mda_approach_for
page 2475 - 2494
Vol.16 / Issue 17
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
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
D. Azevedo, B. Fonseca, H. Paredes, S. Lukosch, J. Janeiro, R.O. Briggs:
On the Development and Usability of a Diagram-based Collaborative Brainstorming Component
/jucs_19_7/on_the_development_and
page 873 - 893
Vol.19 / Issue 7
R. Barrett, C. Pahl:
Distribution Pattern-driven Development of Service Architectures
/jucs_15_11/distribution_pattern_driven_development
page 2166 - 2195
Vol.15 / Issue 11
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
N. Bouassida, S. Jamoussi, A. Msaed, H. Ben-Abdallah:
An Interactive Design Pattern Selection Method
/jucs_21_13/an_interactive_design_pattern
page 1746 - 1766
Vol.21 / Issue 13
E. Börger, D. Sona:
A Neural Abstract Machine
/jucs_7_11/a_neural_abstract_machine
page 1006 - 1023
Vol.7 / Issue 11
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
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
Y.-S. Chang, C.-T. Yang, Y.-C. Luo:
An Ontology based Agent Generation for Information Retrieval on Cloud Environment
/jucs_17_8/an_ontology_based_agent
page 1135 - 1160
Vol.17 / Issue 8
P.-H. Chiu, C.-C. Lo, K.-M. Chao:
Integrating Semantic Web and Object-Oriented Programming for Cooperative Design
/jucs_15_9/integrating_semantic_web_and
page 1970 - 1990
Vol.15 / Issue 9
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
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
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
R. Duque, J. Gallardo, C. Bravo, A.J. Mendes:
Defining Tasks, Domains and Conversational Acts in CSCW Systems: the SPACE-DESIGN Case Study
/jucs_14_9/defining_tasks_domains_and
page 1463 - 1463
Vol.14 / 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
D. Efstathiou, P. McBurney, S. Zschaler, J. Bourcier:
Efficient Multi-Objective Optimisation of Service Compositions in Mobile Ad hoc Networks Using Lightweight Surrogate Models
/jucs_20_8/efficient_multi_objective_optimisation
page 1089 - 1108
Vol.20 / 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
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
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
P. Fernandes, C. Werner, E. Teixeira:
An Approach for Feature Modeling of Context-Aware Software Product Line
/jucs_17_5/an_approach_for_feature
page 807 - 829
Vol.17 / Issue 5
M. Alier Forment, M.J. Casany, E. Mayol, J. Piguillem, N. Galanis, F.J. García-Peñalvo, M.Á. Conde:
Docs4Learning: Getting Google Docs to work within the LMS with IMS BLTI
/jucs_18_11/docs4Learning_getting_google_docs
page 1483 - 1500
Vol.18 / Issue 11
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
L. Fuentes, N. Gámez:
Configuration Process of a Software Product Line for AmI Middleware
/jucs_16_12/configuration_process_of_a
page 1592 - 1611
Vol.16 / Issue 12
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
R. Gheyi, T. Massoni, P. Borba:
Automatically Checking Feature Model Refactorings
/jucs_17_5/automatically_checking_feature_model
page 684 - 711
Vol.17 / Issue 5
R. Gheyi, T. Massoni, P. Borba:
Algebraic Laws for Feature Models
/jucs_14_21/algebraic_laws_for_feature
page 3573 - 3591
Vol.14 / Issue 21
G. Giachetti, M. Albert, B. Marín, O. Pastor:
Linking UML and MDD through UML Profiles: a Practical Approach based on the UML Association
/jucs_16_17/linking_uml_and_mdd
page 2353 - 2373
Vol.16 / Issue 17
W.J. Giraldo, A.I. Molina, C.A. Collazos, M. Ortega, M.A. Redondo:
Taxonomy for Integrating Models in the Development of Interactive Groupware Systems
/jucs_14_19/taxonomy_for_integrating_models
page 3142 - 3159
Vol.14 / Issue 19
M.K. Gonçalves, l.R.B. de Souza, V.M. González:
Collaboration, Information Seeking and Communication: An Observational Study of Software Developers' Work Practices
/jucs_17_14/collaboration_information_seeking_and
page 1913 - 1930
Vol.17 / Issue 14
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
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
B. Henderson-Sellers, J. Ralyté:
Situational Method Engineering: State-of-the-Art Review
/jucs_16_3/situational_method_engineering_state
page 424 - 478
Vol.16 / Issue 3
J.L. Hernández, A. Vizcaíno, I. Caballero, G. Aranda:
Obtaining Requirements for Designing a Tool to Support Distributed Development
/jucs_18_19/obtaining_requirements_for_designing
page 2602 - 2624
Vol.18 / Issue 19
V. Herskovic, S.F. Ochoa, J.A. Pino, A. Neyem:
The Iceberg Effect: Behind the User Interface of Mobile Collaborative Systems
/jucs_17_2/the_iceberg_effect_behind
page 183 - 201
Vol.17 / Issue 2
C. El Hog, R. Ben Djemaa, I. Amous:
A User-Aware Approach to Provide Adaptive Web Services
/jucs_20_7/a_user_aware_approach
page 944 - 963
Vol.20 / Issue 6
M. Johnson, D. Griffiths, M. Wang:
Positioning Theory, Roles and the Design and Implementation of Learning Technology
/jucs_17_9/positioning_theory_roles_and
page 1329 - 1346
Vol.17 / Issue 9
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
J. Klímek, S. Benda, M. Nečaský:
Translation of Structural Constraints from Conceptual Model for XML to Schematron
/jucs_20_3/translation_of_structural_constraints
page 277 - 301
Vol.20 / Issue 3
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
M.A. Laguna, J.M. Marqués:
UML Support for Designing Software Product Lines: The Package Merge Mechanism
/jucs_16_17/uml_support_for_designing
page 2313 - 2332
Vol.16 / Issue 17
A. Menezes Leitão:
UCL-GLORP - An ORM for Common Lisp
/jucs_14_20/ucl_glorp_an_orm
page 3333 - 3357
Vol.14 / Issue 20
M. Linaje, J.C. Preciado, F. Sánchez-Figueroa:
Multi-Device Context-Aware RIAs Using a Model-Driven Approach
/jucs_16_15/multi_device_context_aware
page 2038 - 2059
Vol.16 / Issue 15
D. Lizcano, F. Alonso, J. Soriano, G. López:
Supporting End-User Development through a New Composition Model: An Empirical Study
/jucs_18_2/supporting_end_user_development
page 143 - 176
Vol.18 / Issue 2
F. Loiret, R. Rouvoy, L. Seinturier, D. Romero, K. Sénéchal, A. Plšek:
An Aspect-Oriented Framework for Weaving Domain-Specific Concerns into Component-Based Systems
/jucs_17_5/an_aspect_oriented_framework
page 742 - 776
Vol.17 / Issue 5
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
D. López-de-Ipiña, I. Díaz-de-Sarralde, J. García-Zubia:
An Ambient Assisted Living Platform Integrating RFID Data-on-Tag Care Annotations and Twitter
/jucs_16_12/an_ambient_assisted_living
page 1521 - 1538
Vol.16 / Issue 12
K. Ma, B. Yang, Z. Chen, A. Abraham:
A Relational Approach to Model Transformation with QVT Relations Supporting Model Synchronization
/jucs_17_13/a_relational_approach_to
page 1863 - 1883
Vol.17 / Issue 13
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
J. Malý, M. Nečaský:
Evaluation of OCL Expressions over XML Data Model
/jucs_20_3/evaluation_of_ocl_expressions
page 329 - 365
Vol.20 / Issue 3
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
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
R. Matulevičius, H. Mouratidis, N. Mayer, E. Dubois, P. Heymans:
Syntactic and Semantic Extensions to Secure Tropos to Support Security Risk Management
/jucs_18_6/syntactic_and_semantic_extensions
page 816 - 844
Vol.18 / Issue 6
M. Melia, C. Pahl:
Model-driven Transformation and Validation of Adaptive Educational Hypermedia using CAVIAr
/jucs_16_19/model_driven_transformation_and
page 2862 - 2881
Vol.16 / Issue 19
D. Mishra, A. Mishra:
A Global Software Inspection Process for Distributed Software Development
/jucs_18_19/a_global_software_inspection
page 2731 - 2746
Vol.18 / Issue 19
A.I. Molina, M.A. Redondo, M. Ortega, U. Hoppe:
CIAM: A Methodology for the Development of Groupware User Interfaces
/jucs_14_9/ciam_a_methodology_for
page 1435 - 1446
Vol.14 / Issue 9
T. Moore:
An Implementation of CLIM Presentation Types
/jucs_14_20/an_implementation_of_clim
page 3358 - 3369
Vol.14 / Issue 20
H. Mouratidis, C. Kalloniatis, S. Islam, M.-P. Huget, S. Gritzalis:
Aligning Security and Privacy to Support the Development of Secure Information Systems
/jucs_18_12/aligning_security_and_privacy
page 1608 - 1627
Vol.18 / Issue 12
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
E. Oliva, A. Natali, A. Ricci, M. Viroli:
An Adaptation Logic Framework for Java-based Component Systems
/jucs_14_13/an_adaptation_logic_framework
page 2158 - 2181
Vol.14 / Issue 13
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
A. Muñoz Ortega, J.M. Alcaraz Calero, J.A. Botía Blaya, G. Martínez Pérez, F.J. Garcia Clemente:
Knowledge Authoring with ORE: Testing, Debugging and Validating Knowledge Rules in a Semantic Web Framework
/jucs_16_9/knowledge_authoring_with_ore
page 1234 - 1266
Vol.16 / Issue 9
M. Ouimet, K. Lundqvist:
The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering
/jucs_14_12/the_timed_abstract_state
page 2007 - 2033
Vol.14 / Issue 12
T. Pallejà, E. Rubión, M. Teixido, M. Tresanchez, A. Fernández del Viso, C. Rebate, J. Palacin:
Using the Optical Flow to Implement a Relative Virtual Mouse Controlled by Head Movements
/jucs_14_19/using_the_optical_flow
page 3127 - 3127
Vol.14 / Issue 19
R. Perrone, R. Macedo, G. Lima, V. Lima:
An Approach for Estimating Execution Time Probability Distributions of Component-based Real-Time Systems
/jucs_15_11/an_approach_for_estimating
page 2142 - 2165
Vol.15 / Issue 11
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
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
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
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
R.M. Savola, C. Frühwirth, A. Pietikäinen:
Risk-Driven Security Metrics in Agile Software Development - An Industrial Pilot Study
/jucs_18_12/risk_driven_security_metrics
page 1679 - 1702
Vol.18 / Issue 12
M. Sendín, V. López-Jaquero, C.A. Collazos:
Collaborative Explicit Plasticity Framework: a Conceptual Scheme for the Generation of Plastic and Group-Aware User Interfaces
/jucs_14_9/collaborative_explicit_plasticity_framework
page 1447 - 1462
Vol.14 / Issue 9
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
W. Sun, E. Song, P.C. Grabow, D.M. Simmonds:
Toward an Integrated Tool Environment for Static Analysis of UML Class and Sequence Models
/jucs_16_17/toward_an_integrated_tool
page 2435 - 2454
Vol.16 / Issue 17
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.G. 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
A.J. Telmoudi, L. Nabli, R. M'hiri:
Modeling of Robustness Margins of the Control of a Predictive Control-Supervisory Architecture
/jucs_15_17/modeling_of_robustness_margins
page 3231 - 3245
Vol.15 / Issue 17
R. Tesoriero, J.A. Gallud, M.D. Lozano, V.M.R. Penichet:
CAUCE: Model-driven Development of Context-aware Applications for Ubiquitous Computing Environments
/jucs_16_15/cauce_model_driven_development
page 2111 - 2138
Vol.16 / Issue 15
L.-M. Traonouez, D. Lime, O.H. Roux:
Parametric Model-Checking of Stopwatch Petri Nets
/jucs_15_17/parametric_model_checking_of
page 3273 - 3304
Vol.15 / Issue 17
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
A.V. Uzunov, E.B. Fernandez, K. Falkner:
Engineering Security into Distributed Systems: A Survey of Methodologies
/jucs_18_20/engineering_security_into_distributed
page 2920 - 3006
Vol.18 / Issue 20
J.M. Vara, V. Andrikopoulos, M.P. Papazoglou, E. Marcos:
Towards Model-Driven Engineering Support for Service Evolution
/jucs_18_17/towards_model_driven_engineering
page 2364 - 2382
Vol.18 / Issue 17
B. Virginas, M. Ursu, E. Tsang, G. Owusu, C. Voudouris:
Intelligent Resource Exchanges: Solutions and Pathways in a Workforce Allocation Problem
/jucs_14_14/intelligent_resource_exchanges_solutions
page 2343 - 2358
Vol.14 / Issue 14
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
M. Yang, G.J. Michaelson, R.J. Pooley:
Formal Action Semantics for a UML Action Language
/jucs_14_21/formal_action_semantics_for
page 3608 - 3624
Vol.14 / Issue 21
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
V. de Castro, J.M. Vara, E. Marcos:
Service-Oriented Development of Web Information Systems
/jucs_18_17/service_oriented_development_of
page 2474 - 2492
Vol.18 / Issue 17
R. Maiani de Mello, E. Nogueira Teixeira, M. Schots, C.M. Lima Werner, G. Horta Travassos:
Verification of Software Product Line Artefacts: A Checklist to Support Feature Model Inspections
/jucs_20_5/verification_of_software_product
page 720 - 745
Vol.20 / Issue 5