• Ponencia
      Icon

      Applying XML technologies in Requirements Verification 

      Durán Toro, Amador; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Toro Bonilla, Miguel (2002)
      In this paper, we present an approach for the automatic verification of software requirements specifications. This approach ...