Volver

Antecedentes Internacionales

De grupos de investigación internacionales:

• www.sei.cmu.edu/cmm/ (Software Engineering Institute - Carnegie Mellon University)
• www.iist.unu.edu (United Nations University, International Institute for Software Technology)
• www.hhbsp.harvard.edu (Balanced Scorecard - Harvard Business School - Harvard University)
• www.it.dtu.dk/~db/raise/ (Rigorous Approach to Industrial Software Engineering)
• spd-web.terma.com/Projects/RAISE/ (Formal Methods and Tools - Terma Inc.)
• www.imm.dtu.dk/cet/ (Informatics and Mathematical Modelling - Technical University of Denmark)
• www.ifad.dk/ (Industrial Applications with Formal Methods - IFAD Inc.)
• www.isoeasy.org/ (ISO 9001, ISO 9000-3, CMM, IEEE Standard 828-1990)

Antecedentes Internacionales Publicados:

• B.K.Aichernig and P.G.Larsen, A Proof Obligation Generator for VDM-SL, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, Springer-Verlag, LNCS 1313, 1997.
• Cristina Filipak Machado, Luiz Carlos de Oliveira and Rosane Antunes Fernandes, Experience Report - Restructure of Processes Based on ISO/IEC 12207 and SW-CMM in CELEPAR, Proceedings of the Fourth IEEE International Symposium and Forum on Software Engineering Standards.
• David Kitson, SEI, Loretta Kitson, KAMO Consultancy, An Emerging International Standard for Software Process Assessment Proceedings of the Fourth IEEE International Symposium and Forum on Software Engineering Standards.
• David Whitgift, Methods and Tools for Software Configuration Management, John Wiley & Sons, New York, 1992.
• Dines Bjorner, C.W. George, and S. Prehn. Scheduling and rescheduling of trains, page 24 pages. John Wiley, 1999.
• Dines Bjorner, Souleimane Koussobe, Roger Noussi, and Georgui Satchok. Michael Jackson's Problem Frames. Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools.. In Li ShaoQi and Michael Hinchley, editors, ICFEM'97: Intl. Conf. on Formal Engineering Methods, Hiroshima, Japan, 12-14 Nov.1997. IEEE Computer Society Press, Los Alamitos, CA, USA. pp 263-270.
• Formal Methods Specification and Verification Guidebook for Software and Computer Systems, NASA JPL, Pasadena, CA, USA. Volume I: Planning and Technology Insertion, [NASA-GB-002-95], 1995, 77 pages and Volume II: A Practitioner's Companion, [NASA-GB-001-97], 1997, 245 pages.
• Gerhart and T.J. Ralston, An International Survey of Industrial Applications of Formal Methods, D. Craigen, S. 1993. Volume 1: Purpose, Approach, Analysis and Conclusions and Volume 2: Case Studies.
• He Jifeng, Liu Zhiming, and Li Xiaoshan. A Relational Model for Object-Oriented Programming. Research Report 231, UNU/IIST, P.O. Box 3058, Macau, May 2001.
  Herbsleb, J.D.; Goldenson, D.R., A systematic survey of CMM experience and results, Proceedings of the 18th International Conference on Software Engineering (ICSE '96), IEEE Press.
• Hossein Saiedian, Richard Kuzara , SEI Capability Maturity Model's Impact on Contractors, 1995, IEEE Computer Society Press.
• I.J. Hayes and C.B. Jones, Specifications are not (necessarily) executable. IEE/BCS Software Engineering Journal, 4(6):320-338, November 1989.
• I.J. Hayes, C.B. Jones and J.E. Nicholls, Understanding the differences between VDM and Z. Technical Report UMCS-93-8-1, Department of Computer Science, University of Manchester, 1993.
• ISO 9000-1:1994 Quality management and quality assurance standards - Guidelines for selection and use, International Organization for Standardization, Geneva, Switzerland, 1994.
• ISO 9001:1987 Model for design/development, production, installation and servicing, International Organization for Standardization, Geneva, Switzerland, 1987.
• ISO 9004-1:1994 Quality management and quality system elements - Guidelines, International Organization for Standardization, Geneva, Switzerland, 1991.
• Judy Bamberger, Essence of the Capability Maturity Model, June 1997 (Vol. 30, No. 6) - Computer.
• Karen A. McKeown , Eugene G. McGuire, Evaluation of a Metrics Framework for Product and Process Integrity, Proceedings of the 33rd Hawaii International Conference on System Sciences.
• Mark C. Paulk et al., Capability Maturity Model for Software, Version 1.1, CMU/SEI-93-TR-24, Software Engineering Institute, Carnegie Mellon University, Pittsburgh PA 15213, February 1993.
• Mark C. Paulk et al., Key Practices of the Capability Maturity Model, Version 1.1, CMU/SEI-93-TR-25, Software Engineering Institute, Carnegie Mellon University, Pittsburgh PA 15213, March 1993.
• Mark J. Christensen and Richard H. Thayer, The Project Manager's Guide to Software Engineering's Best Practices Using and Implementing the IEEE Software Standards, IEEE Computer Society - Press, 2001.
• Paul R. Smith and P.G. Larsen, Applications of VDM in Banknote Processing, First VDM Workshop: VDM in Practice with the FM'99 Symposium, Toulouse, France, September 1999.
• R.C. Bamford and W.J. Deibler, A Detailed Comparison of the SEI Software Maturity Levels and Technology Stages to the Requirements for ISO 9001 Registration, Software Systems Quality Consulting, San Jose, Calif., 1993.
• R.C. Bamford and W.J. Deibler, Comparing, contrasting ISO 9001 and the SEI capability maturity model, IEEE Computer, October 1993, Vol 26, No. 10, IEEE Computer Society, page 68.
• R.C. Bamford and W.J. Deibler, ISO Implementation as a Managed Process - A Software Perspective, Software Systems Quality Consulting, San Jose, Calif., 1993.
• R.C. Bamford and W.J. Deibler, MKS RCS Version 6.2 and ISO 9001, Software Systems Quality Consulting, San Jose, Calif., 1993.
• Robert Bamford, William J. Deibler II, Configuration Management and ISO
  9001, Software Systems Quality Consulting, 2000.
• Robert Oshana, An Industrial Application of Cleanroom Software Engineering - Benefits Through Tailoring, Proceedings of the 31st Hawaii International Conference on System Sciences (HICSS'98), IEEE Computer Society.
• Robin B. Hunter and Richard H. Thayer, Software Process Improvement, 2001 IEEE Computer Society Press.
• S.Agerholm and J.Frost, An Isabelle-based Theorem Prover for VDM-SL, Proceedings of the 1997 International Conference on Theorem Proving in Higher Order Logics (TPHOLs'97), Springer-Verlag, LNCS 1275, August 1997.
• S.Agerholm and J.Frost, Towards an Integrated CASE and Theorem Proving Tool for VDM-SL, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, Springer-Verlag, LNCS 1313, 1997.
• S.Agerholm and P.G.Larsen, Modeling and Validating SAFER in VDM-SL, Proceedings of the Fourth NASA Langley Formal Methods Workshop, NASA Conference Publication 3356, September 1997.
• Sten Agerholm and Wendy Schafer, Analyzing SAFER using UML and VDM++, First VDM Workshop: VDM in Practice with the FM'99 Symposium, Toulouse, France, September 1999.
• Susan A. Dart, The Past, Present, and Future of Configuration Management, CMU/SEI-92-TR-8, Software Engineering Institute, Carnegie Mellon University, Pittsburgh PA, July 1992 (available by anonymous ftp from ftp.sei.cmu.edu)
• Watts S. Humphrey, Managing the Software Process, Addison Wesley Publishing Company, New York, August 1990.
• Wayne A. Babich, Software Configuration Management, Addison Wesley Publishing Company, Reading MA, 1986.
• Xiaoshan Li, Zhiming Liu, and Jifeng He. Formal and use-case driven requirement analysis in UML. Proceedings of COMPSAC'2001, Chicago, USA, IEEE Computer Society Press, 2001, pp. 215-224.
• Xiaoshan Li, Zhiming Liu, and Zhengshen Guo. A Formal Design of Online Ticketing System in UML. Research Report 235, UNU/IIST, P.O. Box 3058, Macau, July 2001.
• Zhiming Liu, Jifeng He, and Xiaoshan Li. Formalizing the use of UML in requirement analysis. Proceedings of the 2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001), Las Vegas, USA, (2001).

Sitios de Interes