1601 search results - page 68 / 321 » The affordable application of formal methods to software eng... |
DAGSTUHL
2006
13 years 10 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
SIGSOFT
1998
ACM
14 years 1 months ago
1998
ACM
The design of a class hierarchy may be imperfect. For example, a class C may contain a member m not accessed in any C-instance, an indication that m could be eliminated, or moved ...
BMCBI
2006
13 years 9 months ago
2006
Background: Agile is an iterative approach to software development that relies on strong collaboration and automation to keep pace with dynamic environments. We have successfully ...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Central to the problem frames approach is the distinction of three different descriptions: requirements R, domain assumptions W and specifications S, tied together with the socall...
ISSTA
2000
ACM
14 years 1 months ago
2000
ACM
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...