3792 search results - page 108 / 759 » Techniques for Trusted Software Engineering |
151
click to vote
WCRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...
154
click to vote
IFIP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Applying changes to software engineering processes in organisations usually raises many problems of varying nature. Basing on a real-world 2-year project and a simultaneo...
139
Voted
IEEESCC
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper introduces SOAR, a service-oriented architecture for the real-estate industry that embeds trust and security, allows for formal correctness proofs of service interactio...
153
Voted
CSMR
2009
IEEE
15 years 8 months ago
2009
IEEE
Decomposing a software system into smaller, more manageable clusters is a common approach to support the comprehension of large systems. In recent years, researchers have focused ...
122
Voted
SOFTVIS
2005
ACM
15 years 9 months ago
2005
ACM
Software archives contain historical information about the development process of a software system. Using data mining techniques rules can be extracted from these archives. In th...