[Pfc-prolog-cvs] prolix-doc/pfc-es/requisitos formales.tex,1.4,1.5

[<iva...@us...>]

Update of /cvsroot/pfc-prolog/prolix-doc/pfc-es/requisitos
In directory sc8-pr-cvs1:/tmp/cvs-serv26004/pfc-es/requisitos

Modified Files:
	formales.tex 
Log Message:
Pasada revision ortografica

Index: formales.tex
===================================================================
RCS file: /cvsroot/pfc-prolog/prolix-doc/pfc-es/requisitos/formales.tex,v
retrieving revision 1.4
retrieving revision 1.5
diff -C2 -d -r1.4 -r1.5
*** formales.tex	31 Aug 2003 17:32:05 -0000	1.4
--- formales.tex	4 Sep 2003 20:31:03 -0000	1.5
***************
*** 11,16 ****
    \item El entorno de la aplicación debe ser totalmente web
      \begin{enumerate}
! 	\item La utilización de la aplicación no deberia requerir la instalación de software por parte del cliente
! 	\item Se debera ajustar el máximo posible a estándares que garanticen su funcionamiento en todo tipo de clientes
      \end{enumerate}
  
--- 11,16 ----
    \item El entorno de la aplicación debe ser totalmente web
      \begin{enumerate}
! 	\item La utilización de la aplicación no debería requerir la instalación de software por parte del cliente
! 	\item Se deberá ajustar el máximo posible a estándares que garanticen su funcionamiento en todo tipo de clientes
      \end{enumerate}
  
***************
*** 18,22 ****
    \begin{enumerate}
      \item Para acceder a la aplicación el usuario debe estar registrado.
!     \item El usuario podra registrarse a si mismo, de forma automática y gratuita por la Web.
      \item La supresión de un usuario será tarea del/de los administrador(es).
    \end{enumerate}
--- 18,22 ----
    \begin{enumerate}
      \item Para acceder a la aplicación el usuario debe estar registrado.
!     \item El usuario podrá registrarse a si mismo, de forma automática y gratuita por la Web.
      \item La supresión de un usuario será tarea del/de los administrador(es).
    \end{enumerate}
***************
*** 25,41 ****
    \begin{enumerate}
      \item La aplicación debe admitir la carga de programas y la resolución de consultas en lenguaje Prolog.
!     \item En cada paso detectará los errores correspondientes e informará al ususario para su corrección.
      \item Durante la sesión de usuario se pueden almacenar las ultimas consultas realizadas, pudiendo repetirse sin ser necesario teclearlas de nuevo.
    \end{enumerate}
  
!   \item La resolución de las consultas podra obtenerse de forma gráfica.
    \begin{enumerate}
!     \item Debe poder observarse una representación gráfica del arbol de resolución
!     \item Esta representación se hará si es posible en SVG u otro estandar libre. En su defecto en un formato gráfico visualizable en cualquier sistema cliente.
    \end{enumerate}
  
    \item Los usuarios dispondrán de una biblioteca de programas
    \begin{enumerate}
!     \item Cualquier usuario puede guardar sus programas en una biblioteca, poniendolos a disposición de los demás usuarios
      \item Cada usuario tiene acceso a todos los programas de la biblioteca, pudiendo ejecutarlos, modificarlos, y guardarlos con otro nombre.
      \item El usuario puede borrar solo sus propios programas.
--- 25,41 ----
    \begin{enumerate}
      \item La aplicación debe admitir la carga de programas y la resolución de consultas en lenguaje Prolog.
!     \item En cada paso detectará los errores correspondientes e informará al usuario para su corrección.
      \item Durante la sesión de usuario se pueden almacenar las ultimas consultas realizadas, pudiendo repetirse sin ser necesario teclearlas de nuevo.
    \end{enumerate}
  
!   \item La resolución de las consultas podrá obtenerse de forma gráfica.
    \begin{enumerate}
!     \item Debe poder observarse una representación gráfica del árbol de resolución
!     \item Esta representación se hará si es posible en SVG u otro estándar libre. En su defecto en un formato gráfico visualizable en cualquier sistema cliente.
    \end{enumerate}
  
    \item Los usuarios dispondrán de una biblioteca de programas
    \begin{enumerate}
!     \item Cualquier usuario puede guardar sus programas en una biblioteca, poniéndolos a disposición de los demás usuarios
      \item Cada usuario tiene acceso a todos los programas de la biblioteca, pudiendo ejecutarlos, modificarlos, y guardarlos con otro nombre.
      \item El usuario puede borrar solo sus propios programas.