J. C. Augusto, S. T. Acuña, I. P. Maldonado, M. Y. Lescano  Home/Search
Context
Related
| infj.ulst.ac.uk/~jcaug...jiisic2002.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: infj.ulst.ac.uk/~jcaug/invest (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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 formalize the Project Management Processes of the Integral Software Process Model (ISPM), which prescribes conventional and... (Update)
Active bibliography (related documents): More All
2.2: Software Process Modelling - Acuna, Ferré (Correct)
1.2: Capacities-Centered Software Engineering and.. - Quincoces.. (Correct)
0.6: A Culture-Centered Multilevel Software Process Cycle Model - Acuna, Sosa (2000) (Correct)
Similar documents based on text: More All
0.1: Implementation and Testing for a Set of Event Detection.. - Rodolfo Gomez Juan (Correct)
0.1: A Hierarchical Self-Organizing Map Model for Sequence Recognition - Carpinteiro (1998) (Correct)
0.1: Concurrent Development of Model and Implementation - Andrew Gravell Yvonne (2003) (Correct)
BibTeX entry: (Update)
@misc{ augusto-considering,
author = "J. C. Augusto and S. T. Acuña and I. P. Maldonado and M. Y. Lescano",
title = "Considering Durative Activities in the Software Process",
url = "citeseer.ist.psu.edu/augusto02considering.html" }
Citations (may not include all citations):2157 Design Patterns: Elements of Reusable Object-oriented Softwa.. (context) - Gamma, Helm et al. - 1995
230 The Unified Software Development Process (context) - Jacobson, Booch et al. - 1999
155 The tool KRONOS - Daws, Olivero et al. - 1996
92 Present and Future (context) - Prior - 1967
79 Software process model evolution in the SPADE environment - Bandinelli, Fuggetta et al. - 1993
76 IEEE Standard (context) - for, Life et al.
68 The anchored version of the temporal framework - Manna, Pnueli - 1989
48 A hierarchy of temporal properties (context) - Manna, Pnueli - 1990
46 Springer Verlag (context) - Rescher, Urquart et al. - 1971
42 UPPAAL in a Nutshell - Larsen, Pettersson et al. - 1997
27 SOCCA: Specifications of coordinated and cooperative activit.. (context) - Engels, Groenewegen - 1994
19 Dealing with roles - Fowler - 1997
18 Process modelling (context) - Curtis, Kellner et al. - 1992
16 Characterizing and assessing a large-scale software maintena.. - Briand, Melo et al. - 1995
15 Software Project Dynamics: An Integrated Approach (context) - Abdel-Hamid, Madnick - 1991
11 Software process: A roadmap - Fuggetta - 2000
9 Toward a classification scheme for software process modellin.. (context) - McChesney - 1995
8 On Tense Logic and the Theory of Order (context) - Kamp - 1968
7 Acquiring experiences with the modelling and implementation .. (context) - Penedo, Shu - 1991
5 Model based process assessments (context) - McGowan, Bohner - 1993
5 Defining a corporate-wide software process (context) - Frailey - 1991
5 Deduction is forever (context) - Pnueli - 1999
5 A process model applicable to software engineering and knowl.. (context) - Acua, Lpez et al. - 1999
4 Software engineering, the software process and their support (context) - Lehman - 1991
4 ALF: A framework for building processcentred software engine.. (context) - Canals, Boudjlida et al. - 1994
4 Providing customized assistance for software lifecycle appro.. (context) - Ramanathan, Sarkar - 1988
4 Modelling and improving an industrial software process (context) - Bandinelli, Fuggetta et al. - 1995
3 Software development process reuse based on patterns (context) - Jr, Werner - 1997
3 Software engineering and knowledge engineering software proc.. (context) - Acua, Barchini et al. - 2000
3 Modelling Reactive Systems with Statecharts: The Statemate A.. (context) - Harel, Politi - 1998
2 Using UML for software process modelling (context) - Franch, Rib - 1999
2 MAM nets: A Petri-net based approach to software process mod.. (context) - Min, Bae - 1997
2 Software process modelling (context) - Huff - 1996
2 The logical approach to temporal reasoning (context) - Augusto - 2001
1 EMTPL: A programming language for temporal deductive data ba.. (context) - Cobo, Augusto - 1999
1 Deductive Verfication of Real Time System Using SteP (context) - Bjorner, Manna et al. - 1998
1 Una formalizacin de la dinmica del proceso de desarrollo de .. (context) - Acua, Augusto et al. - 2001
1 A programming language based on Prior's metric temporal oper.. (context) - Cobo, Augusto - 2000
1 Second Edition (context) - van Benthem - 1991
1 Modelling software processes quantitatively and evaluating t.. (context) - Raffo, Kellner - 1999
1 Two case studies in modelling real, corporate processes (context) - Barghouti, Rosenblum et al. - 1995
1 Stratified metric tense logic (context) - Prior - 1967
Documents on the same site (http://www.infj.ulst.ac.uk/~jcaug/invest.htm): More
Concurrent Development of Model and Implementation - Andrew Gravell Yvonne (2003) (Correct)
An Algorithm to Translate PARADIGM specifications to PLTL in.. - Gomez, al. (2003) (Correct)
A Procedure to Translate Paradigm Specifications to.. - Augusto, Gomez (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC