715 search results - page 87 / 143 » Application of Formal Methods to the Development of a Softwa... |
JSS
2010
13 years 3 months ago
2010
During software development, architecture decisions should be documented so that quality attributes guaranteed by these decisions and required in the software specification could ...
WCRE
1998
IEEE
14 years 1 months ago
1998
IEEE
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...
KI
2007
Springer
14 years 3 months ago
2007
Springer
Abstract The paper analyzes UML, the well known software engineering tool, from the knowledge engineering perspective. The goal of the paper is to evaluate UML as the possible desi...
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
The paper aims at presenting a method of controlling software quality attributes driven by the set of requirements. This is done in three steps: specifying all the requirements, ma...
FM
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...