286 search results - page 22 / 58 » Agile Formality: A Mole of Software Engineering Practices |
SEW
2006
IEEE
14 years 1 months ago
2006
IEEE
Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...
ICSE
1999
IEEE-ACM
13 years 12 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
AGILEDC
2007
IEEE
14 years 2 months ago
2007
IEEE
In Christopher Alexander's pattern of this name, he says, “No social group—whether a family, a work group, or a school group—can survive without constant informal conta...
SEKE
2010
Springer
13 years 5 months ago
2010
Springer
It is well known that software evolution is an inescapable activity in the software lifecycle. In order to prevent the negative effects of this activity (decreased quality, increa...
AOSD
2009
ACM
13 years 11 months ago
2009
ACM
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...