Fwd: [Evol] Call for Systems of the 4th Science of Computer Programming special issue on Experimental Software and Toolkits

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Fwd: [Evol] Call for Systems of the 4th Science of Computer Programming special issue on Experimental Software and Toolkits

Stéphane Ducasse
if it make senses.....

Stef

Begin forwarded message:

> From: Kim Mens <[hidden email]>
> Date: November 12, 2010 10:51:21 PM GMT+01:00
> To: all INGI / INFO <[hidden email]>, [hidden email], researchers VARIBRU <[hidden email]>, Benevol2008 <[hidden email]>, [hidden email]
> Subject: [Evol] Call for Systems of the 4th Science of Computer Programming special issue on Experimental Software and Toolkits
>
> =============================================
>                        Call for Systems:
>                Science of Computer Programming
>
>                   Fourth special issue on
>           Experimental Software and Toolkits (EST)
>
>         Deadline for submissions: January 17th, 2011
>               In cooperation with WASDeTT 2010
>
>           http://www.win.tue.nl/~mvdbrand/SCP-EST/
> =============================================
>
> The idea in a nutshell: Reproducibility and Accessibility
>
> The journal 'Science of Computer Programming' of Elsevier Science has
> a long history of publishing high-quality articles on programming and
> software. The idea of this special issue on Experimental Software and
> Toolkits (EST) is to allow  academic  software  developers to publish
> the software system they developed together with a (short) paper.  We
> hope this  will help the software  community to find a wider audience
> for their  work.  Moreover,  by enhancing  the accessibility  and the
> reproducibility  of results,  we hope  to help  to encourage  a wider
> application and adoption of experimental software.
>
> The first call for systems resulted in the special issue published as
> Volume 69, Numbers 1-3 of Science of Computer Programming. The second
> issue was  published as special issue as  Volume 72,  Numbers 1-2  of
> Science of  Computer Programming.  The third issue was in cooperation
> with WASDeTT2008 and  was published  as third special issue as Volume
> 75, Number 4  of Science of  Computer Programming.  Given the success
> of  these  special  issues,  a fourth special issue  is planned,  the
> deadline for submitting systems is the 17th of January, 2011.
>
> Aim and scope
>
> Academic  software  development  may  involve the development of huge
> software  systems in order to perform all kinds of experiments.  This
> can  be  compared with huge experiments in physics or chemistry.  The
> focus of researchers developing such experimental software systems is
> mainly on software development. The software developer has some idea,
> algorithmic  or  functional,  and  in  order to prove his or her idea
> software  is  adapted  or newly developed.  Some of these systems are
> distributed  to  different researchers and may become very popular in
> the  community.  The  software development of these systems is almost
> always  in conflict with papers that are to be written.  Specially if
> the  users  community  grows  and  the  requests for enhancements and
> improvements  increases.  The  application  areas  of  these software
> systems  are  rather diverse, from language prototyping environments,
> theorem provers,  visualisation tools,  renovation tools, programming
> environments, etc.
>
> This  EST  initiative  is  focussed  on the creation of a forum where
> beside the paper the software system itself is published. Two obvious
> questions arise here:
>
> * What is the difference between this initiative and the open source
>  facilities  like  SourceForge?  The most important and challenging
>  difference  is  that  the  software  is  reviewed.   A  number  of
>  independent  referees  will  review both the system and the system
>  description paper and will give a verdict.
> * What is the difference with tool demonstrations at conferences and
>  workshops.    The   difference   is   that   at  conferences  tool
>  demonstrations  are accepted based on the tool demonstration only,
>  the  referee  has  no opportunity to install and use the system or
>  have a look at the code.
>
> We  want to invite authors to submit software systems together with a
> paper. We want  to  go  one step further than the tool demonstrations
> at  the various conferences.  The software  systems  is  reviewed  on
> various aspects:
> * ease of installation,
> * quality of (user) documentation,
> * ease of usage, and
> * applicability and relevance to the intended domain.
>
> Referees will  also be  invited to  have a look at the actual code of
> the system.  The major improvement  over the conference  and workshop
> tool  demonstration is  that a  broader audience  is able to  use the
> system, the software system will be published by Elsevier as well.
>
>
> Guidelines for authors
>
> In order to submit a software system the author has to produce a tool
> description paper, we expect the size and quality of a research paper
> but  the  topic  is on  the tool,  its usability,  installation,  and
> optionally a few words on tool building issues.  The size of the tool
> description paper is at least 12 pages. The main goal of the paper is
> to introduce the tool, the application domain of the tool and to give
> a  comparison  with  relevant  related  tools and systems.  Moreover,
> relevant theory should concisely be addressed.
>
> The requirements of the software system itself:
> * Installation documentation.
> * The  source  files  and an installation script or procedure, it is
>  possible  to provide the binaries as well, but the original source
>  files are required for code inspection.
> * A number of example applications.
> * User documentation.
>
>
> Instructions
>
> The submission deadline is January 17th, 2011.  Authors are requested
> to submit their system and corresponding  paper electronically to EES
> (see http://ees.elsevier.com/scico) in  PDF format by selecting  'SI:
> WASDETT EST 2010'.  We encourage  the use of the  Elsevier style file
> for LaTeX (see http://www.elsevier.com/locate/latex).
>
>
> Copyright
>
> The  copyright  of  the  articles  is  held,  except  where noted, by
> Elsevier  Science.  Copyright  as well as other proprietary rights in
> the source code are held by the authors. By submitting the code along
> with  the  article,  the authors have agreed to permit the readers of
> Science  of  Computer Programming the right to use the algorithms for
> personal  and  professional  research  use,  but  not for any further
> redistribution,  further sub-licensing, or commercial use. All rights
> are  otherwise  reserved.  Authors  are  thus  free to distribute the
> published  version  of  the source code via other media as well as to
> develop and distribute new versions of the source code.
>
>
> Guest editors
>
> Prof. Mark G.J. van den Brand
> Faculty of Mathematics and Computer Science
> Eindhoven University of Technology (TU/e)
> Den Dolech 2
> NL-5612 AZ Eindhoven, Netherlands
> URL: http://www.win.tue.nl/~mvdbrand
>
> Prof. Kim Mens
> Université catholique de Louvain (UCL)
> Louvain School of Engineering (EPL)
> Institute for Information and Communication Technologies, Electronics
> and Applied Mathematics (ICTEAM)
> Department of Computing Science and Engineering
> Place Sainte Barbe, 2
> B-1348 Louvain-la-Neuve, Belgium
> URL: http://www.info.ucl.ac.be/~km
>
> Dr. Holger Kienle
> School of Innovation, Design and Engineering
> Mälardalen University
> Box 883
> 721 23 Västerås
> Sweden
> URL: http://holgerkienle.wikispaces.com/
>
> ============================================================
> To contribute to SEWORLD, send your submission to
> mailto:[hidden email]
>
> http://www.sigsoft.org/seworld provides more
> information on SEWORLD as well as a complete archive of
> messages posted to the list.
> ============================================================
> _______________________________________________
> Evol mailing list
> [hidden email]
> http://lists.inf.unisi.ch/mailman/listinfo/evol


_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev