Un lenguaje para la definición en tiempo de ejecución de variables físicas asociadas a un simulador
Manuel Díaz Rodríguez, Daniel Garrido Márquez, Enrique Soler Castillo
pág. 1
ADDS: Una aproximación documental al desarrollo de software
José Luis Sierra Rodríguez, Baltasar Fernández Manjón, Alfredo Fernández-Valmayor Crespo, Antonio Navarro Martín
pág. 17
pág. 33
pág. 45
pág. 59
Refactorizaciones de especialización en cuanto a genericidad: Definición para una familia de lenguajes y soporte basado en frameworks
pág. 75
Mechanized Equivalence Proofs of Pipelined Processor Software Models
Francesc Babot, Miquel Bertran, August Climent i Ferrer, Jordi Riera Baburés, Ricard Puig
pág. 91
Towards Router Specification in Curry: The Language ROSE
pág. 105
Coordinación basada en tuplas compartidas y en canales de comunicación
Ernesto Pimentel Sánchez, Silva Amaro, Ana María Roldán Ruiz
pág. 119
OnDemandOBJ: an optimized OBJ interpreter
María Alpuente Frasnedo, Santiago Escobar Román, Salvador Lucas Alba
pág. 135
Symbolic Model Checking for Timed Concurrent Constraint Programs
María Alpuente Frasnedo, Moreno Falaschi, Alicia Villanueva García
pág. 151
Comparing Abstract Semantics for Model Checking
María del Mar Gallardo Melgarejo, Pedro Merino Gómez, Ernesto Pimentel Sánchez
pág. 167
Building an Interface Between Eden and Maple: Towards an easy Parallelization of Computer Algebra Algorithms
pág. 183
ARMISTICE: Una experiencia desarrollando software de gestión con Erlang
Laura M. Castro, Víctor M. Gulías, David Cabrero, C. Abalde, Carlos Varela
pág. 199
pág. 215
© 2001-2024 Fundación Dialnet · Todos los derechos reservados