Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Automatic translation of PARADIGM models into PLTL-based Rodolfo Sabas Gomez
 

Summary: Automatic translation of PARADIGM models into PLTL-based
programs
Rodolfo SabŽas GŽomez
Departamento de Ciencias
e IngenierŽia de la ComputaciŽon
Universidad Nacional del Sur
Argentina
rgomez@cs.uns.edu.ar
Juan Carlos Augusto
Department of Electronics
and Computer Science
University of Southampton
United Kingdom
jca@ecs.soton.ac.uk
Abstract
Software systems have evolved from monolythic pro-
grams to systems constructed from parallel, coopera-
tive components, as can be currently found in object-
oriented applications. Although powerfull, these coop-
erative systems are also more difficult to verify.

  

Source: Augusto, Juan Carlos - School of Computing and Mathematics, University of Ulster at Jordanstown

 

Collections: Computer Technologies and Information Sciences