中文簡(jiǎn)介

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

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

英文簡(jiǎn)介

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.