Summary: International Journal of Software Engineering and Knowledge Engineering
Vol. 0, No. 0 (2003) 000­000
fc World Scientific Publishing Company
A PROCEDURE TO TRANSLATE PARADIGM SPECIFICATIONS
TO PROPOSITIONAL LINEAR TEMPORAL LOGIC
AND ITS APPLICATION TO VERIFICATION
JUAN CARLOS AUGUSTO
Department of Electronics and Computer Science, University of Southampton
Southampton, Hampshire SO17 1BJ, UK
jca@ecs.soton.ac.uk
and
RODOLFO SABAS GOMEZ
University of Kent, Computing Laboratory, Department of computer Science
CT2 7NZ Canterbury, Kent, UK
rsg2@kent.ac.uk
Received (received date)
Revised (revised date)
Accepted (accepted date)
Software systems have evolved from monolithic programs to systems constructed from
parallel, cooperative components, as can be currently found in object-oriented applica-

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

Collections: Computer Technologies and Information Sciences