中文簡介

計算機編程科學致力于在軟件系統(tǒng)開發(fā)、使用和維護領域，包括硬件設計的軟件方面，發(fā)布研究成果。該雜志的范圍很廣，從方法基礎的多個方面到技術問題的細節(jié)以及工業(yè)實踐的各個方面。SCP感興趣的主題涵蓋了整個軟件系統(tǒng)生命周期的所有方法，包括?軟件的需求、規(guī)范、設計、驗證、驗證、編碼、測試、維護、度量和更新；?編程語言的設計、實施和評估；?編程環(huán)境、開發(fā)工具、可視化和動畫；?開發(fā)過程的管理；?軟件中的人為因素、社會互動軟件、社會計算軟件；?網(wǎng)絡物理系統(tǒng)，以及用于物理和機器之間交互的軟件；?基礎設施服務、系統(tǒng)管理和網(wǎng)絡管理的軟件方面。特別強調了軟件開發(fā)的最新趨勢，如軟件體系結構、基于組件的軟件開發(fā)和基于Web的軟件工程。SCP分為四條軌道。這些技術包括：（1）概念和方法，（2）形式技術，（3）實驗軟件技術，（4）描述性軟件技術。1）概念軌道為計算機軟件生產(chǎn)和使用各個方面的方法學、哲學和社會學研究開放，包括倫理。這里也允許使用短文，稱為觀點。2）形式軌跡強調形式和半形式技術的發(fā)展和實際應用。在作者的初步同意下，編輯主要考慮數(shù)學或理論性質的意見書將正式提交給姊妹期刊TCS。3）實驗軌跡開放，可用于新編程語言、系統(tǒng)和方法的實現(xiàn)和實驗的展示。必須強調的是，在這些工具的源代碼是開放的情況下，描述與SCP相關的新軟件工具的論文是受歡迎的。此外，結果應該是可重復的，并顯示出普遍的適用性。通過原始軟件出版物的文章類型以及軟件產(chǎn)品的版本化，語料庫和數(shù)據(jù)集可以進入評審過程并得到發(fā)布。4）描述性跟蹤涉及當前軟件開發(fā)實踐的觀察研究、新語言、系統(tǒng)和方法的報告，包括各種主題的調查報告。特殊問題：計算機程序設計科學歡迎來自會議或研討會或專門編輯工作范圍內的特殊問題。

投稿網(wǎng)址：http://ees.elsevier.com/scico/

英文簡介

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.The journal has a wide scope ranging from the many facets of methodological foundations to the details of technical issues andthe aspects of industrial practice.The subjects of interest to SCP cover the entire spectrum of methods for the entire life cycle of software systems, including? Requirements, specification, design, validation, verification, coding, testing, maintenance, metrics and renovation of software;? Design, implementation and evaluation of programming languages;? Programming environments, development tools, visualisation and animation;? Management of the development process;? Human factors in software, software for social interaction, software for social computing;? Cyber physical systems, and software for the interaction between the physical and the machine;? Software aspects of infrastructure services, system administration, and network management.Special emphasis is given to recent trends in software development, such as software architecture, component-based software development and web-based software engineering. SCP is divided into four tracks. These are: (1) Concepts and methodology, (2) Formal techniques, (3) Experimental software technology, (4) Descriptive software technology.1) The conceptual track is open for methodological, philosophical and sociological studies on all aspects of computer software production and usage, including ethics. Also short papers are allowed here, called viewpoints.2) The formal track emphasizes the development and the pragmatic application of formal and semiformal techniques. Submissions which the editors consider mainly mathematical or theoretical in nature, with the preliminary consent of the authors, will formally be forwarded to the sister journal TCS.3) The experimental track is open for expositions on implementations of and experiments with novel programming languages, systems and methods. It must be emphasized that papers describing new software tools of relevance to SCP are welcome under the strict condition that the source code of the tools is open. Moreover, the results should be reproducible and show general applicability. By means of the article type of original Software Publications also versioned software product, corpora and datasets can enter the review process and get published.4) The descriptive track deals with observational studies of current software development practices, reporting on new languages,systems and methods, including survey reports on the various themes.Special Issues:Science of Computer Programming welcomes Special Issues within its Scope either resulting from conferences or workshops or from dedicated editorial efforts.