|
|
| [1] A method for modeling and evaluating software maintenance process performances |
| Authors: |
Car, Z.; Mikac, B. |
| Reference: |
Software Maintenance and Reengineering, 2002. Proceedings. Sixth European Conference on |
| Page(s): |
15–23 |
| Date/Year: |
2002 |
| This paper presents a method for modeling and evaluating the performances of telecommunication software maintenance process. The method can be used as a special technique within the given generic model as part of an organizational effort to upgrade process maturity and efficiency. It is based on the modeling of software maintenance process as queueing networks and applies process simulation to determine its performances. |
|
| [2] Measuring, changing, and measuring changes in: students' attitudes toward and understanding of software engineering process |
| Authors: |
Bernstein, L.; Klappholz, D.; Kelley, C. |
| Reference: |
Software Engineering Education and Training, 2002. (CSEE&T; 2002). Proceedings. 15th Conference on |
| Page(s): |
245–245 |
| Date/Year: |
2002 |
| No Desc |
|
| [3] Reasoning about the correctness of software development process |
| Authors: |
Pons, C.; Baum, G. |
| Reference: |
Software Engineering, 2002. ICSE 2002. Proceedings of the 24rd International Conference on |
| Page(s): |
708-708 |
| Date/Year: |
2002 |
| Formalisation des principes des processus en définissant des sp-contracts |
|
| [4] Understanding software processes through system dynamics simulation: a case study |
| Authors: |
Andersson, C.; Kalsson, L.; Nedstam, J.; Host, M.; Nilsson, B.I. |
| Reference: |
Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the |
| Page(s): |
41-48 |
| Date/Year: |
2002 |
| Modélisation de certains aspects d’un processus à travers une simulation faite avec des équations différentielles (simulation en continu) |
|
| [5] A formal process for evaluating COTS software products |
| Authors: |
Lawlis, P.K.; Mark, K.E.; Thomas, D.A.; Courtheyn, T. |
| Reference: |
Computer , Volume: 34 Issue: 5 |
| Page(s): |
58-63 |
| Date/Year: |
May 2001 |
| Application de méthodes formelles (mathématiques décisionelles) pour déterminer la qualité et l’applicabilité d’un logiciel en diminuant le risque et le coût. |
|
| [6] A quasi-renewal process for software reliability and testing costs |
| Authors: |
Hoang Pham; Hongzhou Wang |
| Reference: |
Systems, Man and Cybernetics, Part A, IEEE Transactions on , Volume: 31 Issue: 6 |
| Page(s): |
623 –631 |
| Date/Year: |
Nov. 2001 |
| Développement d’une nouvelle méthode d’analyse de coûts pour les tests |
|
| [7] A state model for the Software Test Process with automated parameter identification |
| Authors: |
Cangussu, J.W.; DeCarlo, R.A.; Mathur, A.P. |
| Reference: |
Systems, Man, and Cybernetics, 2001 IEEE International Conference on, Volume: 2 |
| Page(s): |
706-711 vol.2 |
| Date/Year: |
2001 |
| Proposition d’un modèle pour vérifier l’évolution et les résultats d’un processus de test. |
|
| [8] An organizational learning model of the software development process |
| Authors: |
Huntley, C.L.; Majors, C.M. |
| Reference: |
Management of Engineering and Technology, 2001. PICMET '01. Portland International Conference on |
| Page(s): |
427 vol.1 |
| Date/Year: |
2001 |
| Sujet : Modèle quantitatif des effets des changements incrémentaux dans les grands projets logiciels. But : mesurer et prédire deux sources de changements incrémentaux (bug reports, enhancement or feature requests). The fundamental idea presented here is that any learning process is governed by two factors: the set of potential learning opportunities available at any given time t; and the rate /spl rho/(t) at which opportunities are discovered and exploited by the team at time t. |
|
| [9] Feedback control of the software test process through measurements of software reliability |
| Authors: |
Cangussu, J.W.; DeCarlo, R.A.; Mathurt, A.P. |
| Reference: |
Software Reliability Engineering, 2001. ISSRE 2001. Proceedings. 12th International Symposium on |
| Page(s): |
232-241 |
| Date/Year: |
2001 |
| A closed-loop feedback control model of the Software Test Process (STP) is described. The model is grounded in the weel established theory of Automatic Control. It offers a formal and novel procedure for using product reliability of failure intensity as abasis for closed loop control of the product of the STP. |
|
| [10] Reuse of verification efforts and incomplete specifications in a formalized, iterative and incremental software process |
| Authors: |
Diaz Redondo, R.P.; Pazos Arias, J.J. |
| Reference: |
Software Engineering, 2001. ICSE 2001. Proceedings of the 23rd International Conference on |
| Page(s): |
801-802 |
| Date/Year: |
2001 |
| Proposition pour une façon de vérifier des modèles incomplets dans le contexte d’utilisation de méthodes formelles dans le but d’évaluer leur réutilisabilité. |
|
| [11] Sensitivity analysis of a state variable model of the Software Test Process |
| Authors: |
Cangussu, J.W.; DeCarlo, R.A.; Mathur, A.P. |
| Reference: |
Systems, Man, and Cybernetics, 2001 IEEE International Conference on, Volume: 2 |
| Page(s): |
712-717 vol.2 |
| Date/Year: |
2001 |
| Étude mathématique sur la sensibilité d’un modèle à état du processus de test. |
|
| [12] Software maintenance process analysis using discrete-event simulation |
| Authors: |
Podnar, I.; Mikac, B. |
| Reference: |
Software Maintenance and Reengineering, 2001. Fifth European Conference on |
| Page(s): |
192-195 |
| Date/Year: |
2001 |
| Étude de l’intérêt potentiel de l’utilisation de la simulation pour analyser et améliorer le processus de maintenance. |
|
| [13] Software process analysis : integrating models and data |
| Authors: |
Jonathan E. Cook |
| Reference: |
ACM SIGSOFT Software Engineering Notes, Volume 25 Issue 1 |
| Page(s): |
44 |
| Date/Year: |
January 2000 |
| Our research is centered on making formal models of software process useful and relevant to the actual executing process. |
|
| [14] 89 Practical applications of statistical process control [in software development projects] |
| Authors: |
Weller, E.P. |
| Reference: |
IEEE Software , Volume: 17 Issue: 3 |
| Page(s): |
48-55 |
| Date/Year: |
May-June 2000 |
| Applying quantitative methods such as statistical process control (SPC) to software development projects can provide a positive cost-benefit return. The authors used SPC on inspection and test data to assess product quality during testing and to predict post-shipment product quality for a major software release. |
|
| [15] 96 Statistical process control: analyzing space shuttle onboard software process |
| Authors: |
Florac, W.A.; Carleton, A.D.; Barnard, J.R. |
| Reference: |
IEEE Software , Volume: 17 Issue: 4 |
| Page(s): |
97-106 |
| Date/Year: |
July-Aug. 2000 |
| Statistical-and process-thinking principles lead to the use of statistical process control (SPC) methods to determine the consistency and capability of the processes used to develop software. The authors use data and analysis from a collaborative effort between the Software Engineering Institute (a federally funded research and development center sponsored by the US Department of Defense) and the Space Shuttle Onboard Software Project as a vehicle to illustrate the analytic processes analysts frequently encounter when using SPC. |
|
| [16] Software engineering best practices applied to the modeling process |
| Authors: |
Withers, D.H. |
| Reference: |
Simulation Conference, 2000. Proceedings. Winter , Volume: 1 |
| Page(s): |
432-439 vol.1 |
| Date/Year: |
2000 |
| We present a mapping of best practices from the field of software engineering to the practice of discrete event simulation model construction. There are obvious parallels between the two activities. We therefore hypothesize there should be opportunities to improve the model construction process by taking advantage of these parallels. This research extends the prior work (Withers, 1993) that provided a structured definition of the modeling process. |
|
| [17] Reducing quantization error and contextual bias problems in software development processes by applying fuzzy logic |
| Authors: |
Marcelloni, F.; Aksit, M. |
| Reference: |
Fuzzy Information Processing Society, 1999. NAFIPS. 18th International Conference of the North American |
| Page(s): |
268-272 |
| Date/Year: |
1999 |
| We term these problems as quantization error and contextual bias problems, respectively. To reduce these problems, we adopt fuzzy logic-based methodological rules. This approach is method independent and is useful for evaluating and enhancing current methods. |
|
| [18] Software evolution process via a relational hypergraph model |
| Authors: |
Harn, M.; Berzins, V.; Luqi; Mori, A. |
| Reference: |
Intelligent Transportation Systems, 1999. Proceedings. 1999 IEEE/IEEJ/JSAI International Conference on |
| Page(s): |
599-604 |
| Date/Year: |
1999 |
| The purpose of this paper is to formalize the software evolution process via a relational hypergraph model with primary-input-driven and secondary-input-driven dependency approaches. |
|
| [19] A Graph Based Process Representation for Process Modeling |
| Authors: |
Gary G. Mou |
| Reference: |
Journal of Systems Integration 8(2) |
| Page(s): |
133-142 |
| Date/Year: |
May 1998 |
| Software process models provide means to capture and describe a software process, execute the process, and improve the process through study and manipulation of data gathered during enactment of the process. Formal mechanisms are needed to represent the process so that the process can be described accurately and succinctly, and the behavior of the process can be studied theoretically. This paper describes a graph based process description mechanism that the author uses in his process modeling research |
|
| [20] Software Process Simulation Modeling (ProSim‘98): Workshop Report |
| Authors: |
David Raffo |
| Reference: |
Empirical Software Engineering 3(4) |
| Page(s): |
407-412 |
| Date/Year: |
Dec 1998 |
| The focus of this workshop is on both the application of software process simulation research in addressing real-world problems, as well as advances being made which will provide the foundation for Software Process Simulation modeling in the future. This paper provides a report on the ProSim’98 workshop and a summary of the technical program. |
|
|
|
