Export Publication

The publication can be exported in the following formats: APA (American Psychological Association) reference format, IEEE (Institute of Electrical and Electronics Engineers) reference format, BibTeX and RIS.

Export Reference (APA) 
Gamito, M. N., Dias, J. & Pedro, S. (2001). IDL: A Geometric Interference Detection Language. In Madeira, J., Marques, J. S., Dias, M. S., and Jorge, J. A. (Ed.), Atas do 10º Encontro Português de Computação Gráfica . (pp. 77-86). Lisboa: Grupo Português de Computação Gráfica.
Export Reference (IEEE) 
M. N. Gamito et al.,  "IDL: A Geometric Interference Detection Language", in Atas do 10º Encontro Português de Computação Gráfica , Madeira, J., Marques, J. S., Dias, M. S., and Jorge, J. A., Ed., Lisboa, Grupo Português de Computação Gráfica, 2001, pp. 77-86
Export BibTeX 
@inproceedings{gamito2001_1716157002202,
	author = "Gamito, M. N. and Dias, J. and Pedro, S.",
	title = "IDL: A Geometric Interference Detection Language",
	booktitle = "Atas do 10º Encontro Português de Computação Gráfica ",
	year = "2001",
	editor = "Madeira, J., Marques, J. S., Dias, M. S., and Jorge, J. A.",
	volume = "",
	number = "",
	series = "",
	pages = "77-86",
	publisher = "Grupo Português de Computação Gráfica",
	address = "Lisboa",
	organization = "ADETTI - Associação para o Desenvolvimento das Telecomunicações e Técnicas de Informática",
	url = "http://gpcg.pt/docs/10-ActasEPCG.pdf"
}
Export RIS 
TY  - CPAPER
TI  - IDL: A Geometric Interference Detection Language
T2  - Atas do 10º Encontro Português de Computação Gráfica 
AU  - Gamito, M. N.
AU  - Dias, J.
AU  - Pedro, S.
PY  - 2001
SP  - 77-86
CY  - Lisboa
UR  - http://gpcg.pt/docs/10-ActasEPCG.pdf
AB  - This paper describes a novel programming language approach to the problem of automatically verifying the design in an architectural and civil engineering project, fully described in 3D. The language is referred to as IDL, 
Interference Detection Language and is used to write geometric-based design verification tests, which are then 
interpreted and applied to an architectural 3D virtual scene, resulting in geometric interferences if the geometric objects of the scene fail to verify those tests. IDL operators are algorithmically based on simple Geometric 
Boolean Set and Constructive Solid Geometry operations are applied on a Binary Spatial Partitioning 
organisation of the 3D scene being analysed. This paper also presents Visual IDL, an intuitive graphical editor, 
which allows a common user to write design verification tests according to the IDL syntax notation and still be 
relatively independent of the language constructs. With Visual IDL, the user is not required to learn the language but can still write typical tests quickly and efficiently. Visual IDL can be considered a 
higher-level abstraction of the language, allowing the user to concentrate on what is required rather 
than how to execute it. 
ER  -