Desarrollo de software

Hola tengo un problema, estoy esudian ingeniería de software y necesito bibliografía o una paigina donde encontrar método formal, es no encuentro mucha información sobre método formal. Gracias