* Call for Papers: MOMPES @ ICSE 2009
@ 2008-12-01 23:05 João Miguel Fernandes
0 siblings, 0 replies; only message in thread
From: João Miguel Fernandes @ 2008-12-01 23:05 UTC (permalink / raw)
To: types, codesign, puml-list, hwcomp, softverf, lotos-world,
concurrency, cat-dist, petrinet, system-safety, formal-methods,
bug, seworld, pdcemail, isworld, ieee-tcrts-request, eapls,
eatcs-it, amast, tfm-list, appsem, theory, prog-lang, theory,
focs, prog-lang, eacsl, mailinglist, softtech, palist, ag-list,
relmics-l, ecoop-info, coq-club, theorem-provers, isabelle-users,
info-hol, calculemus-ig, lprolog, lics-request, pvs, logic,
logic, procos, webmaster, gulp, clean-list, church-announce,
tucsnews, morphware, reliable_computing, components, agents,
behavior, cafeobj, caml-list, comlab, cs-logic, csl, dbworld,
generic-haskell, ifip, logic-announce, logic-list, reus,
rewriting, isda02, lfcs-interest, theory, acl2, events, pure,
lernet, cctc-all, sefm2005, fortia, members, info, appsem,
coalgebras, categories, haskell, evolution, formal-methods,
fme03, appiar, action-semantics, THEORYNT, com1204, dsi
[-- Attachment #1: Type: text/plain, Size: 3623 bytes --]
******************************************************************
CALL FOR PAPERS
6th International Workshop on Model-based Methodologies for
Pervasive and Embedded Software (MOMPES 2009)
http://www.di.uminho.pt/mompes
within the ICSE 2009
(31st International Conference on Software Engineering)
Vancouver - Canada
May 16, 2009
******************************************************************
SCOPE
Model Based Development (MBD) comprises approaches to software
development, which rely on modelling and the systematic transition
from models to executable code. This workshop focuses on the
theoretical and practical aspects related with the adoption of MBD
methodologies (notation, process, methods, and tools) for
supporting the construction of software for pervasive and
embedded systems.
Suggested areas of interest in the workshop include, but are not
restricted to:
- Meta-modelling and Tools
- Feature Modelling
- Modelling of Non-Functional Requirements
- Model-based Architectures
- Model Transformation and Code Generation
- Software Process, Product Lines and Frameworks
- Model-based Analysis, Testing and Verification
- Model-Based Optimization, Design Spaces and Design Rules
- Models for Adaptable and Predictable System Quality
- Models for Adaptive System Infrastructure
- Models for Ultra-Large Scale Systems
- Issues In Socio-Technical Ecosystems
- Case Studies and Demonstration Cases
******************************************************************
PAPER SUBMISSION
The official language is English.
Authors are requested to submit a PDF version of their papers in
the official ICSE 09 format.
Papers should not exceed 11 pages, including figures, references,
and appendices.
Submitted papers will be reviewed by at least 3 PC members.
Submission instructions will be included in the website.
Accepted papers will be published in the ACM and IEEE Digital
Libraries under MOMPES 2009 Workshop Proceedings as part of the
ICSE 2009 Workshop publications. ICSE will make the formal
proceedings available on an ICSE memory stick.
******************************************************************
IMPORTANT DATES
- Submission of full papers: 15.Jan.2009
- Notification of acceptance: 09.Feb.2009
- Camera-ready paper version: 19.Jan.2009
- Workshop at ICSE 2009: 16.May.2009
******************************************************************
ORGANIZING COMMITTEE
- Joao M. Fernandes, U Minho (PT)
- Luís Lamb, UFRGS (BR)
- Ricardo J. Machado, U Minho (PT)
- Flavio R. Wagner, UFRGS (BR)
PROGRAM COMMITTEE (under construction)
- Jean Bézivin, INRIA & U Nantes (FR)
- Dov Dori, Technion (IL)
- João M. Fernandes, U Minho (PT)
- Artur d'Avila Garcez, City University of London (UK)
- Dragan Gasevic, Athabasca University (CA)
- Susanne Graf, VERIMAG (FR)
- Luís Gomes, UN Lisboa (PT)
- Nick Graham, Queenís U (CA)
- Chris Hankin, Imperial College (UK)
- Mike Hinchey, LERO (IE)
- Luís Lamb, UFRGS (BR)
- Ricardo J. Machado, U Minho (PT)
- Stephen J. Mellor, Mentor Graphics (US)
- João P. Sousa, George Mason U (US)
- Flávio R. Wagner, UFRGS (BR)
******************************************************************
--
Joao M. Fernandes, Ph.D.
Dept. Informatics
Universidade do Minho
4710-057 Braga, PORTUGAL
Phone: +351-253604454
Fax: +351-253604471
Email: jmf(AT)di(DOT)uminho(DOT)pt
Web: www.di.uminho.pt/~jmf
[-- Attachment #2: Type: text/html, Size: 5698 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2008-12-01 23:05 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-12-01 23:05 Call for Papers: MOMPES @ ICSE 2009 João Miguel Fernandes
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).