Narrow your search

Library

KU Leuven (13)

UGent (10)

ULB (4)

ULiège (4)

EhB (3)

Odisee (3)

Thomas More Kempen (3)

Thomas More Mechelen (3)

UCLL (3)

VIVES (3)

More...

Resource type

book (20)

digital (2)

article (1)


Language

English (21)


Year
From To Submit

2018 (2)

2016 (1)

2015 (2)

2014 (1)

2013 (2)

More...
Listing 1 - 10 of 21 << page
of 3
>>
Sort by
Foundations of component-based systems
Authors: ---
ISBN: 0521771641 9780521771641 Year: 2000 Publisher: Cambridge, [England] ; New York Cambridge University Press


Book
Transactions on Aspect-Oriented Software Development X
Authors: --- ---
ISBN: 3642369634 3642369642 Year: 2013 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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 10th in the Transactions on Aspect-Oriented Software Development series, contains revised, extended versions of the top five papers presented at AOSD 2012. The topics covered include debugging, analysis of software product lines, distributed software architectures, and empirical study of language support for software evolution.


Digital
Transactions on Aspect-Oriented Software Development X
Authors: --- ---
ISBN: 9783642369643 Year: 2013 Publisher: Berlin, Heidelberg Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

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 10th in the Transactions on Aspect-Oriented Software Development series, contains revised, extended versions of the top five papers presented at AOSD 2012. The topics covered include debugging, analysis of software product lines, distributed software architectures, and empirical study of language support for software evolution.


Book
Onward! 2012 : proceedings of the ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software : October 19-26, 2012 : Tucson, Arizona, USA
Authors: ---
ISBN: 1450315623 Year: 2012 Publisher: [Place of publication not identified] ACM

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
14th International Conference on Modularity (MODULARITY Companion 2015) : proceedings : March 16-19, 2015, Fort Collins, CO, USA
Authors: --- --- ---
ISBN: 1450332838 Year: 2015 Publisher: New York : ACM,


Book
Proceedings of the 2005 conference on Specification and verification of component-based systems
Authors: ---
ISBN: 1595933719 Year: 2005 Publisher: ACM

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
Authors: ---
ISBN: 1450315631 Year: 2012 Publisher: New York, NY ACM

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Authors: ---
ISBN: 1450355730 Year: 2018 Publisher: New York NY ACM

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Multi
Verified Software: Theories, Tools, Experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
Authors: --- ---
ISBN: 9783642150579 9783642150562 9783642150586 Year: 2010 Publisher: Berlin, Heidelberg Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Veri?ed Software: Theories, Tools and Experiments, VSTTE 2010, was held in Edinburgh, Scotland during August 16-19, 2010. This conference is part of the Veri?ed Software Initiative (VSI), which is a 15-year international project that focuses on the scienti?c and technical challenges of producing veri?ed software. Previous VSTTE conferences were held in Zurich, Switzerland (in 2005) and Toronto, Canada (in 2008). The goal of VSTTE 2010 was to advance the state of the art in the science andtechnologyofsoftwareveri?cationthroughtheinteractionoftheorydevel- ment,toolevolution,andexperimentalvalidation.Theacceptedpapersrepresent work on veri?cation techniques, speci?cation languages, formal calculi, veri?- tion tools, solutions to challenge problems, software design methods, reusable components, re?nement methodologies, and requirements modeling. Several of the accepted papers also presented case studies, either in response to published challenge problems or problems of practical interest. Many of the papers were also concerned with concurrent programs. Asspeci?edinthecallforpapers,authorssubmitted15-pagepaperselectr- ically. The EasyChair system handled submissions and was used to manage the reviewing of papers and subsequent discussion. This system aided the Program Committee in avoiding con?icts of interest during the reviewing and discussion process. There was electronic discussion among the Program Committee m- bersaboutthemeritsofeachsubmission,moderatedbytheProgramCommittee Co-chairs. This year the conference received 32 submissions, of which 11 were accepted, for an acceptance rate of about 34%. Seven of the accepted papers were - authored by members of the Program Committee. We were pleased to have invited talks by Tom Ball, Gerwin Klein, and Matthew Parkinson.The authorsof these invitedtalks also graciouslyconsented to the publication of accompanying invited papers in this volume.


Book
SPLASH'12 : proceedings of the 2012 ACM Conference on Systems, Programming, and Applications : Software for Humanity : October 19-26, 2012, Tucson, Arizona, USA
Authors: ---
Year: 2012 Publisher: [Place of publication not identified] ACM

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Listing 1 - 10 of 21 << page
of 3
>>
Sort by