Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Specifications"

Mostrando ítems 1-10 de 10

Abstract diagnosis for timed concurrent constraint programs

Comini, Marco; Titolo, Laura; Villanueva García, Alicia (Cambridge University Press, 2011)

The timed concurrent constraint language (tccp in short) is a concurrent logic language based on the simple but powerful concurrent constraint paradigm of Saraswat. In this paradigm, the notion of store-as-value is replaced ...
Análisis de las especificaciones de diseño de un vehículo de guiado automático para su fabricación y puesta en funcionamiento en una industria electromecánica

Dasí Crespo, Daniel (Universitat Politècnica de València, 2019-07-23)

[ES] En este proyecto se van a analizar y definir las especificaciones de diseño de un vehículo de guiado automático (AGV) para la planta de una empresa que fabrica armarios de control eléctrico/electrónico para aerogeneradores, ...
Ejecución simbólica como herramienta de análisis

Pardo Pont, Daniel (Universitat Politècnica de València, 2015-03-25)

[ES] El análisis automático de software permite verificar que un programa cumpla una serie de propiedades deseables sin intervención humana, aportando agilidad al proceso de ingeniería y reduciendo los riesgos del software ...
Generating operation specifications from UML class diagrams: A model transformation approach

Albert Albiol, Manuela; Cabot Sagrera, Jordi; Gómez Seoane, Cristina; Pelechano Ferragud, Vicente (Elsevier, 2011-04)

One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simplify this task by providing a method that ...
Graph generation to statically represent CSP processes

Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador (Springer Verlag (Germany), 2011)

The CSP language allows the specification and verification of complex concurrent systems. Many analyses for CSP exist that have been successfully applied in different industrial projects. However, the cost of the analyses ...
Inferencia de especificaciones para programas C

Pardo Pont, Daniel (Universitat Politècnica de València, 2016-07-20)

[EN] Despite its many unquestionable benefits, formal specifications are not widely used in industrial software development. In order to reduce the time and effort required to write formal specifications, in this Master ...
Planning and development of new data model for urban scales, the BTU

Coll Aliaga, Eloína; Ruiz López, Francisco; Martínez Llario, José Carlos (Elsevier: Creative Commons Attribution Non-Commercial No-Derivatives License, 2012-04)

[EN] This is a small outline about the processes (steps, meetings, agreements, analysis, etc.) which are necessary to elaborate a new data model designed and developed to satisfy the needs of Spanish Local Administrations ...
Pliego de Condiciones para instalaciones eléctricas de baja tensión en la Universidad Politecnica de Valencia: Orientación al Mantenimiento

De la Concepción Cerdá, Jorge (Universitat Politècnica de València, 2013-02-20)

[ES] Pliego de Condiciones para instalaciones eléctricas.
Proyecto de una instalación fotovoltaica de 20 kWn destinada a autoconsumo con conexión a red en Quart de Poblet (Valencia)

Vilches Navarro, Fernando (Universitat Politècnica de València, 2018-09-12)

El siguiente documento consiste en realizar el diseño completo de una instalación fotovoltaica de 20 kWn destinada a autoconsumo con conexión a red, ubicada sobre la cubierta del pabellón ¿La Constitución¿ del municipio ...
Strategic and interface design for class-m rocket launch safety. Rocket safety design specifications and recommendations

Andreu Capo, Francisco (Universitat Politècnica de València, 2024-01-16)

[ES] El proyecto ha consistido en la creación del sistema de comunicación para orientar de modo seguro a los estudiantes y amateurs, en el lanzamiento de los cohetes que construyen (Clase M). En primer lugar, a través de ...