Go home now Header Background Image
Submission Procedure
share: |
Follow us
Articles by Topics

A. Adamkó:
UML-Based Modeling of Data-oriented WEB Applications
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
page 640 - 665
Vol.20 / Issue 5
D. Alulema, J. Criado, L. Iribarne:
A Cross-Device Architecture for Modelling Authentication Features in IoT Applications
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
page 1314 - 1343
Vol.14 / Issue 8
L.F. Andrade, J.L. Fiadeiro:
Composition Contracts for Service Interaction
page 375 - 390
Vol.10 / Issue 4
D. Batory, E. Börger:
Modularizing Theorems for Software Product Lines: The Jbook Case Study
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
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
page 1800 - 1829
Vol.17 / Issue 13
J. Cubo, C. Canal, E. Pimentel:
Context-Aware Composition and Adaptation based on Model Transformation
page 777 - 806
Vol.17 / Issue 5
J. Cámara, G. Salaün, C. Canal:
Composition and Run-time Adaptation of Mismatching Behavioural Interfaces
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
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
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
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
page 892 - 912
Vol.8 / Issue 10
L.A. Guerrero, H. Horta, S.F. Ochoa:
Developing Augmented Objects: A Process Perspective
page 1612 - 1632
Vol.16 / Issue 12
M. Hafner, M. Memon, R. Breu:
SeAAS - A Reference Architecture for Security Services in SOA
page 2916 - 2936
Vol.15 / Issue 15
B. Henderson-Sellers, M. Serour, T. McBride, C. Gonzalez-Perez, L. Dagher:
Process Construction and Customization
page 326 - 358
Vol.10 / Issue 4
R. José, H. Rodrigues, N. Otero:
Ambient Intelligence: Beyond the Inspiring Vision
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
page 2415 - 2434
Vol.16 / Issue 17
S. Kroop:
Evaluation on Students' and Teachers' Acceptance of Widget- and Cloud-based Personal Learning Environments
page 2150 - 2171
Vol.19 / Issue 14
H.-J. Lenz, B. Thalheim:
A Formal Framework of Aggregation for the OLAP-OLTP Model
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
page 1046 - 1065
Vol.19 / Issue 8
L. Lu, D.-K. Kim, Y. Zhu, S. Kim:
Verification of Structural Pattern Conformance Using Logic Programming
page 2455 - 2474
Vol.16 / Issue 17
H. Ma, K.-D. Schewe, B. Thalheim, Q. Wang:
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
page 1373 - 1401
Vol.20 / Issue 9
P. Matsumoto, E. Guerra:
An Approach for Mapping Domain-Specific AOM Applications to a General Model
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
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
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
page 1741 - 1782
Vol.12 / Issue 12
L. Prechelt, C. Krämer:
Functionality versus Practicality: Employing Existing Tools for Recovering Structural Design Patterns
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
page 1433 - 1473
Vol.19 / Issue 10
J. Roa, P. Villarreal, O. Chiotti:
Behavior Alignment and Control Flow Verification of Process and Service Choreographies
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
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
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
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
page 110 - 131
Vol.19 / Issue 1
M. Virvou, K. Kabassi:
Experimental Studies within the Software Engineering Process for Intelligent Assistance in a GUI
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
page 859 - 871
Vol.10 / Issue 7
J. Zhao, K.-D. Schewe, H. Koehler:
Dynamic Data Warehouse Design with Abstract State Machines
page 355 - 397
Vol.15 / Issue 1