|
Showing 1 - 4 of
4 matches in All Departments
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
11th in the Transactions on Aspect-Oriented Software Development
series, consists of two parts. The first part focuses on runtime
verification and analysis, highlighting runtime verification as a
"killer" application of aspect-orientation. The second part
contains revised and extended versions of the five best papers
submitted to Modularity: aosd 2013, presenting current research
related to modularity and covering topics such as formal methods
and type systems, static analysis approaches for software
architectures, model-driven engineering and model composition,
aspect-oriented programming, event-driven programming and reactive
programming
The book constitutes the refereed proceedings of the 12th
International Conference on Software Composition, SC 2013, held in
Budapest, Hungary, in June 2013, co-located with the STAF 2013
Federated Conferences. The 9 revised full papers were carefully
reviewed and selected from 21 submissions for inclusion in the
book. The papers reflect all current research in software
composition, including but not limited to component-based software
engineering; composition and adaption techniques; composition
algebras, calculi, and type systems; feature-oriented software
development; verification, validation, and testing; dynamic
composition and reconfiguration.
|
Engineering Secure Software and Systems - 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings (Paperback, 1st ed. 2017)
Eric Bodden, Mathias Payer, Elias Athanasopoulos
|
R2,281
Discovery Miles 22 810
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 9th
International Symposium on Engineering Secure Software and Systems,
ESSoS 2017, held in Bonn, Germany in July 2017. The 12 full papers
presented together with 3 short papers were carefully reviewed and
selected from 32 submissions. The goal of this symposium is to
bring together researchers and practitioners to advance the states
of the art and practice in secure software engineering.
This book constitutes the refereed proceedings of the 8th
International Symposium on Engineering Secure Software and Systems,
ESSoS 2016, held in London, UK, in April 2016. The 13 full papers
presented together with 3 short papers and 1 invited talk were
carefully reviewed and selected from 50 submissions. The goal of
this symposium, is to bring together researchers and practitioners
to advance the states of the art and practice in secure software
engineering. The presentations and associated publications at ESSoS
2016 contribute to this goal in several directions: First, by
improving methodologies for secure software engineering (such as
flow analysis and policycompliance). Second, with results for the
detection and analysis of software vulnerabilities and the attacks
they enable. Finally, for securing software for specific
application domains (such as mobile devices and access control).
|
You may like...
Ab Wheel
R209
R149
Discovery Miles 1 490
|