Referências Bibliográficas

Amp98

Steve Easterbrook; Robun Lutz; John Kelly; Yoko Ampo.
Experiences using lightweight formal methods for requirements modeling.
IEEE Transactions On Software Engineering, 24(1), Janury 1998.

B98

Martin Büchi.
The b bank: A complete case study.
IEEE Transactions On Software Engineering, Janury 1998.

Boo00

James Rumbaugh; Ivar Jacobsom; Grady Booch.
UML - Guia do Usuário.
Editora Campus, 2000.

Bus98

Mark R. Blackburn; Robert D. Busser.
Requirements for industrial-strength formal methods tools.
ACM Computing Surveys. WorkShop on Industrial-Strength Formal Especif. Techniques, December 1998.

But96

C.Michael Holloway; Ricky W. Butler.
Impediments to industrial use of formal methods.
IEEE Computer, April 1996.

C.B96

C.B.Jones.
Formal methods light.
ACM Computing Surveys, December 1996.

CP99

Ernani Crivelli; Dino Mandrioli; Piergiorgio Mirandola; Angelo Morzenti; Emanuele Ciapessoni; Alberto Coen-Porisini.
From formal models to formally based methods: An industrial experience.
ACM Transactions on Software Engineering and Methodology, January 1999.

Dar92

Philip Massonet; Axel Van Lamsweerde; Robert Darimont.
The meeting scheduler system - preliminary definiiton.
Universite Catholique de Louvain, October 1992.

Gog96

Franscisco A. C. Pinheiro; Joseph A. Goguen.
An object-oriented tool for tracing requirements - toor.
IEEE Software, 13:52-64, March 1996.

Gog97

Joseph A. Goguen.
Formal methods: Promises and problems.
IEEE Software, January 1997.

Hal90

A. Hall.
Seven myths of formal methods.
IEEE Software 7, January 1990.

Hat97

Shari Lawrence Pfleeger; Les Hatton.
Investigating the influence of formal methods.
IEEE Computer, February 1997.

Hin94

J.P.Bowen; M.G. Hinchey.
Seven more myths of formal methods.
IEEE Software 7, December 1994.

Hin95a

Jonathan P. Bowen; Michael G. Hinchey.
Ten commandments of formal methods.
IEEE Computer, April 1995.

Hin95b

J. Bowen; M. G. Hingley.
Applications of Formal Methods.
Prentice-Hall International Ltda, 1995.

Hin00

Jonathan P. Bowen; Michael G. Hingley.
Seven more myths of formal methods.
IEEE Software, 2000.

Hol97

C. Michael Holloway.
Formal methods: Fact vs fiction.
ACM Computer, 1997.

Kel97

Judith Crow; Ben Di Vito; Robyn Lutz; Larry Roberts; Martin Feather; John Kelly.
Formal Methods Specification and Analysis Guidebook For The Verificationsof Software e Computer System, volume II - A Practitiones's Companion of Release 1.0.
NASA - National Aeronautics and Space Administration, May 1997.

Kel98

Rick Covington; Valerie Mathews; David Hamilton; Dan Dowman; Ben Di Vito; Judith Crow; John Kelly.
Formal Methods Specification and Analysis Guidebook For The Verificationsof Software e Computer System, volume I - Planning and Technology Insertion of Release 2.0.
NASA - National Aeronautics and Space Administration, December 1998.

Mar96

Bernhard Steffen; Tiziana Margaria.
Tools get formal methods into practice.
ACM Computing Surveys, Workshop on Strategic Direction in Computing Research, Abril 1996.

Pel96

Doron Peled.
User interfaces for formal methods.
ACM Computer Surveys, December 1996.

Pro01

John Fitzgerald; Nico Plat; Kees Pronk.
Fm tools database - formal methods europe.
Technical report, Formal Methods Europe, www.fmeurope.org, 2001.

Ral93

Susan Gerhart; Ted Ralston.
Observations on industrial practice using formal methods.
IEEE Software, 1993.

Ral95

Dan Craigen; Susan Gerhart; Ted Ralston.
Formal methods reality check: Industrial usage.
IEEE Transaction On Software Engineering, Vol. 21, NO. 2, February 1995.

Rus96

John Rushby.
Enhancing the utility of formal methods.
ACM Computing Surveys, December 1996.

Sai96

Hossein Saiedian.
An invitation to formal methods.
ACM Computer, April 1996.

Sat97

Joseph Goguen; Kai Lin; Akira Mori; Grigore Rosu; Akiyoshi Sato.
Distributed cooperative formal methods tools.
ASE'97 - IEEE Conference, 1997.

Soc92

Lucia Rapanotti; Adolfo Socorro.
Introducing foops.
Technical report, Programming Research Group - Oxford University, 1992.

Som96

Ian Sommerville.
Software Engineering.
Addison Wesley, 1996.

Taf80

L. Peter Deutsch; Edward A. Taft.
Requirements for an experimental programming environment.
Technical report, Xeror - Palo Alto Research Center, 1980.