UML&FM 2011 - UML&FM'2011 4th INTERNATIONAL WORKSHOP ON UML&FORMAL METHODS
View: 2087
Website |
Edit Freely
Category UML&FM 2011
Deadline: April 30, 2011 | Date: June 20, 2011
Venue/Country: Limerick, Ireland
Updated: 2011-04-16 13:22:59 (GMT+9)
Call For Papers - CFP
UML&FM’20114th INTERNATIONAL WORKSHOP ON UML&FORMAL METHODShttp://www.artist-embedded.org/artist/UML-FM-2011.htmlWorkshop held in conjunction with FM 2011The 17th International Symposium onFormal Methodshttp://sites.lero.ie/fm2011june 20th, 2011Limerick, IrelandExtended Submission deadline: April 30th, 2011Many interest groups from a research perspective are in favour of thecreation of this workshop.For more than a decade now, the two communities of UML and formal methodshave been working together to produce a simultaneously practical (via UML)and rigorous (via formal methods) approach to software engineering.UML is the de facto standard for modelling various aspects of softwaresystems in both industry and academia, despite the inconvenience that itscurrent specification is complex and its syntax imprecise.The fact that the UML semantics is too informal have led many researchersto formalize it with all kinds of existing formal languages, like OCL, Z,B, CSP, VDM, Petri Nets, UPPAAL, HOL, Coq, PVS etc.This fourth edition of the workshop will be open to various subjects asthe main objective is to encourage new initiatives of building bridgesbetween informal, semi-formal and formal notations.Topics:This workshop seeks contributions from researchers and practitionersinterested in all aspects of integrating UML and formal methods. To thisend, we solicit papers (no more than 8 pages long) related to, but notlimited to, the following principal topics:? Consistent specifications, model transformations (QVT technologies,transformation repositories). Transformations to make models moreanalyzable so as to make them executable.? Automation of traceability through transformations? Refinement techniques: developing detailed design from a UMLabstract specification? Refinement of OCL specification as well? Formal reasoning on models for code generation? Technologies for compositional verification of models? Specification of a formal semantics for the UML.Giving an abstract syntax to UML diagrams? Formal validation and verification of software? Co-modeling methods formal/informal mapping techniques? End-to-end methodologies or software processengineering,correct-by-construction design providing andsupporting tools for safety-critical embedded systems designWorkshop FormatThis full-day workshop will consist of an introduction of the topic by theworkshop organizers, presentations of accepted papers, and in depthdiscussion of previously identified subjects emerging from thesubmissions. A summary of the discussions will be made available.Submission and PublicationTo contribute, please send a position paper or a technical paper at:https://www.easychair.org/account/signin.cgi?conf=umlfm2011Papers should not exceed 8 pages . Submitted manuscripts should be inEnglish and formatted in the style of the ISSE Format. Please, follow theguidelines at the "For authors and editors" heading in the ISSE websiteAll accepted papers will be published in a special issue of ISSE NASAjournal (Innovations in Systems and Software Engineering).Slides will be made available through the workshop website.IMPORTANT DATESSubmission deadline: April 30th, 2011All Notification of acceptance: May 20th, 2011Camera ready copy : June 15th, 2011Workshop date : June 20th, 2011Final copy for ISSE proceedings : Sept 01st, 2011OrganizersOrganizational sponsors :OMG (http://www.omg.org/)ARTIST (http://www.artist-embedded.org/artist/)Organizers and Programme Steering committee:- Jean-Michel Bruel (Liuppa, France)- Robert de Simone (INRIA, France)- Sébastien Gérard (CEA-LIST, France)- Paul Gibson (Telecom SudParis, France)- Isabelle Perseil (Inserm, France)IEEE CS Coordinator:Mike Hinchey (Lero and NASA GSFC , Ireland)PC Chairs:- Paul Gibson (Telecom SudParis, France)- Isabelle Perseil (Inserm, France)Program Committee:- Lukman Ab Rahim (Lancaster University, United Kingdom)- Nazareno Aguirre (Universidad Nacional de Río Cuarto, Argentina)- Marc Aiguier (Ecole Centrale Paris, France)- Yamine Ait Ameur (LISI / ENSMA, France)- Pascal André (LINA, University of Nantes, France)- Luciano Baresi (Politecnico di Milano, Italia)- Kamel Barkaoui (CEDRIC-CNAM, France)- Jean-Paul Bodeveix (IRIT, France)- Jean-Michel Bruel (IRIT, France)- Alexandre Cabral Mota (Universidade Federal de Pernambuco, Brazil)- Agusti Canals (CS, France)- David Clark(University College London, United Kingdom)- Vincent Englebert (University of Namur, Belgium)- Huascar Espinoza (Tecnalia, Spain)- Mamoun Filali (IRIT, France)- Sébastien Gérard (CEA-LIST, France)- Frederic Gervais (Université Paris-Est, LACL, France)- Paul Gibson (Telecom SudParis, France)- Martin Gogolla (University of Bremen, Germany)- Jérôme Hugues (ISAE, France)- Stephen J.Mellor (Accelerated Technologies, Tucson AZ, USA)- Paul Krause (University of Surrey, United Kingdom)- Kevin Lano (King’s College London, United Kingdom)- Manuel Mazzara (Newcastle University, United Kingdom)- Sun Meng (Peking University, China)- Dominique Mery (LORIA, France)- Elie Najm (Telecom ParisTech, France)- Kazuhiro Ogata (Japan Advanced Institute of Science and Technology, Japan)- Isabelle Perseil (Inserm, France)- Dorina Petriu (Carlton University, USA)- Fiona Polack (University of York, United Kingdom)- Shengchao Qin (Teesside University, United Kingdom)- Arend Rensink (University of Twente, Netherlands)- Thomas Robert (Telecom ParisTech, France)- Douglas Schmidt (Vanderbilt University, USA)- Pierre-Yves Schobbens (University of Namur, Belgium)- Bran Selic (Malina Software Corp, Canada)- Françoise Simonot Lion (LORIA, France)- Volker Stolz (United Nations University, Norway)- Jing Sun (University of Auckland, New Zealand)- Jun Suzuki (University of Massachusetts, Boston, USA)- Bedir Tekinerdogan (Bilkent University, Turkey)- Tatsuhiro Tsuchiya (Osaka University, Japan)- Naoyasu Ubayashi (Kyushu Institute of Technology, Japan)- Stefan Van Baelen (Catholic University of Leuven, Belgium)- Tullio Vardanega (University of Padua, Italia)- François Vernadat (CNRS-LAAS, France)- Eugenio Villar (Universidad de Cantabria, Spain)- Tim Weilkiens (OOSE Innovative Informatik, Germany)- Sergio Yovine (Universidad de Buenos Aires, Argentina)
Keywords: Accepted papers list. Acceptance Rate. EI Compendex. Engineering Index. ISTP index. ISI index. Impact Factor.
Disclaimer: ourGlocal is an open academical resource system, which anyone can edit or update. Usually, journal information updated by us, journal managers or others. So the information is old or wrong now. Specially, impact factor is changing every year. Even it was correct when updated, it may have been changed now. So please go to Thomson Reuters to confirm latest value about Journal impact factor.