日韩欧美视频一区-日韩欧美三区-日韩欧美群交P内射捆绑-日韩欧美精品有码在线播放免费-成人免费一区二区无码视频-成人免费一级毛片在线播放视频

樹人論文網(wǎng)一個(gè)專業(yè)的學(xué)術(shù)咨詢網(wǎng)站!!!
樹人論文網(wǎng)
學(xué)術(shù)咨詢服務(wù)

SCIENCE OF COMPUTER PROGRAMMING

來源: 樹人論文網(wǎng) 瀏覽次數(shù):213次
周期:Monthly
ISSN:0167-6423
影響因子:1.088
是否開源:No
年文章量:68
錄用比:容易
學(xué)科方向:計(jì)算機(jī):軟件工程
研究方向:工程技術(shù)
通訊地址:ELSEVIER SCIENCE BV, PO BOX 211, AMSTERDAM, NETHERLANDS, 1000 AE
官網(wǎng)地址:http://www.journals.elsevier.com/science-of-computer-programming/
投稿地址:http://ees.elsevier.com/scico/
網(wǎng)友分享經(jīng)驗(yàn):較慢,6-12周

SCIENCE OF COMPUTER PROGRAMMING雜志中文介紹

計(jì)算機(jī)編程科學(xué)致力于在軟件系統(tǒng)開發(fā)、使用和維護(hù)領(lǐng)域,包括硬件設(shè)計(jì)的軟件方面,發(fā)布研究成果。該雜志的范圍很廣,從方法基礎(chǔ)的多個(gè)方面到技術(shù)問題的細(xì)節(jié)以及工業(yè)實(shí)踐的各個(gè)方面。SCP感興趣的主題涵蓋了整個(gè)軟件系統(tǒng)生命周期的所有方法,包括?軟件的需求、規(guī)范、設(shè)計(jì)、驗(yàn)證、驗(yàn)證、編碼、測(cè)試、維護(hù)、度量和更新;?編程語言的設(shè)計(jì)、實(shí)施和評(píng)估;?編程環(huán)境、開發(fā)工具、可視化和動(dòng)畫;?開發(fā)過程的管理;?軟件中的人為因素、社會(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)軌跡開放,可用于新編程語言、系統(tǒng)和方法的實(shí)現(xiàn)和實(shí)驗(yàn)的展示。必須強(qiáng)調(diào)的是,在這些工具的源代碼是開放的情況下,描述與SCP相關(guān)的新軟件工具的論文是受歡迎的。此外,結(jié)果應(yīng)該是可重復(fù)的,并顯示出普遍的適用性。通過原始軟件出版物的文章類型以及軟件產(chǎn)品的版本化,語料庫(kù)和數(shù)據(jù)集可以進(jìn)入評(píng)審過程并得到發(fā)布。4)描述性跟蹤涉及當(dāng)前軟件開發(fā)實(shí)踐的觀察研究、新語言、系統(tǒng)和方法的報(bào)告,包括各種主題的調(diào)查報(bào)告。特殊問題:計(jì)算機(jī)程序設(shè)計(jì)科學(xué)歡迎來自會(huì)議或研討會(huì)或?qū)iT編輯工作范圍內(nèi)的特殊問題。

SCIENCE OF COMPUTER PROGRAMMING雜志英文介紹

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.

SCIENCE OF COMPUTER PROGRAMMING影響因子

計(jì)算機(jī):軟件工程領(lǐng)域相關(guān)期刊
    暫時(shí)沒有數(shù)據(jù)
主站蜘蛛池模板: 乌克兰黄色录像 | 国产午夜亚洲精品理论片八戒 | 全彩黄漫火影忍者纲手无遮挡 | 亚洲国产成人99精品激情在线 | 青草国产在线视频免费 | 免费夜里18款禁用软粉色 | 午夜影视不用充钱的免费 | 亚洲成人综合在线 | 中文字幕精品视频在线 | 99九九精品视频 | 久久re6热在线视频 久久er国产免费精品 | 久久免费看少妇级毛片蜜臀 | 亚洲色欲色欲无码AV | 中文字幕在线观看亚洲视频 | 午夜国产大片免费观看 | 台湾18成人影院 | 久久受www免费人成_看片中文 | 脱女学小内内摸出水网站免费 | 久久99视热频国只有精品 | 一个人高清在线观看日本免费 | 最近中文字幕MV高清在线 | 免费高清毛片 | 粉嫩自拍 偷拍 亚洲 | 久久er国产精品免费观看2 | 欧美又粗又大AAAA片 | 黑人干亚洲人 | 日韩视频中文字幕精品偷拍 | 父亲在线日本综艺免费观看全集 | 花蝴蝶免费版高清版 | 国内精品蜜汁乔依琳视频 | 国产亚洲高清视频 | 99精品欧美一区二区三区美图 | 国产成人精品免费视频大全办公室 | 国产精品高潮AV久久无码 | ava云直播| 果冻传媒我的女老板 | 色综合久久天天影视网 | 久草草在线视视频 | 久久99国产精品二区不卡 | 亚洲精品免播放器在线观看 | 亚洲白色白色在线播放 |