OPAC

Your search

Query: FORMAL LANGUAGES Year: 2002 Document Type: Artículo Repository: 37

Sort by Score Title Year -

1-9 from 9 results (0.013 seconds)

Title: Using business process reengineering to obtain a RAISE specification
Author: Riesco, Daniel Eduardo / Uzal, Roberto / Montejano, Germán Antonio
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / formal method / Languages / Reengineering

AccederDescargar
Title: Algebraic specifications and refinement for component-based development using RAISE
Author: Estévez, Elsa Clara / Fillottrani, Pablo Rubén
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / formal methods / component-based development / SOFTWARE ENGINEERING / Requirements/Specifications

AccederDescargar
Title: De eso no se habla (¿una ética feminista?)
Author: Campagnoli, Mabel Alicia
Language: Español
Repository: 37
Subject: Humanidades / Filosofía / ética / mujer

AccederAcceder
Title: Las prácticas de la educación física: ni tan autoritarias ni tan participativas
Author: Carballo, Carlos
Language: Español
Repository: 37
Subject: Humanidades / Educación Física / Autoritarismo / método pedagógico

AccederAcceder
Title: Bisimulation for component-based development
Author: Estévez, Elsa Clara / Fillottrani, Pablo Rubén
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / component-based development / bisimulation

AccederDescargar
Title: "Formación Ética y Ciudadana" : Acerca de la necesidad de realizar una conciliación entre distintas posiciones
Author: Lacunza, María Celina
Language: Español
Repository: 37
Subject: Humanidades / Filosofía / Educación

AccederAcceder
Title: Diseño de campaña de educación y concientización de la población sobre residuos sólidos domiciliarios para la ciudad de Mar del Plata
Author: Menna, Máximo / Jacob, Susana Beatriz / Jacob, Teresa / Miamondi, Susana / Plaza, Gloria / Pacheco, Osvaldo
Language: Español
Repository: 37
Subject: Ingeniería / Educación / Energía Renovable / concientización / gestión integral / Residuos Sólidos / desarrollo sustentable

Acceder
Title: Component-based tool for verifying applications using object-oriented patterns
Author: Reynoso, Luis A. / Buccella, Agustina / Flores, Andrés P. / Aranda, Gabriela N.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / object-oriented design / Design / Patterns (e.g., client/server, pipeline, blackboard) / SOFTWARE ENGINEERING

AccederDescargar
Title: Parámetros para evaluación de sustentabilidad del hábitat urbano, ciudad de Buenos Aires
Author: Nahas, Ezequiel / Sartorio, Javier / Schiller, Silvia de
Language: Español
Repository: 37
Subject: Arquitectura / Hábitat / Energía Renovable / Ambiente / sustentabilidad / parámetros de evaluación / impacto en el contexto

Acceder

« Previous 1 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search