Exportar Publicação

A publicação pode ser exportada nos seguintes formatos: referência da APA (American Psychological Association), referência do IEEE (Institute of Electrical and Electronics Engineers), BibTeX e RIS.

Exportar Referência (APA) 
Farinha, J. (2016). A demonstration of compilability for UML template instances. In Hammoudi, S., Pires, L. F., Selic, B., and Desfray, P. (Ed.), Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - MODELSWARD. (pp. 397-404). Roma: SciTePress.
Exportar Referência (IEEE) 
J. M. Farinha,  "A demonstration of compilability for UML template instances", in Proc. of the 4th Int. Conf. on Model-Driven Engineering and Software Development - MODELSWARD, Hammoudi, S., Pires, L. F., Selic, B., and Desfray, P., Ed., Roma, SciTePress, 2016, vol. 1, pp. 397-404
Exportar BibTeX 
@inproceedings{farinha2016_1775764904771,
	author = "Farinha, J.",
	title = "A demonstration of compilability for UML template instances",
	booktitle = "Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - MODELSWARD",
	year = "2016",
	editor = "Hammoudi, S., Pires, L. F., Selic, B., and Desfray, P.",
	volume = "1",
	number = "",
	series = "",
	doi = "10.5220/0005808503970404",
	pages = "397-404",
	publisher = "SciTePress",
	address = "Roma",
	organization = "Institute for Systems and Technologies of Information, Control and Communication (INSTICC)",
	url = "https://www.scitepress.org/ProceedingsDetails.aspx?ID=j1i7qrX33Ns%3d&t=1"
}
Exportar RIS 
TY  - CPAPER
TI  - A demonstration of compilability for UML template instances
T2  - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - MODELSWARD
VL  - 1
AU  - Farinha, J.
PY  - 2016
SP  - 397-404
SN  - 2184-4348
DO  - 10.5220/0005808503970404
CY  - Roma
UR  - https://www.scitepress.org/ProceedingsDetails.aspx?ID=j1i7qrX33Ns%3d&t=1
AB  - Because of the thin set of well-formedness rules associated to Templates in UML, ill-formed elements may result from bindings to templates. Although such ill-formedness is generally detected by some UML validation rule, the problem is poorly reported because it is not normally imputed to the binding. Typically, such problems are detected as non-compilable code in the template instances. A set of well-formedness rules, additional to those of the standard UML, was proposed as a way to ensure the compilability of instances and prevent this problem from occurring. Such set of constraints was proposed in a previous paper and named Functional Conformance, but a demonstration of its effectiveness was not yet provided. Such a demonstration is outlined in the current paper. Carrying out the demonstration revealed the need for two more rules than those previously envisioned for Functional Conformance.
ER  -