6th International Conference on Information Technology : New Generations ITNG 2009 April 27-29, 2009, Las Vegas, Nevada, USA http://www.itng.info/ Special Session/Track Proceedings to be published by the IEEE Computer Society
Track Chairs Walter Dosch University of Luebeck Germany dosch@isp.uni-luebeck.de Sergiu Dascalu University of Nevada, Reno, USA dascalus@cse.unr.edu Program Committee Noureddine Belkhatir Universite de Grenoble, France Mark Burgin University of California Los Angeles, USA Andy Connor Auckland University of Technology, New Zealand Kendra Cooper University of Texas at Dallas, USA Narayan Debnath Winona State University, USA Liliana Dobrica University Politehnica of Bucharest, Romania Philippe Dugerdil University of Applied Sciences, Switzerland Bastian Doelle Capgemini sd&m, Hamburg, Germany Eelke Folmer University of Nevada, Reno, USA Hacene Fouchal Universite Antilles-Guyane, France Robin A. Gandhi University of Nebraska at Omaha, USA Jeffrey G. Gray University of Alabama at Birmingham, USA Vic Grout University of Wales, UK Fred C. Harris, Jr. University of Nevada, Reno, USA Beda Christoph Hammerschmidt Oracle Corporation, USA Abdelwahab Hamou-Lhadj Concordia University, Montreal, Canada Peter Hitchcock Dalhousie University, Canada Christian Luer Ball State University, USA German Montejano Universidad Nacional de San Luis, Argentina Liam O'Brien National ICT, Australia Olga Ormandjieva Concordia University, Montreal, Canada Jaan Penjam Tallinn University of Technology, Estonia David Pheanis Arizona State University, USA Twittie Senivongse Chulalongkorn University, Thailand Stephane Some University of Ottawa, Canada Pierre Tiako Langston University, USA W. Lok Yeung Lingnan University, Hong Kong		Software Specification and Modeling: Techniques, Tools, and Applications This special session/track focuses on the specification and modeling of software systems as central activities in software engineering. Topics include integrative theories, sound methods, (graphical) description formalisms, interesting applications and interactive tools supporting software specification and modeling at different levels of abstraction. The session particularly welcomes contributions at the junction of theory and practice disseminating basic research with immediate impact on practical applications. TOPICS include (but are not limited to) the following: Software and System Specification (Semi) Formal Methods and Applications Model-Driven Software Development System Models and Model Transformation Software Methods and Design Rules Software Patterns and Generation Software Architectures and Components Software Verification and Model Checking Software Concepts: Abstraction, Modularization, Interface Software Aspects and Views Tool Support for Specification and Modeling Case Studies in Specification, Modeling, and Design Feature-Oriented Software Specification Combinations of Modeling Notations PAPER SUBMISSION Papers should be original and contain contributions of theoretical or experimental nature, or be unique experience reports. Interested authors should submit a 6-page description of their original and unpublished work including 5 keywords in the IEEE format. Include a separate cover letter with the paper's title, every author(s) name, address, phone and fax numbers, e-mail, and full affiliation. Names of author(s) should appear only on the cover letter. Authors should not identify themselves or their institution anywhere in the paper. All correspondence will be sent to the first author unless otherwise specified. Submissions are accepted electronically via ITNG-2009 submission page. Please select session "Software Specification and Modeling". To submit a paper, please click here. EVALUATION PROCESS Papers will be evaluated for originality, significance, clarity, and soundness. Per ITNG policy, except for invited papers, all papers will be reviewed by at least two independent reviewers. Accepted papers will be published in the conference proceedings with an ISBN. BEST STUDENT PAPER The Best Student Paper will be awarded at the conference. To be eligible, the student must be the sole author of the paper, or the first author and primary contributor. (The winner of the award will present the paper in a plenary session at the conference). A cover letter to the General Chair/Track Chair must identify the paper as a candidate for this competition at the time of submission. IMPORTANT DATES Submission: December 9, 2008 (extended) - contact S. Dascalu at dascalus@cse.unr.edu Author Notification: December 19, 2008 Early Registration: January 30, 2009 CLICK HERE FOR ITNG 2009 HOMEPAGE