Documente Academic
Documente Profesional
Documente Cultură
A medida que aumenta la complejidad de los sistemas de software surgen nuevos aspectos del
desarrollo de aplicaciones que hasta ese momento no se habían tenido en cuenta, al menos de
una forma explıcita. De este modo, el proceso de desarrollo se ha ido convirtiendo
gradualmente en una labor de ingeniería, en la que nuevas tareas, como la elaboración de
especificaciones, el diseño del sistema, la construcción de prototipos, la integración y pruebas,
la gestión de la configuración y otras muchas han ido cobrando importancia frente a las
labores de programación que eran las que primaban en un inicio. La Ingeniería del Software ha
ido respondiendo a esta situación con el desarrollo de nuevos modelos, notaciones, técnicas y
métodos.
Como sabemos hoy en día es muy importante construir software de calidad por ese motivo
utilizamos métodos formales poco a poco ha ido creciendo en su desarrollo uno de los más
conocidos y famosos es el lenguaje Z.
Investigando actualmente sabemos qué de esta manera las especificaciones formales pueden
complementar el desarrollo orientado a objetos o por lo menos, cómo pueden ayudar a
clarificar las semánticas de las notaciones y conceptos orientados a objetos. Ejemplos: el
modelo de objetos esencial del E-R que hace uso de Z, la formalización de la notación
mediante Z y los métodos.
Herramienta:
El menú de opciones tienes para poder hacer un nuevo un abrir o un cargar un archivo que
tenemos en la computadora tener en cuenta que tiene que ser en XML.
Los debes y puedes nos van a indicar la opción y el uno o muchos nos van a indicar la
cardinalidad .
Para realizar las pruebas tenemos que sacar en xml en tex con el cual usaremos el programa
Fuzz para poder hacer la verificación:
Tenemos el archivo
Ejecutamos el Fuzz
Podemos ver que no muestra error sin embargo vamos a hacer uno con error con lo que
modificaremos el archivo.
Conclusiones:
La combinación de técnicas formales y de las tecnologías orientadas a objetos, ha alcanzado
avances significativos en ambos campos y ha conducido a una mayor diseminación del trabajo
en métodos formales, que de otra manera podría no haber ocurrido.
Esto nos ayuda a ampliar las especificaciones de software con métodos formales lo cual hace
muy útil y completo las especificaciones.
Referencias:
Chanda, N., & Liu, X. F. (2015, June). Intelligent analysis of software architecture rationale for
collaborative software design. In Collaboration Technologies and Systems (CTS), 2015
International Conference on (pp. 287-294). IEEE.
Khan, H. H., Naz'ri bin Mahrin, M., & bt Chuprat, S. (2014, September). Situational requirement
engineering framework for global software development. In Computer, Communications, and
Control Technology (I4CT), 2014 International Conference on (pp. 224-229). IEEE.
http://www.luisespino.com/erz/er.php?action=open