ASWEC
2010
IEEE
13 years 11 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
ASWEC
2010
IEEE
13 years 11 months ago
2010
IEEE
—Architectural Design Decisions (ADD) form a key element of Architectural Knowledge (AK), which plays a vital role in the software architecture process. To help manage ADDs, seve...
ASWEC
2010
IEEE
13 years 11 months ago
2010
IEEE
—A quality-driven approach to software development and testing demands that, ultimately, the requirements of stakeholders be validated against the actual behavior of an implement...
ASWEC
2010
IEEE
13 years 11 months ago
2010
IEEE
—When building software systems, developers have to weigh the benefits of using one specific solution approach against the risks and costs of using another one. This process is...
ASWEC
2010
IEEE
13 years 11 months ago
2010
IEEE
—Reducing software complexity is key to reducing software maintenance costs. To discover complexity-reducing practices, in this paper we study the evolution of seven sizable open...
ASWEC
2010
IEEE
13 years 11 months ago
2010
IEEE
ASWEC
2010
IEEE
13 years 11 months ago
2010
IEEE
— Service compositions provide a promising way to realize and coordinate automated support for business activities and processes. These business processes and their automated sup...