Architectural languages (ALs) have attracted much attention as the modeling notations for
specifying and reasoning about important design decisions. In this study, 124 different …

Currently, non-functional requirements (NFRs) consume a considerable part of the software
development effort. The good news is that most of them appear time and again during …

We present an algorithm for automated detection of infinite loop bugs in programs. It relies
on a Satisfiability Modulo Theories (SMT) solver backend and can be run conveniently with …

Managing complex software systems is one of the most important problems to be solved by
software engineering. The software engineer needs to apply new techniques that allow for …

The traditional Architectural Description Languages ADLs lack the ability to describe the
crosscutting concerns and crosscutting interactions in the software architecture, which result …

Managing embedded system complexity and scalability is one of the most important
problems in software development. To better address this problem, it is very recommended …

摘要近年来, 软件的可信性成为软件质量的焦点, 对软件可信性的分析, 度量和应用支撑成为热点
问题. 对软件实施有效的监控是提升软件可信性的一种重要途径. 然而目前的研究工作主要集中 …

在面向方面软件体系结构设计中, 通过指定注入位置, 时机及约束, 将封装了横切行为和特征的
方面组件与组成软件体系结构(SA) 的组件, 连接件编织起来, 形成一个有机整体, 这对SA …

Bird species richness survey is one of the most intriguing ecological topics for evaluating
environmental health. Here, bird species richness denotes the number of unique bird …

Aspect-oriented programming is known as a technique for modularizing crosscutting
concerns. However, constructs aimed to support crosscutting modularity might actually break …