.:. Consultation > Liste par discipline > Langage de programmation .:.

80 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Une approche hybride GPL-DSL pour transformer des modèles Bach J.-C. (2013) [hal-00786254 - version 1]

Tom-based tools to transform EMF models in avionics context Bach J.-C., Moreau P.-E., Pantel M. Dans ITSLE - Industrial Track of Software Language Engineering 2012 (2012) [hal-00730738 - version 1]

A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report) Taha W., Brauner P., Zeng Y., Cartwright R., Gaspes V., Ames A., Chapoutot A. Dans 32nd International Conference on Distributed Computing Systems Workshops (2012) 129-138 [hal-00819378 - version 1]

Island Grammar-based Parsing using GLL and Tom Afroozeh A., Bach J.-C., Van Den Brand M., Johnstone A., Manders M., Moreau P.-E., Scott E. Dans 5th International Conference on Software Language Engineering - SLE 2012 (2012) [hal-00722878 - version 2]

Model Transformations with Tom Bach J.-C., Crégut X., Moreau P.-E., Pantel M. Dans LDTA - 12th Workshop on Language Descriptions, Tools and Applications - 2012 (2012) 16 [hal-00646350 - version 2]

Formal Development and Automatic Code Generation : Cardiac Pacemaker Méry D., Singh N. K. Dans International Conference on Computers and Advanced Technology in Education (ICCATE, 2011) (2011) [inria-00638486 - version 1]

A constraint language for algebraic term based on rewriting theory Prugniel F., Moreau P.-E., Cirstea H. (2011) [hal-00646343 - version 1]

EB2J : Code Generation from Event-B to Java Méry D., Singh N. K. Dans SBMF - Brazilian Symposium on Formal Methods (2011) [inria-00638467 - version 1]

A core language for executable models of cyber physical systems: work in progress report Taha W., Brauner P., Cartwright R., Gaspes V., Ames A., Chapoutot A. ACM SIGBED Review 8, 2 (2011) 39-43 [hal-00819379 - version 1]

Sequential and Distributed SA-Type Algorithms for Energy Optimization in Embedded Systems Idrissi Aouad M., Idoumghar L., Schott R., Zendra O. Dans IEEE-CiSE 2010 (International Conference on Computational Intelligence and Software Engineering) 1 (2010) [inria-00541375 - version 1]