Herramienta Web Ligera para La Programación en C-Concurrente
El uso de herramientas a la hora de enseñar una determinada disciplina aporta múltiples beneficios desde el punto de vista de la actividad docente pues permite enfatizar o ilustrar determinados cuestiones que a veces resultan difíciles de enfatizar sin tal apoyo. Ese es también el caso de las herram...
Uloženo v:
| Vydáno v: | Revista iberoamericana de automática e informática industrial Ročník 10; číslo 4; s. 465 - 476 |
|---|---|
| Hlavní autoři: | , , |
| Médium: | Journal Article |
| Jazyk: | španělština |
| Vydáno: |
Elsevier España
01.10.2013
Universitat Politècnica de València |
| Témata: | |
| ISSN: | 1697-7912, 1697-7920 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | El uso de herramientas a la hora de enseñar una determinada disciplina aporta múltiples beneficios desde el punto de vista de la actividad docente pues permite enfatizar o ilustrar determinados cuestiones que a veces resultan difíciles de enfatizar sin tal apoyo. Ese es también el caso de las herramientas que permiten detectar si ha habido algún tipo de problema en un programa escrito en C- concurrente. Dichas herramientas ofrecen interfaces que pueden complementar la información dada por un compilador con información adicional sobre diferentes tipos de condiciones de carrera o fugas de memoria que aparecen en el código. El presente trabajo tiene por objetivo ver cómo se ha integrado un núcleo de validación para C ya existente como aplicación web, lo que le permite estar accesible a través de la red. Dicha herramienta ha sido evaluada en un curso de programación ya existente, donde ha mostrado que es capaz aportar información adicional de utilidad para el discente y el docente. También se han realizado una serie de mediciones de rendimiento para establecer los límites operativos de la herramienta diseñada dentro de los límites de una asignatura donde se enseña C concurrente.
Tools for computer-aided teaching and learning provide multiple benefits from the point of view of teaching because it allows emphasizing or illustrating certain issues that are sometimes difficult to emphasize without such type of support. This is exactly the case for the tools to detect if there is any type of problem in a concurrent-C program. These tools provide interfaces that can complement the information given by a compiler with additional information about different types of race conditions and memory leaks that appear in the code. This article aims to address how to integrate a core validation tools for concurrent-C as a web application, allowing you to be accessible through the Internet. This tool has been evaluated in an existing programming course, which has shown to be able to provide additional information useful to the learner and the teacher. There have also been a number of performance measures to establish operational limits designed tool within a course that teaches concurrent-C programming. |
|---|---|
| AbstractList | Resumen: El uso de herramientas a la hora de enseñar una determinada disciplina aporta múltiples beneficios desde el punto de vista de la actividad docente pues permite enfatizar o ilustrar determinados cuestiones que a veces resultan difíciles de enfatizar sin tal apoyo. Ese es también el caso de las herramientas que permiten detectar si ha habido algún tipo de problema en un programa escrito en C- concurrente. Dichas herramientas ofrecen interfaces que pueden complementar la información dada por un compilador con información adicional sobre diferentes tipos de condiciones de carrera o fugas de memoria que aparecen en el código. El presente trabajo tiene por objetivo ver cómo se ha integrado un núcleo de validación para C ya existente como aplicación web, lo que le permite estar accesible a través de la red. Dicha herramienta ha sido evaluada en un curso de programación ya existente, donde ha mostrado que es capaz aportar información adicional de utilidad para el discente y el docente. También se han realizado una serie de mediciones de rendimiento para establecer los límites operativos de la herramienta diseñada dentro de los límites de una asignatura donde se enseña C concurrente. Abstract: Tools for computer-aided teaching and learning provide multiple benefits from the point of view of teaching because it allows emphasizing or illustrating certain issues that are sometimes difficult to emphasize without such type of support. This is exactly the case for the tools to detect if there is any type of problem in a concurrent-C program. These tools provide interfaces that can complement the information given by a compiler with additional information about different types of race conditions and memory leaks that appear in the code. This article aims to address how to integrate a core validation tools for concurrent-C as a web application, allowing you to be accessible through the Internet. This tool has been evaluated in an existing programming course, which has shown to be able to provide additional information useful to the learner and the teacher. There have also been a number of performance measures to establish operational limits designed tool within a course that teaches concurrent-C programming. Palabras clave: Herramientas, Informática Industrial, Sistemas Concurrentes, Educación, C., Keywords: Tools, Industrial Informatics, Concurrent Systems, Education, C. El uso de herramientas a la hora de enseñar una determinada disciplina aporta múltiples beneficios desde el punto de vista de la actividad docente pues permite enfatizar o ilustrar determinados cuestiones que a veces resultan difíciles de enfatizar sin tal apoyo. Ese es también el caso de las herramientas que permiten detectar si ha habido algún tipo de problema en un programa escrito en C- concurrente. Dichas herramientas ofrecen interfaces que pueden complementar la información dada por un compilador con información adicional sobre diferentes tipos de condiciones de carrera o fugas de memoria que aparecen en el código. El presente trabajo tiene por objetivo ver cómo se ha integrado un núcleo de validación para C ya existente como aplicación web, lo que le permite estar accesible a través de la red. Dicha herramienta ha sido evaluada en un curso de programación ya existente, donde ha mostrado que es capaz aportar información adicional de utilidad para el discente y el docente. También se han realizado una serie de mediciones de rendimiento para establecer los límites operativos de la herramienta diseñada dentro de los límites de una asignatura donde se enseña C concurrente. Tools for computer-aided teaching and learning provide multiple benefits from the point of view of teaching because it allows emphasizing or illustrating certain issues that are sometimes difficult to emphasize without such type of support. This is exactly the case for the tools to detect if there is any type of problem in a concurrent-C program. These tools provide interfaces that can complement the information given by a compiler with additional information about different types of race conditions and memory leaks that appear in the code. This article aims to address how to integrate a core validation tools for concurrent-C as a web application, allowing you to be accessible through the Internet. This tool has been evaluated in an existing programming course, which has shown to be able to provide additional information useful to the learner and the teacher. There have also been a number of performance measures to establish operational limits designed tool within a course that teaches concurrent-C programming. |
| Author | García-Valls, Marisol Basanta-Val, Pablo López-Anastasio, Pablo |
| Author_xml | – sequence: 1 givenname: Pablo surname: Basanta-Val fullname: Basanta-Val, Pablo email: pbasanta@it.uc3m.es – sequence: 2 givenname: Marisol surname: García-Valls fullname: García-Valls, Marisol email: mvalls@it.uc3m.es – sequence: 3 givenname: Pablo surname: López-Anastasio fullname: López-Anastasio, Pablo email: pk.pablo@gmail.com |
| BookMark | eNp9kMFOwzAMhiM0JMbYC3DqC7Q4SZtmEhxQBQypEhxAHCMndadUWzulA4nn4hF4MTKGdsQH27L1_7K_czbph54Yu-SQceDqqsuCR58J4DKDIgMOJ2zK1aJMy4WAybHn4ozNx7GDGEorqcWU3SwpBNx46neYvJFNar-igMkWY6oxeQ7DKu7R-e-vPqE-qdJq6N17CFFBF-y0xfVI8786Y6_3dy_VMq2fHh6r2zp1XAlISeSyJKsltFY5hTq3rlxAQa2wTnKLLQhQCsi2DjhaKJVrhVyQkgRFW8gZezz4NgN2Zhv8BsOnGdCb38EQVgbDzrs1mUYpTrZoSFqba-00lLkQYDVyLRui6CUOXi4M4xioPfpxMHuepjN7nmbP00BhIs8ouj6IKH754SmY0UVmjhofyO3iGf4_-Q_95H-S |
| Cites_doi | 10.1002/spe.1023 10.1016/j.riai.2013.03.011 10.1145/1953163.1953285 10.1007/978-3-540-30470-8_42 10.1145/1273442.1250746 10.1145/1086519.1086526 10.1016/j.eswa.2012.01.020 10.1145/1791194.1791203 10.1007/b106761 10.1007/s100090050043 10.1145/265924.265927 10.1109/TE.2012.2227320 10.1016/j.riai.2013.03.006 10.1016/j.riai.2012.05.013 10.1109/TE.2012.2217967 10.1109/TE.2008.919809 10.1016/S1697-7912(11)70011-5 |
| ContentType | Journal Article |
| Copyright | 2012 EA |
| Copyright_xml | – notice: 2012 EA |
| DBID | 6I. AAFTH AAYXX CITATION DOA |
| DOI | 10.1016/j.riai.2013.05.010 |
| DatabaseName | ScienceDirect Open Access Titles Elsevier:ScienceDirect:Open Access CrossRef DOAJ Directory of Open Access Journals |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: DOA name: Directory of Open Access Journals (DOAJ) url: https://www.doaj.org/ sourceTypes: Open Website |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Education |
| DocumentTitleAlternate | Lightweight Web-Tool for C Concurrent Programming |
| EISSN | 1697-7920 |
| EndPage | 476 |
| ExternalDocumentID | oai_doaj_org_article_d661eb5de3bb488c8074220b8a183dee 10_1016_j_riai_2013_05_010 S1697791213000599 |
| GroupedDBID | 0R~ 0SF 123 457 6I. AACTN AAEDT AAEDW AAFTH AAIKJ AALRI ABMAC ADEZE AENEX AEXQZ AGHFR AITUG ALMA_UNASSIGNED_HOLDINGS AMRAJ EBS EJD FDB GROUPED_DOAJ HZ~ IXB NCXOZ O9- OK1 SSZ WBO AAXUO AAYWO AAYXX ACVFH ADCNI ADMLS ADVLN AEUPX AFPUW AIGII AKBMS AKRWK AKYEP CITATION |
| ID | FETCH-LOGICAL-c1620-e2437eb830fb6c6a84bc7905ef2bc31baf020660ebfc01ab076cf239e63e05f53 |
| IEDL.DBID | DOA |
| ISSN | 1697-7912 |
| IngestDate | Fri Oct 03 12:52:58 EDT 2025 Sat Nov 29 01:55:42 EST 2025 Fri Feb 23 02:23:22 EST 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 4 |
| Keywords | Educación Concurrent Systems C Education Informática Industrial Tools Herramientas Industrial Informatics Sistemas Concurrentes |
| Language | Spanish |
| License | http://creativecommons.org/licenses/by-nc-nd/3.0 http://www.elsevier.com/tdm/userlicense/1.0 |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c1620-e2437eb830fb6c6a84bc7905ef2bc31baf020660ebfc01ab076cf239e63e05f53 |
| OpenAccessLink | https://doaj.org/article/d661eb5de3bb488c8074220b8a183dee |
| PageCount | 12 |
| ParticipantIDs | doaj_primary_oai_doaj_org_article_d661eb5de3bb488c8074220b8a183dee crossref_primary_10_1016_j_riai_2013_05_010 elsevier_sciencedirect_doi_10_1016_j_riai_2013_05_010 |
| PublicationCentury | 2000 |
| PublicationDate | October-December 2013 2013-10-00 2013-10-01 |
| PublicationDateYYYYMMDD | 2013-10-01 |
| PublicationDate_xml | – month: 10 year: 2013 text: October-December 2013 |
| PublicationDecade | 2010 |
| PublicationTitle | Revista iberoamericana de automática e informática industrial |
| PublicationYear | 2013 |
| Publisher | Elsevier España Universitat Politècnica de València |
| Publisher_xml | – name: Elsevier España – name: Universitat Politècnica de València |
| References | Garcia-Valls, Basanta-Val (bib0050) 2012; 99 Sifakis (bib0150) 2011; 1 Lawrence Livermore National Laboratory, POSIX Threads Programming Exercise [2012,8]. Caspi, P., Folher, G., Garcia-Valls, M., Kopetz, H., Lakhnech, Y., Laroussinie, F., Lavagno, L., Lipari, G., Maraninchi, F., Peti, P., Puente, J.d.l., Sangiovanni-Vincentelli, A., Scaife, N., Sifakis, J., de Simone, R., Torngren, M., Veríssimo, P., Wellings, A.J., Wilhelm, R., Willemse, T., Yi, W., Almeida, L., Benveniste, A., Bouyssounouse, B., Buttazzo, G., Crnkovic, I., Damm, W. & Engblom, J. 2005, “Guidelines for a graduate curriculum on embedded software and systems”, ACM Transactions on Embedded Computing Systems, vol. 4, no. 3. Pardo, Kloos (bib0105) 2011; 41 Basanta-Val .P, García-Valls, M., Estévez-Ayres, I. & Martin-Gutiérrez, M.J. 2012, “Módulo Empresarial para la Validación Formal de Ejercicios aplicado a la Programación Concurrente en Java”, Revista Iberoamericana de Automática e Informática Industrial RIAI, vol. 9, no. 3, pp. 209-299. Rodriguez-Andina, Gomes (bib0115) 2013; 9 Havelund, Pressburger (bib0060) 2000; 2 Savage, Burrows, Nelson, Sobalvarro, Anderson (bib0135) 1997; 15 Jannesari, A., Kaibin Bao, Pankratius, V. & Tichy, W.F. 2009, “Helgrind+: An efficient dynamic race detector”, Parallel Distributed Processing, 2009. IPDPS 2009. IEEE International Symposium on, may, pp. 1. Committee, P.A.S. 2003, POSIX Realtime and Embedded application Support, IEEE Standard for Information Technology. Serebryany, Iskhodzhanov (bib0140) 2009 Weber, J. & Rehkopf, A. 2009, “A Java-based remote GUI concept for distributed automation systems”, Emerging Technologies Factory Automation, 2009. ETFA 2009. IEEE Conference on, sept., pp. 1. Ihantola, P. 2006, “Test data generation for programming exercises with symbolic execution in Java PathFinder”, Proceedings of the 6th Baltic Sea conference on Computing education research: Koli Calling 2006ACM, New York, NY, USA, pp. 87. Pinto, Moreira, Matos (bib0110) 2012; 55 Crenshaw (bib0035) 2013; 56 Estevez-Avres, I., Basanta-Val P. & García-Valls, M. 2004, “Docencia de programación concurrente. Experiencias de Laboratorio.”, VII Jornadas de Tiempo Real. Monzón, Fernández, de la Puente (bib0095) 2012; 42 Sierra, A.J., Ariza, T., Fernandez, F.J. & Madinabeitia, G. 2012, “TVSP: A Tool for Validation Software Projects in programming labs”, Global Engineering Education Conference (EDUCON), 2012 IEEE, april, pp. 1. Santana, Ferre, Izaguirre, Aracil, Hernandez (bib0130) 2013; 9 Merino, Molina, Organero, Kloos (bib0090) 2012; 39 Salido, Lillo, Déniz Suárez, Bueno (bib0125) 2011; 8 Kim, Jeon (bib0075) 2009; 52 Bouyssounouse, B. & Sifakis, J. 2005, Embedded systems design: the ARTIST roadmap for research and development, Springer, Verlag, NJ, USA. Nethercote, Seward (bib0100) 2007; 42 Sáez, Crespo (bib0120) 2013; 10 Basanta Val, P. & Garcia-Valls, M. 2013, “A Distributed Real-Time Java- centric Architecture for Industrial Systems”, Industrial Informatics, IEEE Transactions on, vol. PP, no. 99, pp. 1-1. Hamblen, Bekkum (bib0055) 2013; 56 Alonso, D., Pastor, J. & Álvarez, B. 2004, “Real–Time Teaching with Java: JPR 3” in On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops, eds. R. Meersman, Z. Tari & A. Corsaro, Springer Berlin Heidelberg,, pp. 246-255. Sun Microsystems. 2005, Online [2005] at http://jcp.org/aboutJava/communityprocess/pr/jsr220/index.html-last update, Enterprise Java Beans [Homepage of SUN],.[Online]. Lee, J.W., Kester, M.S. & Schulzrinne, H. 2011, “Follow the river and you will find the C”, Proceedings of the 42nd ACM technical symposium on Computer science educationACM, New York, NY, USA, pp. 411. Cuevas, Barros, Martínez, Drake (bib0040) 2013; 10 10.1016/j.riai.2013.05.010_bib0080 Pardo (10.1016/j.riai.2013.05.010_bib0105) 2011; 41 10.1016/j.riai.2013.05.010_bib0160 10.1016/j.riai.2013.05.010_bib0020 10.1016/j.riai.2013.05.010_bib0085 Sáez (10.1016/j.riai.2013.05.010_bib0120) 2013; 10 Cuevas (10.1016/j.riai.2013.05.010_bib0040) 2013; 10 Hamblen (10.1016/j.riai.2013.05.010_bib0055) 2013; 56 10.1016/j.riai.2013.05.010_bib0010 Nethercote (10.1016/j.riai.2013.05.010_bib0100) 2007; 42 Savage (10.1016/j.riai.2013.05.010_bib0135) 1997; 15 10.1016/j.riai.2013.05.010_bib0155 10.1016/j.riai.2013.05.010_bib0015 Crenshaw (10.1016/j.riai.2013.05.010_bib0035) 2013; 56 Garcia-Valls (10.1016/j.riai.2013.05.010_bib0050) 2012; 99 Pinto (10.1016/j.riai.2013.05.010_bib0110) 2012; 55 Sifakis (10.1016/j.riai.2013.05.010_bib0150) 2011; 1 10.1016/j.riai.2013.05.010_bib0070 10.1016/j.riai.2013.05.010_bib0030 Havelund (10.1016/j.riai.2013.05.010_bib0060) 2000; 2 Santana (10.1016/j.riai.2013.05.010_bib0130) 2013; 9 Rodriguez-Andina (10.1016/j.riai.2013.05.010_bib0115) 2013; 9 10.1016/j.riai.2013.05.010_bib0065 Kim (10.1016/j.riai.2013.05.010_bib0075) 2009; 52 Salido (10.1016/j.riai.2013.05.010_bib0125) 2011; 8 10.1016/j.riai.2013.05.010_bib0145 10.1016/j.riai.2013.05.010_bib0045 Monzón (10.1016/j.riai.2013.05.010_bib0095) 2012; 42 10.1016/j.riai.2013.05.010_bib0025 Merino (10.1016/j.riai.2013.05.010_bib0090) 2012; 39 Serebryany (10.1016/j.riai.2013.05.010_bib0140) 2009 10.1016/j.riai.2013.05.010_bib0005 |
| References_xml | – volume: 15 start-page: 391 year: 1997 end-page: 411 ident: bib0135 article-title: Eraser: a dynamic data race detector for multithreaded programs publication-title: ACM Trans. Comput. Syst. – volume: 56 start-page: 116 year: 2013 end-page: 120 ident: bib0035 article-title: Using Robots and Contract Learning to Teach Cyber- Physical Systems to Undergraduates” publication-title: IEEE Trans. Education – volume: 52 start-page: 99 year: 2009 ident: bib0075 article-title: Introduction for Freshmen to Embedded Systems Using LEGO Mindstorms publication-title: Education IEEE Transactions on – volume: 56 start-page: 121 year: 2013 end-page: 128 ident: bib0055 article-title: An Embedded Systems Laboratory to Support Rapid Prototyping of Robotics and the Internet of Things publication-title: IEEE Trans. Education – volume: 2 start-page: 366 year: 2000 end-page: 381 ident: bib0060 article-title: Model checking Java programs using Java PathFinder publication-title: International Journal on Software Tools for Technology Transfer (STTT) – reference: Lawrence Livermore National Laboratory, POSIX Threads Programming Exercise [2012,8]. – volume: 42 start-page: 1137 year: 2012 end-page: 1163 ident: bib0095 article-title: Application of Deadlock Risk Evaluation of Architectural Models” publication-title: Software: Practice and Experience – reference: Committee, P.A.S. 2003, POSIX Realtime and Embedded application Support, IEEE Standard for Information Technology. – volume: 99 start-page: 1 year: 2012 ident: bib0050 article-title: Usage of DDS Data-Centric Middleware for Remote Monitoring and Control Laboratories publication-title: Industrial Informatics, IEEE Transactions on – volume: 55 start-page: 135 year: 2012 ident: bib0110 article-title: Localization of Mobile Robots Using an Extended Kalman Filter in a LEGO NXT”, Education publication-title: IEEE Transactions on – reference: Caspi, P., Folher, G., Garcia-Valls, M., Kopetz, H., Lakhnech, Y., Laroussinie, F., Lavagno, L., Lipari, G., Maraninchi, F., Peti, P., Puente, J.d.l., Sangiovanni-Vincentelli, A., Scaife, N., Sifakis, J., de Simone, R., Torngren, M., Veríssimo, P., Wellings, A.J., Wilhelm, R., Willemse, T., Yi, W., Almeida, L., Benveniste, A., Bouyssounouse, B., Buttazzo, G., Crnkovic, I., Damm, W. & Engblom, J. 2005, “Guidelines for a graduate curriculum on embedded software and systems”, ACM Transactions on Embedded Computing Systems, vol. 4, no. 3. – reference: Ihantola, P. 2006, “Test data generation for programming exercises with symbolic execution in Java PathFinder”, Proceedings of the 6th Baltic Sea conference on Computing education research: Koli Calling 2006ACM, New York, NY, USA, pp. 87. – volume: 1 start-page: 108 year: 2011 end-page: 116 ident: bib0150 article-title: A vision for computer science — the system perspective publication-title: Central European Journal of Computer Science – volume: 9 start-page: 547 year: 2013 ident: bib0130 article-title: Remote Laboratories for Education and Research Purposes in Automatic Control Systems”, Industrial Informatics publication-title: IEEE Transactions on – volume: 41 start-page: 449 year: 2011 end-page: 465 ident: bib0105 article-title: SubCollaboration: large-scale group management in collaborative learning publication-title: Softw. Pract. Exper. – reference: Sun Microsystems. 2005, Online [2005] at http://jcp.org/aboutJava/communityprocess/pr/jsr220/index.html-last update, Enterprise Java Beans [Homepage of SUN],.[Online]. – reference: Bouyssounouse, B. & Sifakis, J. 2005, Embedded systems design: the ARTIST roadmap for research and development, Springer, Verlag, NJ, USA. – volume: 39 start-page: 6932 year: 2012 ident: bib0090 article-title: An adaptive and innovative question-driven competition-based intelligent tutoring system for learning publication-title: Expert Syst. Appl. – reference: Lee, J.W., Kester, M.S. & Schulzrinne, H. 2011, “Follow the river and you will find the C”, Proceedings of the 42nd ACM technical symposium on Computer science educationACM, New York, NY, USA, pp. 411. – reference: Jannesari, A., Kaibin Bao, Pankratius, V. & Tichy, W.F. 2009, “Helgrind+: An efficient dynamic race detector”, Parallel Distributed Processing, 2009. IPDPS 2009. IEEE International Symposium on, may, pp. 1. – volume: 8 start-page: 89 year: 2011 end-page: 99 ident: bib0125 article-title: CTRWeb: Una Herramienta de Programación para Telecontrol de Sistemas Físicos Educativos publication-title: Revista iberoamericana de automática e informática industrial – reference: Estevez-Avres, I., Basanta-Val P. & García-Valls, M. 2004, “Docencia de programación concurrente. Experiencias de Laboratorio.”, VII Jornadas de Tiempo Real. – volume: 10 start-page: 197 year: 2013 end-page: 203 ident: bib0120 article-title: Mejora de los Test de Planificabilidad para Asignación Incremental de Tareas en Sistemas Multiprocesadores de Tiempo Real publication-title: Revista Iberoamericana de Automática e Informática Industrial RIAI – volume: 10 start-page: 216 year: 2013 end-page: 227 ident: bib0040 article-title: Beneficios que aporta la metodología MDE a los entornos de desarrollo de sistemas de tiempo real publication-title: Revista Iberoamericana de Automática e Informática Industrial RIAI – reference: Weber, J. & Rehkopf, A. 2009, “A Java-based remote GUI concept for distributed automation systems”, Emerging Technologies Factory Automation, 2009. ETFA 2009. IEEE Conference on, sept., pp. 1. – volume: 42 start-page: 89 year: 2007 end-page: 100 ident: bib0100 article-title: Valgrind: a framework for heavyweight dynamic binary instrumentation publication-title: SIGPLAN Not. – reference: Basanta-Val .P, García-Valls, M., Estévez-Ayres, I. & Martin-Gutiérrez, M.J. 2012, “Módulo Empresarial para la Validación Formal de Ejercicios aplicado a la Programación Concurrente en Java”, Revista Iberoamericana de Automática e Informática Industrial RIAI, vol. 9, no. 3, pp. 209-299. – reference: Basanta Val, P. & Garcia-Valls, M. 2013, “A Distributed Real-Time Java- centric Architecture for Industrial Systems”, Industrial Informatics, IEEE Transactions on, vol. PP, no. 99, pp. 1-1. – reference: Sierra, A.J., Ariza, T., Fernandez, F.J. & Madinabeitia, G. 2012, “TVSP: A Tool for Validation Software Projects in programming labs”, Global Engineering Education Conference (EDUCON), 2012 IEEE, april, pp. 1. – start-page: p62 year: 2009 ident: bib0140 article-title: ThreadSanitizer: data race detection in practice publication-title: Proceedings of the Workshop on Binary Instrumentation and ApplicationsACM – reference: Alonso, D., Pastor, J. & Álvarez, B. 2004, “Real–Time Teaching with Java: JPR 3” in On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops, eds. R. Meersman, Z. Tari & A. Corsaro, Springer Berlin Heidelberg,, pp. 246-255. – volume: 9 start-page: 546 year: 2013 ident: bib0115 article-title: Guest Editorial Special Section on Information Technologies Within Engineering Education”, Industrial Informatics publication-title: IEEE Transactions on – ident: 10.1016/j.riai.2013.05.010_bib0010 – ident: 10.1016/j.riai.2013.05.010_bib0070 – volume: 41 start-page: 449 issue: 4 year: 2011 ident: 10.1016/j.riai.2013.05.010_bib0105 article-title: SubCollaboration: large-scale group management in collaborative learning publication-title: Softw. Pract. Exper. doi: 10.1002/spe.1023 – volume: 10 start-page: 216 issue: 2 year: 2013 ident: 10.1016/j.riai.2013.05.010_bib0040 article-title: Beneficios que aporta la metodología MDE a los entornos de desarrollo de sistemas de tiempo real publication-title: Revista Iberoamericana de Automática e Informática Industrial RIAI doi: 10.1016/j.riai.2013.03.011 – volume: 9 start-page: 546 issue: 1 year: 2013 ident: 10.1016/j.riai.2013.05.010_bib0115 article-title: Guest Editorial Special Section on Information Technologies Within Engineering Education”, Industrial Informatics publication-title: IEEE Transactions on – ident: 10.1016/j.riai.2013.05.010_bib0085 doi: 10.1145/1953163.1953285 – ident: 10.1016/j.riai.2013.05.010_bib0005 doi: 10.1007/978-3-540-30470-8_42 – volume: 42 start-page: 89 issue: 6 year: 2007 ident: 10.1016/j.riai.2013.05.010_bib0100 article-title: Valgrind: a framework for heavyweight dynamic binary instrumentation publication-title: SIGPLAN Not. doi: 10.1145/1273442.1250746 – ident: 10.1016/j.riai.2013.05.010_bib0025 doi: 10.1145/1086519.1086526 – volume: 39 start-page: 6932 issue: 8 year: 2012 ident: 10.1016/j.riai.2013.05.010_bib0090 article-title: An adaptive and innovative question-driven competition-based intelligent tutoring system for learning publication-title: Expert Syst. Appl. doi: 10.1016/j.eswa.2012.01.020 – ident: 10.1016/j.riai.2013.05.010_bib0045 – start-page: p62 year: 2009 ident: 10.1016/j.riai.2013.05.010_bib0140 article-title: ThreadSanitizer: data race detection in practice publication-title: Proceedings of the Workshop on Binary Instrumentation and ApplicationsACM doi: 10.1145/1791194.1791203 – ident: 10.1016/j.riai.2013.05.010_bib0020 doi: 10.1007/b106761 – volume: 99 start-page: 1 year: 2012 ident: 10.1016/j.riai.2013.05.010_bib0050 article-title: Usage of DDS Data-Centric Middleware for Remote Monitoring and Control Laboratories publication-title: Industrial Informatics, IEEE Transactions on – ident: 10.1016/j.riai.2013.05.010_bib0065 – volume: 2 start-page: 366 issue: 4 year: 2000 ident: 10.1016/j.riai.2013.05.010_bib0060 article-title: Model checking Java programs using Java PathFinder publication-title: International Journal on Software Tools for Technology Transfer (STTT) doi: 10.1007/s100090050043 – volume: 42 start-page: 1137 issue: 9 year: 2012 ident: 10.1016/j.riai.2013.05.010_bib0095 article-title: Application of Deadlock Risk Evaluation of Architectural Models” publication-title: Software: Practice and Experience – volume: 55 start-page: 135 issue: 1 year: 2012 ident: 10.1016/j.riai.2013.05.010_bib0110 article-title: Localization of Mobile Robots Using an Extended Kalman Filter in a LEGO NXT”, Education publication-title: IEEE Transactions on – volume: 15 start-page: 391 issue: 4 year: 1997 ident: 10.1016/j.riai.2013.05.010_bib0135 article-title: Eraser: a dynamic data race detector for multithreaded programs publication-title: ACM Trans. Comput. Syst. doi: 10.1145/265924.265927 – volume: 56 start-page: 121 issue: 1 year: 2013 ident: 10.1016/j.riai.2013.05.010_bib0055 article-title: An Embedded Systems Laboratory to Support Rapid Prototyping of Robotics and the Internet of Things publication-title: IEEE Trans. Education doi: 10.1109/TE.2012.2227320 – ident: 10.1016/j.riai.2013.05.010_bib0145 – volume: 10 start-page: 197 issue: 2 year: 2013 ident: 10.1016/j.riai.2013.05.010_bib0120 article-title: Mejora de los Test de Planificabilidad para Asignación Incremental de Tareas en Sistemas Multiprocesadores de Tiempo Real publication-title: Revista Iberoamericana de Automática e Informática Industrial RIAI doi: 10.1016/j.riai.2013.03.006 – ident: 10.1016/j.riai.2013.05.010_bib0015 doi: 10.1016/j.riai.2012.05.013 – ident: 10.1016/j.riai.2013.05.010_bib0030 – volume: 9 start-page: 547 issue: 1 year: 2013 ident: 10.1016/j.riai.2013.05.010_bib0130 article-title: Remote Laboratories for Education and Research Purposes in Automatic Control Systems”, Industrial Informatics publication-title: IEEE Transactions on – ident: 10.1016/j.riai.2013.05.010_bib0160 – ident: 10.1016/j.riai.2013.05.010_bib0080 – volume: 56 start-page: 116 issue: 1 year: 2013 ident: 10.1016/j.riai.2013.05.010_bib0035 article-title: Using Robots and Contract Learning to Teach Cyber- Physical Systems to Undergraduates” publication-title: IEEE Trans. Education doi: 10.1109/TE.2012.2217967 – volume: 52 start-page: 99 issue: 1 year: 2009 ident: 10.1016/j.riai.2013.05.010_bib0075 article-title: Introduction for Freshmen to Embedded Systems Using LEGO Mindstorms publication-title: Education IEEE Transactions on doi: 10.1109/TE.2008.919809 – volume: 8 start-page: 89 issue: 1 year: 2011 ident: 10.1016/j.riai.2013.05.010_bib0125 article-title: CTRWeb: Una Herramienta de Programación para Telecontrol de Sistemas Físicos Educativos publication-title: Revista iberoamericana de automática e informática industrial doi: 10.1016/S1697-7912(11)70011-5 – volume: 1 start-page: 108 issue: 1 year: 2011 ident: 10.1016/j.riai.2013.05.010_bib0150 article-title: A vision for computer science — the system perspective publication-title: Central European Journal of Computer Science – ident: 10.1016/j.riai.2013.05.010_bib0155 |
| SSID | ssj0000686382 |
| Score | 1.8236222 |
| Snippet | El uso de herramientas a la hora de enseñar una determinada disciplina aporta múltiples beneficios desde el punto de vista de la actividad docente pues permite... Resumen: El uso de herramientas a la hora de enseñar una determinada disciplina aporta múltiples beneficios desde el punto de vista de la actividad docente... |
| SourceID | doaj crossref elsevier |
| SourceType | Open Website Index Database Publisher |
| StartPage | 465 |
| SubjectTerms | Concurrent Systems Educación Education Herramientas Industrial Informatics Informática Industrial Sistemas Concurrentes |
| Title | Herramienta Web Ligera para La Programación en C-Concurrente |
| URI | https://dx.doi.org/10.1016/j.riai.2013.05.010 https://doaj.org/article/d661eb5de3bb488c8074220b8a183dee |
| Volume | 10 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVAON databaseName: Directory of Open Access Journals (DOAJ) customDbUrl: eissn: 1697-7920 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0000686382 issn: 1697-7912 databaseCode: DOA dateStart: 20070101 isFulltext: true titleUrlDefault: https://www.doaj.org/ providerName: Directory of Open Access Journals |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrZ3NSsQwEMeDiAc9iJ-4fpGDNymmTdO0Bw-6KHtYlj0o7i1kkqlUsEp39cV8BF_MpOlKvejFaylJ-c8wk6GT3xByxrFMbAwsioVJo1SUsYuDVkYSSuZHbxepNe2wCTmZ5LNZMe2N-vI9YQEPHIS7sC6BIAiLHMA5m_HwliRhkGvnjBbRR18mi14xFWJw7hyr_dWZFdIzGZPuxkxo7nLGrXxfFw_YTvYjK7Xw_l5y6iWc2y2y2Z0U6VX4wm2ygvMdstHjB-6SyxE2jX5urzTSBwQ6rh6x0dTzvOlY02lovtKm-vyoKdZ0GA1fahOQTLhH7m9v7oajqJuHEJk4c1UeenggQs5ZCZnJdJ6C8XwtJzcYHoMumYezM4TSsFgDk5kpE15gxpGJUvB9slq_1HhAqE05CAQLni4vNbqqJxYgmZMZMbV2QM6XeqjXgL1Qy36wJ-XVU149xYRy6g3ItZfs-02PrG4fOEOqzpDqL0MOiFgKrrrsH7K6W6r6ZfPD_9j8iKz7JUOX3jFZXTRveELWzPuimjenrW99AdgU0cA |
| linkProvider | Directory of Open Access Journals |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Herramienta+Web+Ligera+para+La+Programaci%C3%B3n+en+C-Concurrente&rft.jtitle=Revista+iberoamericana+de+autom%C3%A1tica+e+inform%C3%A1tica+industrial&rft.au=Pablo+Basanta-Val&rft.au=Marisol+Garc%C3%ADa-Valls&rft.au=Pablo+L%C3%B3pez-Anastasio&rft.date=2013-10-01&rft.pub=Universitat+Polit%C3%A8cnica+de+Val%C3%A8ncia&rft.issn=1697-7912&rft.volume=10&rft.issue=4&rft.spage=465&rft.epage=476&rft_id=info:doi/10.1016%2Fj.riai.2013.05.010&rft.externalDBID=DOA&rft.externalDocID=oai_doaj_org_article_d661eb5de3bb488c8074220b8a183dee |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1697-7912&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1697-7912&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1697-7912&client=summon |