Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
International Journal of Software Engineering and Knowledge Engineering Vol. 0, No. 0 (2003) 000000
 

Summary: International Journal of Software Engineering and Knowledge Engineering
Vol. 0, No. 0 (2003) 000000
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