Zobrazeno 1 - 9
of 9
pro vyhledávání: '"especificaciones formales"'
Autor:
Uva, Marcelo Ariel
Publikováno v:
Biblioteca Digital (UBA-FCEN)
Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron:UBA-FCEN
Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron:UBA-FCEN
En muchas situaciones, el software puede recuperarse de fallas en tiempo de ejecución usando workarounds. Un workaround se define como una alternativa de ejecución para un método defectuoso que permite mantener al sistema funcionando luego de la o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::bd69123c350b3606f8863a9cfc312745
Publikováno v:
Revista EIA, Iss 13, Pp 155-169 (2010)
Existen varios métodos de desarrollo de software que impulsan la generación automática de código. Para tal fin se utilizan las herramientas CASE (Computer-Aided Software Engineering) convencionales, pero aún están muy distantes de ser un proces
Externí odkaz:
https://doaj.org/article/5666cade2a554ad5831250aa63678b34
Autor:
Sosa Flórez, Juan Sebastián
Publikováno v:
Séneca: repositorio Uniandes
Universidad de los Andes
instacron:Universidad de los Andes
Universidad de los Andes
instacron:Universidad de los Andes
Managing mobile ad hoc systems is a difficult task due to the high volatility of the systems¿ topology. Ad hoc systems are commonly defined by means of their constituent entities and the relationships between such entities, however, a formal specifi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::02bf6687cabd9ff5a029b01203e2262e
Autor:
Rosseline Rodríguez, Marlene Goncalves
Publikováno v:
Enl@ce, Vol 6, Iss 3, Pp 29-46 (2009)
Redalyc
Enlace, Volume: 6, Issue: 3, Pages: 29-46, Published: SEP 2009
Redalyc
Enlace, Volume: 6, Issue: 3, Pages: 29-46, Published: SEP 2009
Modelar dominios de aplicación que involucren requisitos con términos vagos puede ser un proceso complejo, debido a que las herramientas de modelado disponibles en la actualidad no están concebidas para ello. Sin embargo, muchos requisitos de info
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7543a29ee20bdc4ec2893253b0a684d5
http://revistas.luz.edu.ve/index.php/enlace/article/view/3254/3140
http://revistas.luz.edu.ve/index.php/enlace/article/view/3254/3140
Publikováno v:
DYNA, Volume: 79, Issue: 173, Pages: 15-24, Published: JUN 2012
Many user requirements may involve preference criteria linguistically expressed by fuzzy terms in natural language; these requirements are called fuzzy requirements. Database query languages have been extended incorporating fuzzy logic to handle user
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______618::f072731216b0a247b60c1c778397328b
http://www.scielo.org.co/scielo.php?script=sci_arttext&pid=S0012-73532012000300017&lng=en&tlng=en
http://www.scielo.org.co/scielo.php?script=sci_arttext&pid=S0012-73532012000300017&lng=en&tlng=en
Publikováno v:
Revista EIA, Issue: 13, Pages: 155-169, Published: JUL 2010
Existen varios métodos de desarrollo de software que impulsan la generación automática de código. Para tal fin se utilizan las herramientas CASE (Computer-Aided Software Engineering) convencionales, pero aún están muy distantes de ser un proces
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______618::b603665116f4a4df4b6ec1a3bac6dbd3
http://www.scielo.org.co/scielo.php?script=sci_arttext&pid=S1794-12372010000100011&lng=en&tlng=en
http://www.scielo.org.co/scielo.php?script=sci_arttext&pid=S1794-12372010000100011&lng=en&tlng=en
Publikováno v:
Repositorio EIA
Escuela de Ingeniería de Antioquia
instacron:Escuela de Ingeniería de Antioquia
Escuela de Ingeniería de Antioquia
instacron:Escuela de Ingeniería de Antioquia
Existen varios métodos de desarrollo de software que impulsan la generación automática de código. Para tal fin se utilizan las herramientas CASE (Computer-Aided Software Engineering) convencionales, pero aún están muy distantes de ser un proces
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::524a2cdad3af3f66cf3f7ddaabb92614
http://hdl.handle.net/11190/188
http://hdl.handle.net/11190/188
Publikováno v:
COLIBRI
Universidad de la República
instacron:Universidad de la República
Universidad de la República
instacron:Universidad de la República
Un microcontrolador es un circuito integrado que contempla las funcionalidades de un computador. Los avances tecnológicos de las últimas décadas han permitido que los microcontroladores se usen hoy en diferentes ámbitos; por ejemplo, en dispositi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::a34049873373517df540206e054705ad
Oasis is a formal approach for especification of object oriented conceptual models. In OASIS conceptual schemas of information systems are represented as societies of interacting concurrent objects. Animating such models in order to valide the specif
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1291::d987af88fa595c7c4d1036bfb539ab82
https://hdl.handle.net/10317/713
https://hdl.handle.net/10317/713