Antecedentes Internacionales
De grupos de investigación
internacionales:
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).
|