Navegar

Colección

Datos Estadísticas

Lista de

Formal languages
8
"Categorical foundations for structured specifications in Z" (2015) Castro, P.F.; Aguirre, N.; Pombo, C.L.; Maibaum, T.S.E. Formal Aspects of Computing. 27(5-6):831-865
"Specification Patterns: Formal and Easy" (2015) Asteasuain, F.; Braberman, V. International Journal of Software Engineering and Knowledge Engineering. 25(4):669-700
"A parsing approach to SAT" (2014) Castano, J.M. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8864:3-14
"Specification patterns can be formal and still easy" (2010) Asteasuain, F.; Braberman, V. 22nd International Conference on Software Engineering and Knowledge Engineering, SEKE 2010:430-436
"Lateralization as a symmetry breaking process in birdsong" (2007) Trevisan, M.A.; Cooper, B.; Goller, F.; Mindlin, G.B. Physical Review E - Statistical, Nonlinear, and Soft Matter Physics. 75(3)
"Aspect-oriented weaving and the.NET common language runtime" (2007) Schmied, F.; Cyment, A. IET Software. 1(6):251-262
"Transparent interface composition in web applications" (2007) Ginzburg, J.; Rossi, G.; Urbieta, M.; Distante, D. 7th International Conference on Web Engineering, ICWE 2007. 4607 LNCS:152-166
"Reconfiguration of software architecture styles with name mobility" (2000) Hirsch, D.;Inverardi, P.;Montanari, U. (...)Roman G.-C. 4th International Conference on Coordination Languages and Models, COORDINATION 2000. 1906:148-163