


Остановите войну!
for scientists:


default search action
Alberto Rodrigues da Silva
Alberto Manuel Rodrigues da Silva
Person information

- affiliation: IST
- affiliation: Technical University of Lisbon
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j16]Zahra Mardani Korani
, Armin Moin, Alberto Rodrigues da Silva
, João Carlos Ferreira
:
Model-Driven Engineering Techniques and Tools for Machine Learning-Enabled IoT Applications: A Scoping Review. Sensors 23(3): 1458 (2023) - 2022
- [j15]José Farinha
, Alberto Rodrigues da Silva
:
UML Templates Distilled. IEEE Access 10: 8709-8727 (2022) - [c106]António M. S. Ferreira, Alberto Rodrigues da Silva, Ana C. R. Paiva:
Towards the Art of Writing Agile Requirements with User Stories, Acceptance Criteria, and Related Constructs. ENASE 2022: 477-484 - [c105]Rui Dias Carvalho, Alberto Rodrigues da Silva:
Towards the Evaluation of Software Products from an Environmental Sustainability Perspective. ISD 2022 - [c104]Alexandre Magalhães Serra, Alberto Rodrigues da Silva, Jacinto Estima:
Maestro: An Extensible General-Purpose Data Gathering and Classification Platform. ISD 2022 - [c103]Carlos Jorge Martelo Correia, Alberto Rodrigues da Silva:
Platform-independent Specifications for Robotic Process Automation Applications. MODELSWARD 2022: 379-386 - [i2]Alberto Rodrigues da Silva:
ITLingo Research Initiative in 2022. CoRR abs/2206.14553 (2022) - [i1]Andre Nobre Barrocas, Alberto Rodrigues da Silva, João Paulo Saraiva:
Data analysis and visualization techniques for project tracking: Experiences with the ITLingo-Cloud Platform. CoRR abs/2211.11828 (2022) - 2021
- [j14]Alberto Rodrigues da Silva
:
Linguistic Patterns, Styles, and Guidelines for Writing Requirements Specifications: Focus on Use Cases and Scenarios. IEEE Access 9: 143506-143530 (2021) - [c102]Ana Catarina Gomes, Ana C. R. Paiva, Alberto Rodrigues da Silva:
Generating Test Cases from Use Cases and Structured Scenarios: Experiences with the RSL Language. ISD 2021 - 2020
- [c101]João Miranda
, Ana C. R. Paiva
, Alberto Rodrigues da Silva
:
Preliminary Experiences in Requirements-Based Security Testing. QUATIC 2020: 412-425 - [c100]Ivo Gamito, Alberto Rodrigues da Silva
:
From Rigorous Requirements and User Interfaces Specifications into Software Business Applications. QUATIC 2020: 459-473 - [c99]Alberto Rodrigues da Silva, Carolina Lisboa Sequeira:
Towards a library of usability requirements. SAC 2020: 1371-1378 - [e3]Martin J. Shepperd
, Fernando Brito e Abreu
, Alberto Rodrigues da Silva
, Ricardo Pérez-Castillo
:
Quality of Information and Communications Technology - 13th International Conference, QUATIC 2020, Faro, Portugal, September 9-11, 2020, Proceedings. Communications in Computer and Information Science 1266, Springer 2020, ISBN 978-3-030-58792-5 [contents]
2010 – 2019
- 2019
- [j13]João Caramujo
, Alberto Rodrigues da Silva
, Shaghayegh Monfared, André Ribeiro, Pável Calado
, Travis D. Breaux:
RSL-IL4Privacy: a domain-specific language for the rigorous specification of privacy policies. Requir. Eng. 24(1): 1-26 (2019) - [c98]Ambrósio Alves Soares, Paula Ventura Martins
, Alberto Rodrigues da Silva
:
LegalLanguage: A Domain-Specific Language for Legal Contexts. EEWC 2019: 33-51 - [c97]Ana C. R. Paiva, Daniel Maciel, Alberto Rodrigues da Silva:
From Requirements to Automated Acceptance Tests with the RSL Language. ENASE (Selected Papers) 2019: 39-57 - [c96]João Seixas, André Ribeiro, Alberto Rodrigues da Silva:
A Model-Driven Approach for Developing Responsive Web Apps. ENASE 2019: 257-264 - [c95]Daniel Maciel, Ana C. R. Paiva, Alberto Rodrigues da Silva:
From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach. ENASE 2019: 265-272 - [c94]José António Menezes, Alberto Rodrigues da Silva, João de Sousa Saraiva:
Citizen-Centric and Multi-Curator Document Automation Platform: The Curator Perspective. ISD 2019 - [c93]Alberto Rodrigues da Silva:
Rigorous Specification of Use Cases with the RSL Language. ISD 2019 - 2018
- [c92]Alberto Rodrigues da Silva, João Costa Fernandes:
Variability Specification and Resolution of Textual Requirements. ICEIS (2) 2018: 157-168 - [c91]Luís Pissarra Gonçalves, Alberto Rodrigues da Silva:
Towards a Catalogue of Reusable Security Requirements, Vulnerabilities and Threats. ISD 2018 - [c90]Alberto Rodrigues da Silva, Ana C. R. Paiva, Valter Emanuel R. da Silva:
Towards a Test Specification Language for Information Systems: Focus on Data Entity and State Machine Tests. MODELSWARD 2018: 213-224 - [c89]Alberto Rodrigues da Silva
, Ana C. R. Paiva, Valter Emanuel R. da Silva:
A Test Specification Language for Information Systems Based on Data Entities, Use Cases and State Machines. MODELSWARD (Revised Selected Papers) 2018: 455-474 - [c88]Pedro Cecilio Lopes, Alberto Rodrigues da Silva
:
A Collaborative Platform for Better Managing Technical Documentation: An Analysis from a Requirements Engineering Perspective. QUATIC 2018: 160-163 - [c87]Luís Pissarra Gonçalves, Alberto Rodrigues da Silva
:
A Catalogue of Reusable Security Concerns: Focus on Privacy Threats. CBI (2) 2018: 52-61 - 2017
- [c86]Alberto Rodrigues da Silva
:
Linguistic Patterns and Linguistic Styles for Requirements Specification (I): An Application Case with the Rigorous RSL/Business-Level Language. EuroPLoP 2017: 22:1-22:27 - [c85]André Ribeiro, Alberto Rodrigues da Silva:
RSLingo4Privacy Studio - A Tool to Improve the Specification and Analysis of Privacy Policies. ICEIS (2) 2017: 52-63 - [c84]André Reis, Alberto Rodrigues da Silva
:
Evaluation of XIS-Reverse, a Model-Driven Reverse Engineering Approach for Legacy Information Systems. MODELSWARD (Revised Selected Papers) 2017: 23-46 - [c83]André Reis, Alberto Rodrigues da Silva:
XIS-Reverse: A Model-driven Reverse Engineering Approach for Legacy Information Systems. MODELSWARD 2017: 196-207 - [c82]Alberto Rodrigues da Silva
, João Costa Fernandes, Sofia Azevedo:
Variability Aspects at a Textual Requirements Specification Level. RE Workshops 2017: 240-247 - 2016
- [j12]Paula Ventura Martins
, Alberto Rodrigues da Silva
:
Process and project alignment methodology: A case-study based analysis. Comput. Sci. Inf. Syst. 13(3): 901-925 (2016) - [j11]Luís de Sousa, Alberto Rodrigues da Silva
:
A domain specific language for spatial simulation scenarios. GeoInformatica 20(1): 117-149 (2016) - [c81]Alberto Rodrigues da Silva, João Caramujo, Shaghayegh Monfared, Pável Calado
, Travis D. Breaux:
Improving the Specification and Analysis of Privacy Policies - The RSLingo4Privacy Approach. ICEIS (1) 2016: 336-347 - [c80]André Ribeiro, Luís de Sousa, Alberto Rodrigues da Silva:
Comparative Analysis of Workbenches to Support DSMLs: Discussion with Non-Trivial Model-Driven Development Needs. MODELSWARD 2016: 323-330 - [c79]Paulo Filipe, André Ribeiro, Alberto Rodrigues da Silva:
XIS-CMS: Towards a Model-Driven Approach for Developing Platform-Independent CMS-Specific Modules. MODELSWARD 2016: 535-543 - 2015
- [j10]Dusan Savic, Sinisa Vlajic, Sasa Lazarevic, Ilija Antovic, Vojislav Stanojevic, Milos Milic, Alberto Rodrigues da Silva:
Use Case Specification Using the SILABREQ Domain Specific Language. Comput. Informatics 34(4): 877-910 (2015) - [j9]Alberto Rodrigues da Silva
:
Model-driven engineering: A survey supported by the unified conceptual model. Comput. Lang. Syst. Struct. 43: 139-155 (2015) - [j8]João C. Ferreira
, Jose de Almeida, Alberto Rodrigues da Silva
:
The Impact of Driving Styles on Fuel Consumption: A Data-Warehouse-and-Data-Mining-Based Discovery Process. IEEE Trans. Intell. Transp. Syst. 16(5): 2653-2662 (2015) - [c78]Alberto Rodrigues da Silva
, Dusan Savic
, Sinisa Vlajic, Ilija Antovic
, Sasa Lazarevic, Vojislav Stanojevic, Milos Milic
:
A pattern language for use cases specification. EuroPLoP 2015: 8:1-8:18 - [c77]Francisco Morais, Alberto Rodrigues da Silva:
Assessing the Quality of User-interface Modeling Languages. ICEIS (2) 2015: 311-319 - [c76]Luís de Sousa, Alberto Rodrigues da Silva
:
A domain specific language for spatial simulation scenarios (DSL3S): introduction and tool support. SAC 2015: 1854-1856 - [c75]João Caramujo, Alberto Manuel Rodrigues da Silva
:
Analyzing Privacy Policies Based on a Privacy-Aware Profile: The Facebook and LinkedIn Case Studies. CBI (1) 2015: 77-84 - 2014
- [c74]Alberto Rodrigues da Silva:
Quality of Requirements Specifications - A Framework for Automatic Validation of Requirements. ICEIS (2) 2014: 96-107 - [c73]Alberto Rodrigues da Silva
:
SpecQua: Towards a Framework for Requirements Specifications with Increased Quality. ICEIS (Revised Selected Papers) 2014: 265-281 - [c72]Alberto Rodrigues da Silva
, Jan Verelst, Herwig Mannaert, David de Almeida Ferreira, Philip Huysmans:
Towards a System Requirements Specification Template that Minimizes Combinatorial Effects. QUATIC 2014: 124-129 - [c71]Alberto Rodrigues da Silva
, Sinisa Vlajic, Sasa Lazarevic, Ilija Antovic
, Vojislav Stanojevic, Milos Milic
:
Preliminary Experience Using JetBrains MPS to Implement a Requirements Specification Language. QUATIC 2014: 134-137 - [c70]Alberto Rodrigues da Silva
:
Quality of requirements specifications: a preliminary overview of an automatic validation approach. SAC 2014: 1021-1022 - [c69]André Ribeiro, Alberto Rodrigues da Silva
:
XIS-mobile: a DSL for mobile applications. SAC 2014: 1316-1323 - 2013
- [c68]Jan Verelst, Alberto Rodrigues da Silva, Herwig Mannaert, David de Almeida Ferreira, Philip Huysmans:
Identifying Combinatorial Effects in Requirements Engineering. EEWC 2013: 88-102 - [c67]David de Almeida Ferreira, Alberto Rodrigues da Silva
:
RSL-PL: A linguistic pattern language for documenting software requirements. RePa 2013: 17-24 - [c66]David de Almeida Ferreira, Alberto Rodrigues da Silva
:
RSL-IL: An interlingua for formally documenting requirements. MoDRE 2013: 40-49 - 2012
- [c65]Alexandre Barão, Alberto Rodrigues da Silva
:
What is the Value of Your Network? Web Intelligence/IAT Workshops 2012: 265-269 - [c64]Tiago Henrique Lopes Ferreira, Alberto Rodrigues da Silva
:
Foster an Implicit Community Based on a Newsletter Tracking System. OTM Conferences (1) 2012: 398-415 - [c63]Dusan Savic
, Alberto Rodrigues da Silva
, Sinisa Vlajic, Sasa Lazarevic, Vojislav Stanojevic, Ilija Antovic
, Milos Milic
:
Use Case Specification at Different Levels of Abstraction. QUATIC 2012: 187-192 - [c62]David de Almeida Ferreira, Alberto Rodrigues da Silva
:
Formally Specifying Requirements with RSL-IL. QUATIC 2012: 217-220 - [c61]André Ribeiro, Alberto Rodrigues da Silva
:
Survey on Cross-Platforms and Languages for Mobile Apps. QUATIC 2012: 255-260 - [c60]Tiago Henrique Lopes Ferreira, Alberto Rodrigues da Silva
:
Improving the Quality of the Community Relations Knowledge Using Implicit Connections. QUATIC 2012: 327-332 - [c59]David de Almeida Ferreira, Alberto Rodrigues da Silva
:
RSLingo: An information extraction approach toward formal requirements specifications. MoDRE 2012: 39-48 - [c58]David de Almeida Ferreira, Alberto Rodrigues da Silva:
An Overview of the RSLingo Approach. SEKE 2012: 66-69 - [c57]Diogo Duarte, Carla Farinha
, Miguel Mira da Silva
, Alberto Rodrigues da Silva
:
Collaborative Requirements Elicitation with Visualization Techniques. WETICE 2012: 343-348 - [e2]João Pascoal Faria, Alberto Rodrigues da Silva, Ricardo Jorge Machado:
8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012, Lisbon, Portugal, 2-6 September 2012, Proceedings. IEEE Computer Society 2012, ISBN 978-0-7695-4777-0 [contents] - 2011
- [c56]Alexandre Barão, Alberto Rodrigues da Silva
:
A Model to Evaluate the Relational Capital of Organizations (SNARE RCO). CENTERIS (1) 2011: 400-409 - [c55]João Ferreira
, Vitor Monteiro
, João Luiz Afonso
, Alberto Rodrigues da Silva
:
Smart electric vehicle charging system. Intelligent Vehicles Symposium 2011: 758-763 - [c54]David de Almeida Ferreira, Alberto Rodrigues da Silva:
Use Case Driven Extension of ProjectIT-RSL to Support Behavioral Concerns. SEKE 2011: 740-745 - 2010
- [j7]João de Sousa Saraiva, Alberto Rodrigues da Silva:
A Reference Model for the Analysis and Comparison of MDE Approaches for Web-Application Development. J. Softw. Eng. Appl. 3(5): 419-425 (2010) - [c53]Alexandre Barão, Alberto Rodrigues da Silva:
The SNARE Language Overview. ICEIS (3) 2010: 344-349 - [c52]Marco Costa, Alberto Rodrigues da Silva:
ReacT-MDD - Reactive Traceability in Model-driven Development. ICEIS (3) 2010: 483-488 - [c51]David de Almeida Ferreira, Alberto Manuel Rodrigues da Silva
:
Survey on System Behavior Specification for Extending ProjectIT-RSL. QUATIC 2010: 210-215 - [c50]Paula Ventura Martins
, Alberto Rodrigues da Silva
:
PIT-ProcessM: A Software Process Improvement Meta-Model. QUATIC 2010: 453-458 - [p1]João de Sousa Saraiva, Alberto Rodrigues da Silva:
Evaluation of MDE Tools from a Metamodeling Perspective. Principle Advancements in Database Management Technologies 2010: 105-131
2000 – 2009
- 2009
- [j6]Patrícia Castanheira Dinis Duarte Silva, Alberto Rodrigues da Silva:
Application Scenarios for the Learning Objects Pool. J. Univers. Comput. Sci. 15(7): 1455-1471 (2009) - [c49]David de Almeida Ferreira, Alberto Rodrigues da Silva
:
An Enhanced Wiki for Requirements Engineering. EUROMICRO-SEAA 2009: 87-94 - [c48]João de Sousa Saraiva, Alberto Rodrigues da Silva:
WebC-Docs - A CMS-based Document Management System. KMIS 2009: 21-28 - [c47]João de Sousa Saraiva, Alberto Rodrigues da Silva
:
Design Issues for an Extensible CMS-Based Document Management System. IC3K 2009: 323-336 - [c46]João de Sousa Saraiva, Alberto Rodrigues da Silva
:
CMS-Based Web-Application Development Using Model-Driven Languages. ICSEA 2009: 21-26 - [c45]David de Almeida Ferreira, Alberto Rodrigues da Silva
:
Wiki-Based Tool for Requirements Engineering According to the ProjectIT Approach. ICSEA 2009: 359-364 - [c44]João de Sousa Saraiva, Alberto Rodrigues da Silva
:
Development of CMS-Based Web-Applications Using a Model-Driven Approach. ICSEA 2009: 500-505 - [c43]David de Almeida Ferreira, Alberto Rodrigues da Silva
:
A Controlled Natural Language Approach for Integrating Requirements and Model-Driven Engineering. ICSEA 2009: 518-523 - 2008
- [j5]João de Sousa Saraiva, Alberto Rodrigues da Silva:
Evaluation of MDE Tools from a Metamodeling Perspective. J. Database Manag. 19(4): 21-46 (2008) - [c42]Paula Ventura Martins, Alberto Rodrigues da Silva:
ProPAMet: A Metric for Process and Project Alignment. EuroSPI 2008: 201-212 - [c41]Frederico de Carvalho Baptista, João de Sousa Saraiva, Alberto Rodrigues da Silva:
eCT - The B2C e-Commerce Toolkit for the Webcomfort Platform. ICE-B 2008: 225-228 - [c40]David de Almeida Ferreira, Alberto Rodrigues da Silva
:
A requirements specification case study with ProjectIT-studio/requirements. SAC 2008: 656-657 - [c39]João de Sousa Saraiva, Alberto Rodrigues da Silva:
The WebComfort Framework: An Extensible Platform for the Development of Web Applications. EUROMICRO-SEAA 2008: 19-26 - [c38]João P. Germano, Alberto Rodrigues da Silva, Fernando M. Silva:
Blackbird Monitoring System - Performance Analysis and Monitoring in Information Systems. WEBIST (1) 2008: 46-53 - [c37]João P. Germano, Alberto Rodrigues da Silva
, Fernando M. Silva:
Performance Monitoring Enterprise Applications with the BlackBird System. WEBIST (Selected Papers) 2008: 120-132 - [c36]Pedro Pico, Alberto Rodrigues da Silva:
Workflows in Content Management Systems. WEBIST (1) 2008: 232-235 - [c35]Alexandre Barão, Alberto Rodrigues da Silva:
The Snare Architecture Overview - Social Network Analysis and Reengineering Environment. WEBIST (2) 2008: 491-494 - 2007
- [j4]Alberto Rodrigues da Silva
, João Saraiva
, David de Almeida Ferreira, R. Silva, Carlos Videira:
Integration of RE and MDE paradigms: the ProjectIT approach and tools. IET Softw. 1(6): 294-314 (2007) - [c34]João Ferreira
, Alberto Rodrigues da Silva
, José C. Delgado:
A methodology to design information retrieval systems (MDIRS). EATIS 2007: 63 - [c33]Patrícia Castanheira Dinis Duarte Silva, Alberto Rodrigues da Silva
:
Design Experiences with the Learning Objects Board System. HICSS 2007: 5:1-5:10 - [c32]Carlos Martins, Alberto Rodrigues da Silva:
Modeling User Interfaces with the XIS UML Profile. ICEIS (5) 2007: 98-104 - [c31]Marco Costa, Alberto Rodrigues da Silva:
Synchronization Issues in UML Models. ICEIS (3) 2007: 607-611 - [c30]Alberto Rodrigues da Silva
, João de Sousa Saraiva, Rui Silva, Carlos Martins:
XIS-UML Profile for eXtreme Modeling Interactive Systems. MOMPES 2007: 55-66 - [c29]Paula Ventura Martins, Alberto Rodrigues da Silva:
A comparative study of SPI Approaches with ProPAM. QUATIC 2007: 100-109 - 2006
- [j3]Paula Ventura Martins
, Alberto Rodrigues da Silva
:
A Case Study applying Process and Project Alignment Methodology. J. Braz. Comput. Soc. 12(3): 65-82 (2006) - [c28]Carlos Videira, David de Almeida Ferreira, Alberto Rodrigues da Silva
:
A Linguistic Patterns Approach for Requirements Specification. EUROMICRO-SEAA 2006: 302-309 - [c27]Carlos Videira, David de Almeida Ferreira, Alberto Rodrigues da Silva:
Using linguistic patterns for improving requirements specification. ICSOFT (1) 2006: 145-150 - [c26]Paula Ventura Martins, Alberto Rodrigues da Silva:
SPI Methodology for Virtual Organizations. OTM Workshops (1) 2006: 824-833 - 2005
- [c25]Carlos Videira, Alberto Rodrigues da Silva:
Patterns and metamodel for a natural-language-based requirements specification language. CAiSE Short Paper Proceedings 2005 - [c24]João Ferreira, Alberto Rodrigues da Silva, José C. Delgado:
Personalized filtering systems based on the multi-methods combination. IADIS AC 2005: 312-361 - [c23]João Ferreira, Alberto Rodrigues da Silva, José C. Delgado:
Main retrieval systems' parameters analyze. IADIS AC 2005: 344-351 - [c22]João Ferreira
, Alberto Rodrigues da Silva, José C. Delgado:
Web Services for Information Retrieval. ITCC (2) 2005: 497-502 - [c21]Paula Ventura Martins, Alberto Rodrigues da Silva:
PIT-P2M: ProjectIT Process and Project Metamodel. OTM Workshops 2005: 516-525 - [e1]Nuno Jardim Nunes
, Bran Selic, Alberto Rodrigues da Silva, José Ambrosio Toval Álvarez:
UML Modeling Languages and Applications, «UML» 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3297, Springer 2005, ISBN 3-540-25081-6 [contents] - 2004
- [c20]João Ferreira, Alberto Rodrigues da Silva, José C. Delgado:
Does overlap mean relevance? ICWI 2004: 877-880 - [c19]Paula Ventura Martins, Alberto Rodrigues da Silva:
Comparação de Metamodelos de Processos de Desenvolvimento de Software. QUATIC 2004: 179-186 - [c18]Carlos Videira, Joáo Leonardo Carmo, Alberto Rodrigues da Silva:
The ProjectIT-RSL Language Overview. UML Satellite Activities 2004: 269-272 - [c17]Alberto Rodrigues da Silva:
Tools Exhibits. UML Satellite Activities 2004: 281-291 - 2003
- [c16]Alberto Rodrigues da Silva, Gonçalo Lemos, Tiago Matias, Marco Costa:
The XIS Generative Programming Techniques. COMPSAC 2003: 236-241 - [c15]Alberto Rodrigues da Silva
:
The XIS Approach and Principles. EUROMICRO 2003: 33-41 - [c14]Alberto Rodrigues da Silva:
Towards the Organizational Engineering Pattern Language. EuroPLoP 2003: 747-774 - [c13]Miguel Luz, Alberto Rodrigues da Silva:
Software Development Guided By Models - The XIS UML Profile. ICEIS (3) 2003: 370-381 - 2001
- [j2]Alberto Rodrigues da Silva
, Artur Romão, Dwight Deugo
, Miguel Mira da Silva
:
Towards a Reference Model for Surveying Mobile Agent Systems. Auton. Agents Multi Agent Syst. 4(3): 187-231 (2001) - [c12]João Ferreira, Alberto Rodrigues da Silva:
MySDI: A Generic Architecture to Develop SDI Personalised Services. ICEIS (1) 2001: 262-270 - [c11]Nuno Castela, José M. Tribolet, Alberto Rodrigues da Silva, Arminda Guerra:
Business Process Modeling with UML. ICEIS (2) 2001: 679-685 - [c10]João Ascenso, Alberto Rodrigues da Silva:
Software Agents for Digital Television. ICEIS (2) 2001: 1139-1146 - 2000
- [j1]Artur Romão, Miguel Mira da Silva
, Alberto Rodrigues da Silva
:
Secure Electronic Payments Based on Mobile Agents. Distributed Parallel Databases 8(4): 447-470 (2000) - [c9]Nuno Meira, Ivo Conde e Silva, Alberto Rodrigues da Silva:
A Set of Agent Patterns for a More Expressive Approach. EuroPLoP 2000: 331-346 - [c8]Alberto Rodrigues da Silva
, Miguel Mira da Silva
, Artur Romão:
Web-Based Agent Applications: User Interfaces and Mobile Agents. IS&N 2000: 135-153
1990 – 1999
- 1999
- [c7]