Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Considering Durative Activities in the Software Process J. C. Augusto S. T. Acua I. P. Maldonado M. Y. Lescano
 

Summary: Considering Durative Activities in the Software Process
J. C. Augusto S. T. Acuņa I. P. Maldonado M. Y. Lescano
University of Southampton
Southampton SO17 1BJ
Hampshire, United Kingdom
(+44-023) 80593122
jca@ecs.soton.ac.uk
Universidad Nacional de Santiago del Estero
Avenida Belgrano (S) 1912
(4200) Santiago del Estero, Argentina
(+54-385) 4509550
{silvac, ivannamw, mariles}@unse.edu.ar
ABSTRACT
Software process descriptions are usually done using natural
languages and as such, they are prone to ambiguities. We focus on
the problem to obtain a non-ambiguous and precise
characterization of the dynamic aspects of software process
modelling. We use a metric temporal logic, MTL, with theoretical
and practical advantages, which help us to formalize the dynamic
aspects involved in the specification of the software process. We

  

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

 

Collections: Computer Technologies and Information Sciences