5th International Conference on Information Technology : New Generations ITNG 2008 April 7-9, 2008, 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 Dragos Datcu Delft University of Technology, The Netherlands Narayan Debnath Winona State University, USA Carlos Delgado Kloos Universidad Carlos III de Madrid, Spain Liliana Dobrica University Politehnica of Bucharest, Romania Phillipe Dugerdil University of Applied Sciences, Switzerland Eelke Folmer University of Nevada, Reno, USA Hacene Fouchal Universite Antilles-Guyane, France Jeffrey G. Gray University of Alabama at Birmingham, USA Vic Grout University of Wales, UK Frederick C. Harris, Jr. University of Nevada, Reno, USA Beda Christoph Hammerschmidt Oracle Corporation, USA Peter Hitchcock Dalhousie University, Canada Haesun K. Lee University of Texas at the Permian Basin, USA Soenke J. Magnussen Lufthansa Revenue Services, Germany German Montejano Universidad Nacional de San Luis, Argentina Pornsiri Muenchaisri Chulalongkorn University, Thailand Liam O'Brien National ICT, Australia Jaan Penjam Tallinn University of Technology, Estonia David Pheanis Arizona State University, USA Stephane Some University of Ottawa, Canada Pierre Tiako Langston University, USA George Tsihrintzis University of Piraeus, Greece Enrico Vicario University of Florence, Italy Maria Virvou University of Piraeus, Greece Alf Inge Wang Norwegian Institute of Science and Technology, Norway Brian Westphal University of Utah, 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-2008 submission page. Please select session "Software Specification and Modeling: Techniques, Tools and Applications". 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: November 9, 2007 (extended) Author Notification: December 12, 2007 (extended from Dec. 7) Early Registration: January 11, 2008 CLICK HERE FOR ITNG 2008 HOMEPAGE