SDL based approach to software process modeling

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1780, Issue , 2000, Pages 190-202

  Podnar, Ivana ^a   Mikac, Branko ^a   Caric, Antun ^b  

^a UNIVERSITY OF ZAGREB   (Croatia)

^b ERICSSON NIKOLA TESLA   (Croatia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE; MAINTENANCE; MODELING LANGUAGES; PROCESS ENGINEERING; VERIFICATION;

FORMAL MODEL; PROCESS MODELING LANGUAGE; SDL MODELING; SOFTWARE MAINTENANCE PROCESS; SOFTWARE PROCESS; SOFTWARE PROCESS MODELING; VERIFICATION RESULTS;

COMPUTER SOFTWARE MAINTENANCE;

EID: 58049146232     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0095028     Document Type: Conference Paper

References (12)

1. Ambriola, V., R. Conradi and A. Fuggetta, Assessing Process-Centered Software Engineering Environments, ACM Trans, on Software Eng. and Methodology, 6(3), July 1997, pp. 283-328.
2. Bandinelli, S., A. Fuggetta, L. Lavazza, M. Loi, and G. P. Picco, Modeling and Improving an Industrial Software Process, IEEE Trans, on Software Eng., SE-21(5), May 1995, pp. 440-453.
3. Briand, L., Y. M. Kim, W. Melo, C. Seaman and V. R. Basili, Q-MOPP: Qualitative Evaluation of Maintenance Organizations, Processes and Products, J. of Software Maintenance: Research and Practice 10(4), July-August 1998, pp. 249-278.
4. Chen, J.Y., CSPL: An Ada95-Like Unix-Based Process Environment, IEEE Trans, on Software Eng., SE-23(3), March 1997, pp. 171-184.
5. Curtis, B., M.I. Kellner and J. Over, Process Modeling, Comm, of the ACM, 35(9), September 1992, pp. 75-90.
6. Ellsberger J., D. Hogrefe and A. Sarma, SDL Formal Object-oriented Language for Communicating Systems, Prentice Hall Europe, UK, 1997.
7. Garg, P. and M. Jazayeri, Process-Centered Software Engineering Environments: A Grand Tour, Technical Report, Distributed Systems Department, Technical University of Vienna, Austria, TUV-1841-95-02, 1995.
8. Gruhn, V. and H. Weber, Understanding and Improving Interpersonal Processes in Software Development, 1992. URL: http://lslO-www.informatik.uni-dortmund.de/
9. Mikac, B., I. Lovrek, V. Sinkovic, Z. Car, H. Pehar, I. Podnar, A. Caric, A. Burilovic, H. Naglic, I. Sinovcic, T. Viskic-Huijenic, Assessing the Process of Telecommunications Software Maintenance, Proceedings of the combined l0th European Software Control and Metrics conference and the 2nd SCOPE conference, Herstmonceux, UK, April 1999, pp. 267-275.
10. Pigoski, T.M., Practical Software Maintenance, Wiley, New York, 1996.
11. Podnar, I., Software Maintenance Process Analysis, Master’s Thesis (in Croatian), Faculty of Electrical Engineering and Computer Science, University of Zagreb, 1999.
12. Sommerville, I., Software Engineering, Addison-Wesley, Wokingham, UK, 1995.