Sciweavers

286 search results - page 22 / 58
» Agile Formality: A Mole of Software Engineering Practices
Sort
View
154
Voted
SEW
2006
IEEE
15 years 6 months ago
Goal-Driven Software Development
Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...
Ingo Schnabel, Markus Pizka
ICSE
1999
IEEE-ACM
15 years 4 months ago
A Practical Method for Verifying Event-Driven Software
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 ...
Gerard J. Holzmann, Margaret H. Smith
72
Voted
AGILEDC
2007
IEEE
15 years 6 months ago
Common Areas At The Heart
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...
George Dinwiddie
124
Voted
SEKE
2010
Springer
14 years 10 months ago
Towards an Automation of Software Evolution Good Practices
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...
Chouki Tibermacine, Soraya Sakhraoui, Vincent Le G...
144
Voted
AOSD
2009
ACM
15 years 4 months ago
The dataflow pointcut: a formal and practical framework
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...
Dima Alhadidi, Amine Boukhtouta, Nadia Belblidia, ...