web
Projects
-
done Semantic-based Data Integration and Exchange for a Research Group.
Design and development of the iLink website functionality to retrieve data from other sources and expose the research information as RDF triples
View more... -
done DBOWLizer Project
Development of a tool for the automatic design of expressive ontologies from normalized relational databases. This approach extracts and represents information found in the database by examining its composition and automatically generate such mappings using rule-based heuristics.
View more...
today
Events
-
done Cyber-ShARE Orientation
Each fall we have an orientation for all new and returning students associated with Cyber-Share. This is an opportunity to learn a bit more about the Center, our objectives, how your work fits into it, and what others are working on. It is also a time for us to reflect on what we have accomplished in the past and new directions we want to go in the future.
View more... -
done iLink Group Meetings
The iLink research group meets every Monday at 11:00 am. Two research students present their current work on the session.
View more... -
done COURI Symposium
The symposium is a unique opportunity for undergraduate researchers, scholars and artists to present and discuss their research with faculty, peers and the community. Students, come and see what you could be doing!
View more...
perm_media
Resources
-
done A Property Specification Tool for Generating Formal Specifications: Prospec 2.0.
Proceedings of the Nineteenth International Conference on Software Engineering and Knowledge Engineering.
View more... -
done A Technique for Using Model Checkers to Teach Formal Specifications
Proceedings of the 21st IEEE-CS International Conference on Software Engineering Education and Training (CSEET).
View more...