[prev in list] [next in list] [prev in thread] [next in thread]
List: haskell
Subject: [Haskell] Call for Presentations: VVSS2005
From: Marko van Eekelen <marko () laquso ! com>
Date: 2005-05-25 15:26:37
Message-ID: 6.2.1.2.0.20050525171932.03daa540 () pop-srv ! cs ! kun ! nl
[Download RAW message or body]
<html>
<body>
<font face="Times New Roman, Times" size=4><i>(apologies for multiple
copies)<br><br>
</i><b>CALL FOR PRESENTATIONS<br><br>
VVSS2005 <i>Innovative testing and feasible Verification &
Validation of Software Systems<br><br>
</i></b></font><font face="Times New Roman, Times">Testing is confronted
with a demand for reducing its cost. Therefore it should provide more
explicitly its added value to its users. This requires more intelligent
testing that clearly shows its effectiveness and efficiency. At the same
time we see a growing interest in formal methods, e.g., to address
problems of software application in the automotive industry. But the
question still remains on the feasibility of V&V methods and
techniques in industrial practices. At <i>VVSS2005 </i>symposium we will
address both: Testing as well as Verification and Validation. The
symposium will include invited presentations, tool exhibitions and poster
sessions. It will be organized on the 24<sup>th</sup> of November 2005 at
Technische Universiteit Eindhoven.<br><br>
<b>VVSS 2005</b></font> is offering its speakers a unique opportunity to
present problems, solutions and experiences with Testing and Verification
& Validation of Software Systems. We invite practitioners, customers
as well as researchers for a presentation in one of our 8 tracks. The
timeframe for a presentation is 45 minutes or 30 minutes, including 10
respectively 5 minutes for questions.<br><br>
<font face="Times New Roman, Times" size=4>Tracks<br><br>
</font><font face="Times New Roman, Times">The tracks of VVSS2005 are on
several types of Testing and Verification & Validation:<br><br>
</font><font face="symbol">·</font><font size=1>
</font><font size=2><b>Requirements Analysis </b></font>to analyze
requirements on compliance, consistency and completeness.<br><br>
<font face="symbol" size=2>·</font><font size=1>
</font><font size=2><b>Architecture analysis </b></font>a check on the
consistency and completeness of architectural artefacts. Might concerns
component or information structure as well a detailed desig.<br><br>
<font face="symbol" size=2>·</font><font size=1>
</font><font size=2><b>Structure analysis </b>examine the structure of
source code<br><br>
</font><font face="symbol" size=2>·</font><font size=1>
</font><font size=2><b>Testing of an Executing System </b>Find defects
in an executing system as well as to estimate the number of remaining
defects<br><br>
</font><font face="symbol" size=2>·</font><font size=1>
</font><font size=2><b>Behavior analysis </b>examine the behavior of
source code<br><br>
</font><font face="symbol" size=2>·</font><font size=1>
</font><font size=2><b>Security analysis </b>to find weaknesses
in systems security<br><br>
</font><font face="symbol" size=2>·</font><font size=1>
</font><font size=2><b>Performance analysis </b>identification and
comprehension of potential sources of performance limitations<br><br>
</font><font face="symbol" size=2>·</font><font size=1>
</font><font size=2><b>Usability analysis </b> Analysis of the effort
needed to use a software system<br><br>
</font><font face="Times New Roman, Times" size=4>Who can
present?<br><br>
</font><font face="Times New Roman, Times">We encourage anyone who is
involved as provider, customer- in testing and verification &
validation to give a presentation at our symposium. Writing a one-page
abstract is mandatory.<br><br>
We plan to publish abstracts, optionally full papers and presentation
slides in a technical report that will be provided to the symposium
participants.<br><br>
</font><font face="Times New Roman, Times" size=4>Submissions<br><br>
</font><font face="Times New Roman, Times">You are kindly invited to
contact us presenting a one-page long abstract. Work in progress, Ph.D.
summaries, experience reports, and system descriptions are welcome. For
further information please contact:<br><br>
-</font><font size=1>
</font>Teade Punter
(<a href="mailto:t.punter@laquso.com">t.punter@laquso.com</a>) or<br>
<font face="Times New Roman, Times">-</font><font size=1>
</font>Marko van Eekelen
(<a href="mailto:marko@cs.ru.nl">marko@cs.ru.nl</a>)<br><br>
<font face="Times New Roman, Times">Please submit your abstract to
<a href="mailto:vvss2005@laquso.com">vvss2005@laquso.com</a>.<br><br>
</font><font face="Times New Roman, Times" size=4>Important
dates<br><br>
</font><font face="Times New Roman, Times">Submission deadline:
15<sup>th</sup> of June<br>
Notification of acceptance: 30<sup>th</sup> of June<br>
Symposium date: 24<sup>th</sup> of November 2005<br><br>
</font><font face="Times New Roman, Times" size=4>Location:</font>
<font face="Times New Roman, Times"> Auditorium of Eindhoven University
of Technology, Eindhoven, the Netherlands<br><br>
</font><font face="Times New Roman, Times" size=4>Organisation</font>
<br><br>
<font face="Times New Roman, Times">The Symposium is organized by the
Laboratory for Quality Software (Laquso;
<a href="http://www.laquso.com/">www.laquso.com</a>) which is a joint
activity of Technische Universiteit Eindhoven and Radboud University of
Nijmegen.<br>
<div align="center"> <br><br>
</div>
<br>
</font></body>
</html>
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic