Information and Software Technologies, 2012 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings Communications in Computer and Information Science Series, Vol. 319

This book constitutes the refereed proceedings of the 18th International Conference on Information and Software Technologies, ICIST 2012, held in Kaunas, Lithuania, in September 2012. The 40 revised full papers presented were carefully reviewed and selected from 81 submissions. The papers are organized in topical sections on artificial intelligence and knowledge engineering, business process modelling, analysis and design, formal analysis and design methods, information and software systems engineering, information technology applications and computer networks, information technology in teaching and learning, ontology, conceptual modelling and databases, requirements engineering and business rules.

Artificial intelligence and knowledge engineering.- Business process modelling, analysis and design.- Formal analysis and design methods.- Information and software systems engineering.- Information technology applications and computer networks.- Information technology in teaching and learning.- Ontology, conceptual modelling and databases.- Requirements engineering and business rules.