國立虎尾科技大學 |

Transactions on Aspect-Oriented Software Development XII

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Transactions on Aspect-Oriented Software Development XII/ edited by Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld.
other author:	Chiba, Shigeru.
Description:	IX, 221 p. 59 illus.online resource. :
Contained By:	Springer Nature eBook
Subject:	Software engineering. -
Online resource:	https://doi.org/10.1007/978-3-662-46734-3
ISBN:	9783662467343

Transactions on Aspect-Oriented Software Development XII
Transactions on Aspect-Oriented Software Development XII[electronic resource] /edited by Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld. - 1st ed. 2015. - IX, 221 p. 59 illus.online resource. - Transactions on Aspect-Oriented Software Development,89891864-3027 ;. - Transactions on Aspect-Oriented Software Development,8989.

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

Standard No.: 10.1007/978-3-662-46734-3doiSubjects--Topical Terms:

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Transactions on Aspect-Oriented Software Development XII
LDR:02946nam a22004095i 4500 001 970311
003 DE-He213
005 20200704033220.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|eng d
020 $a 9783662467343 $9 978-3-662-46734-3
024 7 $a 10.1007/978-3-662-46734-3 $2 doi
035 $a 978-3-662-46734-3
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
245 1 0 $a Transactions on Aspect-Oriented Software Development XII $h [electronic resource] / $c edited by Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld.
250 $a 1st ed. 2015.
264 1 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg : $b Imprint: Springer, $c 2015.
300 $a IX, 221 p. 59 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Transactions on Aspect-Oriented Software Development, $x 1864-3027 ; $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 Software engineering. $3 562952
650 0 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Computer programming. $3 527822
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Programming Techniques. $3 669781
700 1 $a Chiba, Shigeru. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1075193
700 1 $a Tanter, Éric. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1265892
700 1 $a Ernst, Erik. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1265893
700 1 $a Hirschfeld, Robert. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 881998
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783662467350
776 0 8 $i Printed edition: $z 9783662467336
830 0 $a Transactions on Aspect-Oriented Software Development, $x 1864-3027 ; $v 8989 $3 1265894
856 4 0 $u https://doi.org/10.1007/978-3-662-46734-3
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)