http://www.artist-embedded.org/artist/ en SPIP - www.spip.net http://www.artist-embedded.org/artist/Science-of-Computer-Programming.html http://www.artist-embedded.org/artist/Science-of-Computer-Programming.html 2006-07-04T08:02:25Z text/html en Bruno Bouyssounouse system specification testing and verification validation <p>Science of Computer Programming is dedicated to the distribution of research results in the areas of software systems development, use and maintenance, including the software aspects of hardware design.</p> - <a href="http://www.artist-embedded.org/artist/-Journals-.html" rel="directory">10. Journals</a> / <a href="http://www.artist-embedded.org/artist/+-system-specification-+.html" rel="tag">system specification</a>, <a href="http://www.artist-embedded.org/artist/+-testing-and-verification-+.html" rel="tag">testing and verification</a>, <a href="http://www.artist-embedded.org/artist/+-validation-+.html" rel="tag">validation</a> <img class="spip_logos" alt="" align="right" src="http://www.artist-embedded.org/artist/IMG/arton90.gif?1152000125" width='110' height='150' style='height:150px;width:110px;' /> <div class='rss_chapo'><p>Science of Computer Programming is dedicated to the distribution of research results in the areas of software systems development, use and maintenance, including the software aspects of hardware design.</p></div> <div class='rss_texte'><p>The journal has a wide scope ranging from the many facets of methodological foundations to the details of technical issues and the aspects of industrial practice.</p> <p>The subjects of interest to SCP cover the entire spectrum of methods for the entire life cycle of software systems, including <br /><img src="http://www.artist-embedded.org/artist/squelettes-dist/puce.gif" width='8' height='11' class="puce" alt="-" style='height:11px;width:8px;' /> requirements, specification, design , validation, verification, coding, testing, maintenance, metrics and renovation of software; <br /><img src="http://www.artist-embedded.org/artist/squelettes-dist/puce.gif" width='8' height='11' class="puce" alt="-" style='height:11px;width:8px;' /> design, implementation and evaluation of programming languages; <br /><img src="http://www.artist-embedded.org/artist/squelettes-dist/puce.gif" width='8' height='11' class="puce" alt="-" style='height:11px;width:8px;' /> programming environments, development tools, visualisation and animation; <br /><img src="http://www.artist-embedded.org/artist/squelettes-dist/puce.gif" width='8' height='11' class="puce" alt="-" style='height:11px;width:8px;' /> management of the development process; <br /><img src="http://www.artist-embedded.org/artist/squelettes-dist/puce.gif" width='8' height='11' class="puce" alt="-" style='height:11px;width:8px;' /> human factors in software. <br /><img src="http://www.artist-embedded.org/artist/squelettes-dist/puce.gif" width='8' height='11' class="puce" alt="-" style='height:11px;width:8px;' /> software aspects of operating systems, system administration and network management</p> <p><a href="http://www.sciencedirect.com/science/journal/01676423" class='spip_out' rel='external'>See it online!</a></p></div>