Result 1 to 20 of 85 total
A design methodology of ontology based database applications. (English)
Log. J. IGPL 19, No. 5, 648-665 (2011).
1
The role of class dependencies in designing ontology-based databases. (English)
Meersman, Robert (ed.) et al., On the move to meaningful internet systems: OTM 2011 workshops. Confederated international workshops and posters: EI2N+NSF ICE, ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and VADER 2011, Hersonissos, Crete, Greece, October 17‒21, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25125-2/pbk). Lecture Notes in Computer Science 7046, 444-453 (2011).
2
Ontologies and functional dependencies for data integration and reconciliation. (English)
De Troyer, Olga (ed.) et al., Advances in conceptual modeling. Recent developments and new directions. ER 2011 workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31 ‒ November 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24573-2/pbk). Lecture Notes in Computer Science 6999, 98-107 (2011).
3
Modelling information fission in output multi-modal interactive systems using Event-B. (English)
Bellatreche, Ladjel (ed.) et al., Model and data engineering. First international conference, MEDI 2011, Óbidos, Portugal, September 28‒30, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24442-1/pbk). Lecture Notes in Computer Science 6918, 200-213 (2011).
4
Modelling information fission in output multi-modal interactive systems using event-B (English)
MEDI, 200-213 (2011).
5
The role of class dependencies in designing ontology-based databases (English)
OTM Workshops, 444-453 (2011).
6
Ontologies and functional dependencies for data integration and reconciliation (English)
ER Workshops, 98-107 (2011).
7
Thematic track: Formal languages and methods for designing and verifying complex embedded systems. (English)
Margaria, Tiziana (ed.) et al., Leveraging applications of formal methods, verification, and validation. 4th international symposium on leveraging applications, ISoLa 2010, Heraklion, Crete, Greece, October 18‒21, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-16557-3/pbk). Lecture Notes in Computer Science 6415, 58-59 (2010).
8
A language for ontology-based metamodeling systems. (English)
Catania, Barbara (ed.) et al., Advances in databases and information systems. 14th East European conference, ADBIS 2010, Novi Sad, Serbia, September 20‒24, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15575-8/pbk). Lecture Notes in Computer Science 6295, 247-261 (2010).
9
Toward a wider use of formal methods for aerospace systems design and verification. (English)
Int. J. Softw. Tools Technol. Transf. 12, No. 1, 1-7 (2010).
10
A proof based approach for formal verification of transactional BPEL web services. (English)
Frappier, Marc (ed.) et al., Abstract state machines, Alloy, B and Z. Second international conference, ABZ 2010, Orford, QC, Canada, February 22‒25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11810-4/pbk). Lecture Notes in Computer Science 5977, 405-406 (2010).
11
Special issue on contribution of ontologies in designing advanced information systems (English)
Data Knowl. Eng. 69, No. 11, 1081-1083 (2010).
12
Toward a semantic management of geological modeling workflows (English)
KEOD, 282-287 (2010).
13
Incremental design of ontologies - A model transformation-based approach (English)
KEOD, 94-103 (2010).
14
Thematic track: formal languages and methods for designing and verifying complex embedded systems (English)
ISoLA (1), 58-59 (2010).
15
Knowledge models to reduce the gap between heterogeneous models: application to aircraft systems engineering (English)
ICECCS, 355-360 (2010).
16
Stepwise design of BPEL web services compositions: an event\_b refinement based approach (English)
SERA (selected papers), 51-68 (2010).
17
A proof based approach for formal verification of transactional BPEL web services (English)
ASM, 405-406 (2010).
18
A language for ontology-based metamodeling systems (English)
ADBIS, 247-261 (2010).
19
Encoding a process algebra using the Event B method Application to the validation of human-computer interactions. (English)
Int. J. Softw. Tools Technol. Transf. 11, No. 3, 239-253 (2009).
20
Result 1 to 20 of 85 total
Start
Contact
Print
General Help
