Your search returned 23 results.

Results
		Métodos formais para o desenvolvimento de programas by Alencar, Paulo S. C. de Lucena, Carlos J. P. de Series: Colección EBAI Edition: Ed. prelim. ed. Material type: Text; Literary form: Not fiction Publication details: Buenos Aires : Kapelusz, 1988 Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.2.4 ALE . Place hold
		Formalización del proceso de desarrollo de software by Haeberer, Armando Martín Veloso, Paulo A. S Baum, Gabriel Alfredo Series: Colección EBAI Edition: Ed. prelim. ed. Material type: Text; Literary form: Not fiction Publication details: Buenos Aires : Kapelusz, 1988 Availability: Items available for loan: Biblioteca de la Facultad de Informática (2)Call number: D.2.9 HAE , ... Place hold
		Formal methods for real-time computing by Sin autor Heitmeyer, Constance [Editor/a] Mandrioli, Dino [Editor/a] Series: Trends in Software ; 5 Edition: Repr. ed. Material type: Text; Literary form: Not fiction Publication details: Chichester : [S.n.], 1996 Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: C.3 FOR . Place hold
		Systematic software development using VDM by Jones, Cliff B Series: Prentice Hall International series in computer science Edition: 2nd ed. Material type: Text; Literary form: Not fiction Publication details: Nueva York : [S.n.], c1990 Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: D.2.2 JON . Place hold
		Especifiçaoes formais e sistemas de bancos de dados by Castilho, José Mauro Volkmer de Series: Colección EBAI Edition: Ed. prelim. ed. Material type: Text; Literary form: Not fiction Publication details: Buenos Aires : Kapelusz, 1987 Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: H.2.1 CAS . Place hold
		Modelo formal para especificación e implementación de hiperhistorias by Capelli, Guillermo Rossi, Gustavo Héctor [Director/a] Material type: Text; Literary form: Not fiction Publication details: 1998 Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Ciencias Exactas, 1998. Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 98/06 .
		Aplicando métodos formales a la construcción de aplicaciones de hipermedia colaborativas by Mola, Vanesa Russo, Wanda Mariana Bibbó, Luis Mariano [Director/a] Pons, Claudia Fabiana [Codirector/a] Material type: Text; Literary form: Not fiction Publication details: 2001 Dissertation note: Tesina (Licenciado en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2001. Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 01/07 .
		Forks without philosophers o de cómo la cuantificación universal perdió una batalla y de las ventajas que ello reportó by Martínez López, Pablo Ernesto Baum, Gabriel Alfredo [Director/a] Material type: Text; Literary form: Not fiction Publication details: 1996 Dissertation note: Tesina (Licenciado en Informática) - Universidad Nacional de La Plata. Facultad de Ciencias Exactas, 1996. Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 96/07 .
		Reasoning about static and dynamic properties in Alloy : A purely relational approach by Frias, Marcelo F Maibaum, Thomas S. E Aguirre, Nazareno M Baum, Gabriel Alfredo López Pombo, Carlos G Series: ^p Datos electrónicos (1 archivo : 412 KB) Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		Heuristics on the definition of UML refinement patterns by Pons, Claudia Fabiana Series: ^p Datos electrónicos (1 archivo : 205 KB) Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		A lightweight approach for the semantic validation of model refinements by Pons, Claudia Fabiana García, Carlos Diego Series: ^p Datos electrónicos (1 archivo : 297 KB) Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		A formal approach to building a polymorphism metric in object-oriented systems by Pons, Claudia Fabiana Olsina Santos, Luis Antonio Prieto, Máximo Series: ^p Datos electrónicos (1 archivo : 146 KB) Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		A formal mechanism for assessing polymorphism in object-oriented systems by Pons, Claudia Fabiana Prieto, Máximo Olsina Santos, Luis Antonio Series: ^p Datos electrónicos (1 archivo : 776 KB) Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		Understanding refinement and specialization in the UML by Pons, Claudia Fabiana Giandini, Roxana Silvia Pérez, Gabriela Kutsche, Ralf-Detlef Series: ^p Datos electrónicos (1 archivo : 197 KB) Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		PAMPERO : precise assistant for the modeling process in an environment with refinement orientation by Pons, Claudia Fabiana Giandini, Roxana Silvia Pérez, Gabriela Pesce, Pablo Becker, Valeria Longinotti, Jorge Cengia, Javier Andrés Series: ^p Datos electrónicos (1 archivo : 2823 KB) Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		Traceability across refinement steps in UML modeling by Pons, Claudia Fabiana Kutsche, Ralf-Detlef Series: ^p Datos electrónicos (1 archivo : 231 KB) Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		Revealing undercover refinement in UML modeling by Pons, Claudia Fabiana Kutsche, Ralf-Detlef Pérez, Gabriela Series: ^p Datos electrónicos (1 archivo : 431 KB) Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		FME ’94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings by (2nd : 1994 oct. 24-28 ) Naftalin, Maurice Denvir, Tim Bertran, Miquel Series: Lecture notes in computer science ; 87 Edition: 1st ed. Material type: Text; Literary form: Not fiction Publication details: Berlín : Springer-Verlag, c1994 Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 FME94 . Place hold
		FME ’96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings by Gaudel, Marie-Claude [Editor/a] Woodcock, James [Editor/a] Series: Lecture notes in computer science ; 105 Edition: 1st ed. Material type: Text; Literary form: Not fiction Publication details: Berlín : Springer-Verlag, c1996 Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: A.0.2 FME96 . Place hold