Registro:

Referencias:

• Booch, G., Rumbaugh, J., Jacobson, I., (1998) The Unified Modeling Language User Guide, , Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA
• Frias, M.F., Fork algebras in algebra, logic and computer science (2002) Advances in Logic, 2. , World Scientific Publishing Co., Singapore
• Frias, M.F., Orlowska, E., Equational reasoning in non-classical logics (1998) Journal of Applied Non-classical Logics, 8, pp. 27-66
• Frias, M.F., Baum, G.A., Maibaum, T.S.E., Interpretability of first-order dynamic logic in a relational calculus (2002) Lecture Notes in Computer Science, 2561, pp. 66-80. , de Swart, H., ed.: Proceedings of the 6th. Conference on Relational Methods in Computer Science (ReIMiCS) - TARSKI. Oisterwijk, The Netherlands, Springer-Verlag
• Frias, M.F., Lopez Pombo, C.G., Time is on my side (2003) Proceedings of the 7th. Conference on Relational Methods in Computer Science (RelMiCS) - 2nd. International Workshop on Applications of Kleene Algebra, pp. 105-111. , Berghammer, R., Möller, B., eds.: Malente, Germany
• Frias, M.F., Lopez Pombo, C.G., Interpretability of first-order linear temporal logics in fork algebras (2006) Journal of Logic and Algebraic Programming, 66, pp. 161-184
• Goguen, J.A., Burstall, R.M., Introducing institutions (1984) Lecture Notes in Computer Science, 184, pp. 221-256. , Clarke, E.M., Kozen, D., eds.: Proceedings of the Carnegie Mellon Workshop on Logic of Programs. Springer-Verlag
• Meseguer, J., General logics (1989) Proceedings of the Logic Colloquium '87, 129, pp. 275-329. , Ebbinghaus, H.D., Fernandez-Prida, J., Garrido, M., Lascar, D., Artalejo, M.R., eds.: Granada, Spain, North Holland
• Tarlecki, A., Moving between logical systems (1996) Lecture Notes in Computer Science, 1130, pp. 478-502. , Haveraaen, M., Owe, O., Dahl, O.J., eds,: Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification. Springer-Verlag
• Frias, M.F., Gamarra, R., Steren, G., Bourg, L., A strategy for efficient verification of relational specification, based in monotonicity analysis (2005) Proceedings of the 20th. IEEE/ACM International Conference on Automated Software Engineering, pp. 305-308. , Redmiles, D.F., Ellman, T., Zisman, A., eds.: Long Beach, California, USA, Association for the Computer Machinery and IEEE Computer Society, ACM Press
• Lopez Pombo, C.G., Owre, S., Shankar, N., A semantic embedding of the Ag dynamic logic in PVS (2002) Technical Report, SRI-CSL-02-04. , Computer Science Laboratory, SRI International
• Tarski, A., On the calculus of relations (1941) Journal of Symbolic Logic, 6, pp. 73-89
• Maddux, R.D., Finitary algebraic logic (1989) Zeitschrift fur Mathematisch Logik und Grundlagen der Mathematik, 35, pp. 321-332
• Burris, S., Sankappanavar, H.P., (1981) A Course in Universal Algebra. Graduate Texts in Mathematics, , Springer-Verlag, Berlin, Germany
• Fiadeiro, J.L., Sernadas, A., Structuring theories on consequence (1987) Lecture Notes in Computer Science, pp. 44-72. , Tarlecki, A., Sannella, D., eds.: Selected papers from the 5th Workshop on Specification of Abstract Data Types. Gullane, Scotland, Springer-Verlag
• Fiadeiro, J.L., (2005) Categories for Software Engineering, , Springer-Verlag
• Fiadeiro, J.L., On the emergence of properties in component-based systems (1996) Lecture Notes in Computer Science, 1101. , Wirsing, M., Nivat, M., eds.: Proceedings of the 1996 Algebraic Methodology and Software Technology - AMAST 96. Munich, Germany, Springer-VerlagA4 - Estonian Ministry of Education and Research, NCEP; Tallinn University of Technol., Inst. of Cybern., Estonia

Citas:

---------- APA ----------

---------- CHICAGO ----------

---------- MLA ----------

---------- VANCOUVER ----------