-
1Academic Journal
المؤلفون: Meysam Karimi, Shekoufeh Kolahdouz-Rahimi, Javier Troya
المصدر: SoftwareX, Vol 27, Iss , Pp 101850- (2024)
مصطلحات موضوعية: Model-based software engineering, Automated model generation, Automated testing, Meta-heuristic algorithms, Computer software, QA76.75-76.765
وصف الملف: electronic resource
-
2Academic Journal
المصدر: SoftwareX, Vol 26, Iss , Pp 101676- (2024)
مصطلحات موضوعية: Uncertainty, Datatypes, Belief, Subjective logic, Libraries, Computer software, QA76.75-76.765
وصف الملف: electronic resource
-
3Academic Journal
المصدر: SoftwareX, Vol 26, Iss , Pp 101692- (2024)
مصطلحات موضوعية: Computer software, QA76.75-76.765
وصف الملف: electronic resource
-
4
المؤلفون: Javier Cámara, Javier Troya, Lola Burgueño, Antonio Vallecillo
المصدر: Software and Systems Modeling. 22:781-793
مصطلحات موضوعية: Modeling and Simulation, Software
-
5
-
6
المؤلفون: Kevin Lano, Shekoufeh Kolahdouz-Rahimi, Javier Troya, Hessa Alfraihi
المصدر: Software and Systems Modeling. 21:1465-1467
مصطلحات موضوعية: Modeling and Simulation, Software
-
7
المؤلفون: Javier Troya, Sergio Segura, Lola Burgueño, Manuel Wimmer
المساهمون: Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos, Junta de Andalucía, Ministerio de Ciencia, Innovación y Universidades (MICINN). España, Ministerio de Ciencia e Innovación (MICIN). España
المصدر: RIUMA. Repositorio Institucional de la Universidad de Málaga
instnameمصطلحات موضوعية: Model-driven software engineering, General Computer Science, Ingeniería del software, Soporte lógico de sistemas, Testing, Software and its engineering, Debugging, Domain specific languages, Survey, Software testing, Theoretical Computer Science, Model transformation
وصف الملف: application/pdf
-
8
المؤلفون: Paula Muñoz, Manuel Wimmer, Javier Troya, Antonio Vallecillo
المصدر: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings.
-
9
المؤلفون: Javier Cámara, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley Schmerl, Javier Troya, Antonio Vallecillo
المصدر: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems.
-
10
المؤلفون: Adela del-Río-Ortega, José Antonio Parejo, Sergio Segura, Javier Troya, Alfonso E. Márquez-Chamorro, Antonio Gamez-Diaz
المصدر: IEEE Revista Iberoamericana de Tecnologias del Aprendizaje. 15:183-191
مصطلحات موضوعية: Data collection, Computer science, General Engineering, Subject (documents), computer.software_genre, Session (web analytics), Education, ComputingMilieux_COMPUTERSANDEDUCATION, Mathematics education, Mashup, Statistical analysis, Duration (project management), Software architecture, computer
-
11
المؤلفون: Sergio Segura, Juan C. Alonso, Alberto Martin-Lopez, Amador Durán, Javier Troya, Antonio Ruiz-Cortés
المساهمون: Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos, Universidad de Sevilla. TIC-205: Ingeniería del Software Aplicada, Junta de Andalucía, Ministerio de Ciencia e Innovación (MICIN). España, Ministerio de Educación y Ciencia (MEC). España
مصطلحات موضوعية: Metamorphic relation, Metamorphic testing, Oracle problem
وصف الملف: application/pdf
-
12
المؤلفون: Paula Munoz, Javier Troya, Antonio Vallecillo
المصدر: 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C).
-
13
المصدر: 2021 IEEE 25th International Enterprise Distributed Object Computing Conference (EDOC).
-
14eBook
المؤلفون: Javier Troya, Raffaela Mirandola, Elena Navarro, Andrea Delgado, Sergio Segura, Guadalupe Ortiz, Cesare Pautasso, Christian Zirpins, Pablo Fernández, Antonio Ruiz-Cortés
Resource Type: eBook.
الموضوعات: Application software, Computer systems, Data structures (Computer science), Information theory, Computer networks
Categories: COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Networking / General, COMPUTERS / Hardware / General
-
15
المصدر: RIUMA: Repositorio Institucional de la Universidad de Málaga
Universidad de Málaga
RIUMA. Repositorio Institucional de la Universidad de Málaga
instnameمصطلحات موضوعية: Video game development, business.industry, Computer science, Modeling language, Model Driven, Board Games, 020207 software engineering, 02 engineering and technology, Software, Telefonía sin hilo, Mobile phone, Android, Problem domain, Ingeniería del software, 0202 electrical engineering, electronic engineering, information engineering, 2D Games, Android (operating system), Software engineering, business, Game Developer, Juegos de ordenador, Abstraction (linguistics), Multiplayer Games
-
16
المؤلفون: Antonio Vallecillo, Manuel F. Bertoa, Nathalie Moreno, Javier Troya
المصدر: RIUMA. Repositorio Institucional de la Universidad de Málaga
instnameمصطلحات موضوعية: business.industry, Computer science, Systematic literature review, Uncertainty, 020207 software engineering, 02 engineering and technology, Soporte lógico, Data science, Lenguajes de programación, Software models, Uml, Uncertainty representation, Software, Work (electrical), Modeling and Simulation, 0202 electrical engineering, electronic engineering, information engineering, Uncertainty modeling, Modeling languages, business
-
17
المؤلفون: José Antonio Parejo, Javier Troya, Sergio Segura, Antonio Ruiz-Cortés
المصدر: ICSE
مصطلحات موضوعية: Information retrieval, Relation (database), Computer science, business.industry, 020207 software engineering, 02 engineering and technology, computer.software_genre, Web API, Oracle, Application domain, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Web application, System integration, Metamorphic testing, Web service, business, computer, Software
-
18
المؤلفون: Sergio Segura, Antonio Ruiz-Cortés, Javier Troya, José Antonio Parejo
المصدر: ACM Transactions on Software Engineering and Methodology. 27:1-50
مصطلحات موضوعية: Correctness, Computer science, business.industry, Model transformation, media_common.quotation_subject, Code coverage, 020207 software engineering, 02 engineering and technology, computer.software_genre, Software, Test case, Debugging, Component (UML), 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Data mining, business, computer, Debugger, computer.programming_language, media_common
-
19
المؤلفون: Amador Durán, Sergio Segura, Javier Troya, Antonio Ruiz-Cortés
المصدر: Information and Software Technology. 98:1-4
مصطلحات موضوعية: Computer science, business.industry, 020207 software engineering, Context (language use), 02 engineering and technology, Machine learning, computer.software_genre, Oracle, Computer Science Applications, Task (project management), Domain (software engineering), Test case, Proof of concept, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Metamorphic testing, Artificial intelligence, business, computer, Software, Information Systems, Test data
-
20Academic Journal
المؤلفون: Javier Troya, José E. Rivera, Antonio Vallecillo
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Domain specific visual languages, behavioral semantics, observers, Maude
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.309.6725; http://www.lcc.uma.es/~av/Publicaciones/10/DEVS2010.pdf