1601 search results - page 34 / 321 » The affordable application of formal methods to software eng... |
ICSE
2004
IEEE-ACM
14 years 9 months ago
2004
IEEE-ACM
Caring for security at requirements engineering time is a message that has finally received some attention recently. However, it is not yet very clear how to achieve this systemat...
RE
2002
Springer
13 years 8 months ago
2002
Springer
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
One promising approach to more effective software development is the concept of product platform originated from mechanical engineering, aiming at architectural product families i...
WCRE
1999
IEEE
14 years 1 months ago
1999
IEEE
As valuable software systems get old, reverse engineering becomes more and more important to the companies that have to maintain the code. Clustering is a key activity in reverse ...
ASWEC
2008
IEEE
13 years 11 months ago
2008
IEEE
The research presented in the literature thus far on process deviations, inconsistencies and general nonconformance have all been very generic, process wide methodologies. Their a...