語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Transactions on aspect-oriented soft...
~
Chiba, Shigeru.
FindBook
Google Book
Amazon
博客來
Transactions on aspect-oriented software development XII
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Transactions on aspect-oriented software development XII/ edited by Shigeru Chiba ... [et al.].
其他題名:
Transactions on aspect-oriented software development 12
其他作者:
Chiba, Shigeru.
出版者:
Berlin, Heidelberg :Springer Berlin Heidelberg : : 2015.,
面頁冊數:
ix, 221 p. :ill., digital ;24 cm.
內容註:
Modular Reasoning in Aspect-Oriented Languages from a Substitution Perspective -- Propagation of Behavioral Variations with Delegation Proxies -- Co-change Clusters: Extraction and Application on Assessing Software Modularity -- Reusable Components of Semantic Specifications -- Probabilistic Model Checking for Feature-Oriented Systems.
Contained By:
Springer eBooks
標題:
Computer software - Development. -
電子資源:
http://dx.doi.org/10.1007/978-3-662-46734-3
ISBN:
9783662467343 (electronic bk.)
Transactions on aspect-oriented software development XII
Transactions on aspect-oriented software development XII
[electronic resource] /Transactions on aspect-oriented software development 12edited by Shigeru Chiba ... [et al.]. - Berlin, Heidelberg :Springer Berlin Heidelberg :2015. - ix, 221 p. :ill., digital ;24 cm. - Lecture notes in computer science,89890302-9743 ;. - Lecture notes in computer science ;5353..
Modular Reasoning in Aspect-Oriented Languages from a Substitution Perspective -- Propagation of Behavioral Variations with Delegation Proxies -- Co-change Clusters: Extraction and Application on Assessing Software Modularity -- Reusable Components of Semantic Specifications -- Probabilistic Model Checking for Feature-Oriented Systems.
The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of the journal is on approaches for systematic identification, modularization, representation, and composition of crosscutting concerns, i.e., the aspects and evaluation of such approaches and their impact on improving quality attributes of software systems. This volume, the 12th in the Transactions on Aspect-Oriented Software Development series, contains one regular paper, on modular reasoning in aspect-oriented languages from a substitution perspective, and four extended, improved papers selected from those presented at Modularity 2014. Topics covered include novel dynamic semantics through delegation proxies, modularity potential detection based on co-change clusters, improvements in reusability for components of semantic specifications of programming languages, and probabilistic model checking applied to dynamically generated members of a product line.
ISBN: 9783662467343 (electronic bk.)
Standard No.: 10.1007/978-3-662-46734-3doiSubjects--Topical Terms:
542671
Computer software
--Development.
LC Class. No.: QA76.76.D47
Dewey Class. No.: 005.1
Transactions on aspect-oriented software development XII
LDR
:02605nmm a2200337 a 4500
001
1997863
003
DE-He213
005
20151023145242.0
006
m d
007
cr nn 008maaau
008
151112s2015 gw s 0 eng d
020
$a
9783662467343 (electronic bk.)
020
$a
9783662467336 (paper)
024
7
$a
10.1007/978-3-662-46734-3
$2
doi
035
$a
978-3-662-46734-3
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA76.76.D47
072
7
$a
UMZ
$2
bicssc
072
7
$a
COM051230
$2
bisacsh
082
0 4
$a
005.1
$2
23
090
$a
QA76.76.D47
$b
T772 2015
245
0 0
$a
Transactions on aspect-oriented software development XII
$h
[electronic resource] /
$c
edited by Shigeru Chiba ... [et al.].
246
3
$a
Transactions on aspect-oriented software development 12
260
$a
Berlin, Heidelberg :
$b
Springer Berlin Heidelberg :
$b
Imprint: Springer,
$c
2015.
300
$a
ix, 221 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
8989
505
0
$a
Modular Reasoning in Aspect-Oriented Languages from a Substitution Perspective -- Propagation of Behavioral Variations with Delegation Proxies -- Co-change Clusters: Extraction and Application on Assessing Software Modularity -- Reusable Components of Semantic Specifications -- Probabilistic Model Checking for Feature-Oriented Systems.
520
$a
The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of the journal is on approaches for systematic identification, modularization, representation, and composition of crosscutting concerns, i.e., the aspects and evaluation of such approaches and their impact on improving quality attributes of software systems. This volume, the 12th in the Transactions on Aspect-Oriented Software Development series, contains one regular paper, on modular reasoning in aspect-oriented languages from a substitution perspective, and four extended, improved papers selected from those presented at Modularity 2014. Topics covered include novel dynamic semantics through delegation proxies, modularity potential detection based on co-change clusters, improvements in reusability for components of semantic specifications of programming languages, and probabilistic model checking applied to dynamically generated members of a product line.
650
0
$a
Computer software
$x
Development.
$3
542671
650
0
$a
Software engineering.
$3
559826
650
1 4
$a
Computer Science.
$3
626642
650
2 4
$a
Software Engineering.
$3
890874
650
2 4
$a
Programming Languages, Compilers, Interpreters.
$3
891123
650
2 4
$a
Programming Techniques.
$3
892496
700
1
$a
Chiba, Shigeru.
$3
2062620
710
2
$a
SpringerLink (Online service)
$3
836513
773
0
$t
Springer eBooks
830
0
$a
Lecture notes in computer science ;
$v
5353.
$x
0302-9743
$3
1274248
856
4 0
$u
http://dx.doi.org/10.1007/978-3-662-46734-3
950
$a
Computer Science (Springer-11645)
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9268574
電子資源
01.外借(書)_YB
電子書
EB QA76.76.D47 T772 2015
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入